Requirements Modelling and Formal Analysis using Graph Operations
Résumé
The increasing complexity of enterprise systems requires a more advanced analysis about 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 for the representation. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making easier to determine if desired properties hold. It is applied to the field of the Enterprise modelling.
Origine : Fichiers produits par l'(les) auteur(s)