An Approach for Interoperability Requirements Specification and Verification

  • Sihem Mallek
  • Nicolas Daclin
  • Vincent Chapurlat
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 76)


Enterprises are today involved in collaborative processes with other partners sharing common economical interests in confidence. This allows these enterprises to focus on their core business, to optimize, and to be effective to respond to customers’ needs. Implicitly, a partner that wishes to become involved in a partnership must demonstrate numerous qualities and enable to gain the confidence of other partners. Among other ones, demonstrate its ability to be interoperable is a major issue. This research work aims to define, to formalize and to analyze a set of interoperability requirements that each partner of a collaborative process have to satisfy prior to any collaboration. This paper focuses and illustrates how interoperability requirements related to the static and dynamic aspects of the collaboration may be formalized and verified by the use of a formal verification technique.


interoperability interoperability requirements compatibility interoperation verification model checker conceptual graphs collaborative process 


  1. 1.
    Aubert, B., Dussart, A.: Système d’Information Inter-Organisationnel. Rapport Bourgogne, Groupe CIRANO (March 2002) (in French)Google Scholar
  2. 2.
    ISO/DIS 11345-1: Advanced automation technologies and their applications. Part 1: Framework for enterprise interoperability (2009)Google Scholar
  3. 3.
    Scucanec, S. J., Van Gaasbeek, J. R.: A day in the life of a verification requirement. U.S Air Force T&E Days, Los Angeles, California (February 2008)Google Scholar
  4. 4.
    INTEROP: Enterprise Interoperability-Framework and knowledge corpus - Final report. INTEROP NoE, FP6 – Contract n° 508011, Deliverable DI.3 (May 21, 2007)Google Scholar
  5. 5.
    Tolk, A., Muguira, J.A.: The Levels of Conceptual Interoperability Model. In: Proceedings of Fall Simulation Interoperability Workshop (SIW), Orlando, USA (2003)Google Scholar
  6. 6.
    C4ISR Architecture Working Group: Levels of Information Systems Interoperability (LISI). United States of America Department of Defense, Washington DC, USA (March 30, 1998)Google Scholar
  7. 7.
    Clark, T., Jones, R.: Organisational Interoperability Maturity Model for C2. In: Proc. of Command and Control Research & Techn. Symposium, Newport, USA (1999)Google Scholar
  8. 8.
    ATHENA Integrated Project : Requirement for interoperability framework, product-based and process-based interoperability infrastructures, interoperability life-cycle services, ATHENA deliverable A4.1 (2004)Google Scholar
  9. 9.
    Mallek, S., Daclin, N., Chapurlat, V.: Toward a conceptualisation of interoperability requirements. In: IESA 2010: Interoperability for Enterprise Software & Applications, April 14-15 (2010)Google Scholar
  10. 10.
    ISO 8402: Quality management and quality assurance. Vocabulary, Second edition 1994-04-01, International Standard Organization (1994)Google Scholar
  11. 11.
    Balci, O., Ornwsby, W.: Expanding our horizons in verification, validation and accreditation research and practice. In: Yücesan, E., Chen, C.-H., Snowdon, J.L., Charnes, J.M. (eds.) 2002 Winter Simulation Conference (2002)Google Scholar
  12. 12.
    Edmund, M., Clarke Jr., Grumbereg, O., Doron, A.P.: Model checking. The MIT Press, Cambridge (1999)Google Scholar
  13. 13.
    Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P., McKenzie, P.: Systems and Software verification: model checking techniques and tools. Springer, Heidelberg (2001)Google Scholar
  14. 14.
    Sowa, J.F.: Conceptual Graphs. IBM Journal of Research and Development (1976)Google Scholar
  15. 15.
    Behrmann, G., David, A., Larsen, K. G.: A tutorial on Uppaal. Department of Computer Science, Aalborg University, Denmark (2004)Google Scholar
  16. 16.
    BPMN: Business Process Modeling Notation, V1.2 (2009),
  17. 17.
    Roque, M., Chapurlat, V.: Interoperability in collaborative processes: Requirements characterisation and proof approach. In: Camarinha-Matos, L.M., Paraskakis, I., Afsarmanesh, H. (eds.) PRO-VE 2009. IFIP Advances in Information and Communication Technology, vol. 307, pp. 555–562. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  18. 18.
    Chein, M., Mugnier, M.-L.: Conceptual graphs: fundamental notions. Revue d’intelligence artificielle 6(4), 365–406 (1992)Google Scholar
  19. 19.
    Cogitant: CoGITaNT Version 5.2.0, Reference Manual (2009),
  20. 20.
    ATLAS Groupe INA & INRIA Nantes: ATL Atlas Transformation Language. Specification of the ATL Virtual Machine. Version 0.1 (2005)Google Scholar
  21. 21.
    Schnoebelen, P.: The Complexity of Temporal Logic Model Checking. In: Advances in Modal Logic, vol. 4, pp. 1–44 (2002)Google Scholar
  22. 22.
    Gruhn, V., Laue, R.: Using Timed Model Checking for Verifying Workflows. In: Computer Supported Activity Coordination 2005, pp. 75–88 (2005)Google Scholar
  23. 23.
    Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation 104(1), 2–34 (1993)CrossRefGoogle Scholar
  24. 24.
    PABADIS’PROMISE STREP FP6: Plant Automation Based on DIStributed Systems (2008),
  25. 25.
    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 2009)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2011

Authors and Affiliations

  • Sihem Mallek
    • 1
  • Nicolas Daclin
    • 1
  • Vincent Chapurlat
    • 1
  1. 1.LGI2P - Laboratoire de Génie Informatique et d’Ingénierie de Production site de l’Ecole des Mines d’AlèsParc Scientifique Georges BesseNîmes Cedex 5France

Personalised recommendations