OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Requirements modelling and formal analysis using graph operations

Kamsu Foguem, Bernard and Chapurlat, Vincent Requirements modelling and formal analysis using graph operations. (2006) International Journal of Production Research, vol. 4 (n° 17). pp. 3451-3470. ISSN 0020-7543

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
212Kb

Official URL: http://dx.doi.org/10.1080/00207540500499377

Abstract

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling.

Item Type:Article
Additional Information:Thanks to Taylor & Francis editor. The definitive version is available at http://www.informaworld.com/. The original PDF of the article can be found at International Journal of Production Research website : http://www.informaworld.com/smpp/content~content=a748077496?words=chapurlat&hash=3987523010
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Other partners > Ecole des Mines d'Alès (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Laboratory name:
Statistics:download
Deposited By:Bernard KAMSU FOGUEM

Repository Staff Only: item control page