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, 4 (17). 3451-3470. ISSN 0020-7543

(Document in English)

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

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


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 > IMT Mines Alès (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Laboratory name:
Deposited On:26 Sep 2008 14:31

Repository Staff Only: item control page