Requirements formalization for systems engineering: an approach for interoperability analysis in collaborative process model

Sihem Mallek (1) , Nicolas Daclin (1) , Vincent Chapurlat (1) , Bruno Vallespir (2)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 IMS - Laboratoire de l'intégration, du matériau au système

In the field of requirement's engineering, writing requirements is a fundamental stage. Indeed, requirements must be (1) written correctly by the user, (2) relevant to the studied domain and (3), verifiable. In this research work, the studied domain is related to the verification of interoperability requirements on a collaborative process model by formal verification techniques. In this case, it is necessary to offer to a user the mean to write its own interoperability requirements easily, correctly and human readable in order to be re-writing into properties and to allow their verification. Precisely, this communication presents the mapping between interoperability requirements expressed in SBVR into properties expressed in TCTL.

Domaines: Ingénierie assistée par ordinateur

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat, Bruno Vallespir. Requirements formalization for systems engineering: an approach for interoperability analysis in collaborative process model. Workshop IWEI International IFIP Working Conference on Enterprise Interoperability 2013, Mar 2013, Enschede, Netherlands. pp.243-257. ⟨hal-00804283⟩