Interoperability Constraints and Requirements Formal Modelling and Checking Framework

  • Vincent Chapurlat
  • Matthieu Roque
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 338)


This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.


System requirement modeling verification interoperability requirement 


  1. 1.
    Le Moigne, J.-L.: La modélisation des systèmes complexes, Paris, Dunot (1990) (in French)Google Scholar
  2. 2.
    INCOSE, Systems Engineering Handbook: a guide for system life cycle processes and activities, Incose-Tp-2003-002-03.1, version 3.1 (August 2007) Google Scholar
  3. 3.
    Vernadat, F.B.: Enterprise Modelling and Integration: Principles and Applications. Chapman & Hall, Boca Raton (1996)Google Scholar
  4. 4.
    Petit, M., et al.: Enterprise Modelling State of the Art. UEML Thematic Network. Contract: IST–2001–34229. Work Package 1 (2002)Google Scholar
  5. 5.
    Schmidt, D.C.: Model-Driven Engineering, vol. 39 (2), pp. 25–31. IEEE Computer Society, Los Alamitos (2006), 0018-9162/06,
  6. 6.
    Roque, M., Chapurlat, V.: Interoperability In Collaborative Processes: Requirements Charactersisation And Proof Approach. In: PRO-VE 2009, 10th IFIP Working Conference on Virtual Enterprises, Thessaloniki, GREECE, October 7-9 (2009)Google Scholar
  7. 7.
    Chapurlat, V., Braesch, C.: Verification, Validation, Qualification and Certification of Enterprise Models: statements and opportunities. Intl. Journal on Computers in Industry, 5th issue of the 59th volume (Mai 2008)Google Scholar
  8. 8.
    YAHODA verification tools data base,
  9. 9.
    Lamine, E.: Définition d’un modèle de propriété et proposition d’un langage de spécification associé: LUSP, PhD thesis, Montpeiller II University (December 2001) (in French)Google Scholar
  10. 10.
    Kamsu-Foguem, B., Chapurlat, V., Prunet, F.: Enterprise Model Verification: a Graph-based Approach. In: International IEEE/SMC multiconference on Computational Engineering in Systems Applications, CESA 2003, Lille, France (July 2003)Google Scholar
  11. 11.
    UPPAAL documentation and tool are available online at,
  12. 12.
    INTEROP, Enterprise Interoperability-Framework and knowledge corpus - Final report, INTEROP NoE, FP6 – Contract n° 508011, Deliverable DI.3 (May 21, 2007) Google Scholar
  13. 13.
    ATHENA, Framework for the establishment and management methodology, Integrated Project ATHENA, deliverable A1.4 (2005)Google Scholar
  14. 14.
    Tolk, A., Muguira, J.A.: The Levels of Conceptual Interoperability Model. In: Fall Simulation Interoperability Workshop (2003)Google Scholar
  15. 15.
    C4ISR, Levels of Information Systems Interoperability (LISI), Architecture Working Group, United States of America, Department of Defence (1998)Google Scholar
  16. 16.
    Clark, T., Jones, R.: Organisational Interoperability Maturity Model for C2, Australian Department of Defence (1999)Google Scholar
  17. 17.
    BPMN, Business Process Modelling Notation, V1.2 (2009),
  18. 18.
    Miller, J., Mukerji, J. (eds.): MDA, Model Driven Architecture (MDA), Architecture Board ORMSC (2001)Google Scholar
  19. 19.
    Aloui, S., Chapurlat, V., Penalva, J.-M.: Linking interoperability and risk assessment: A methodological approach for socio-technical systems. In: Dolgui, A., Morel, G., Pereira, C. (eds.) Proceedings of INCOM 2006, 12th IFAC Symposium on Information Control Problems in Manufacturing, Information Control: a Complex Challenge for the 21st Century, Saint Etienne, France, hal-00354778 (2006), ISBN: 978-0-08-044654-7Google Scholar
  20. 20.
    CoGITaNT Version 5.2.0: Reference Manual (2009),
  21. 21.
    Rebai, A.S., Chapurlat, V.: System interoperability analysis by mixing system modelling and MAS: an approach, Agent-based Technologies and applications for enterprise interOPerability (ATOP). In: Eighth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2009), Budapest, Hungary (May 12, 2009)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2010

Authors and Affiliations

  • Vincent Chapurlat
    • 1
  • Matthieu Roque
    • 1
  1. 1.LGI2P - Laboratoire de Génie Informatique et d’Ingénierie de Production, site EERIE de l’Ecole des Mines d’Alès, Parc Scientifique Georges BesseNîmes cedex 5France

Personalised recommendations