Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
References
Aubert, B., Dussart, A.: Système d’Information Inter-Organisationnel. Rapport Bourgogne, Groupe CIRANO (March 2002) (in French)
ISO/DIS 11345-1: Advanced automation technologies and their applications. Part 1: Framework for enterprise interoperability (2009)
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)
INTEROP: Enterprise Interoperability-Framework and knowledge corpus - Final report. INTEROP NoE, FP6 – Contract n° 508011, Deliverable DI.3 (May 21, 2007)
Tolk, A., Muguira, J.A.: The Levels of Conceptual Interoperability Model. In: Proceedings of Fall Simulation Interoperability Workshop (SIW), Orlando, USA (2003)
C4ISR Architecture Working Group: Levels of Information Systems Interoperability (LISI). United States of America Department of Defense, Washington DC, USA (March 30, 1998)
Clark, T., Jones, R.: Organisational Interoperability Maturity Model for C2. In: Proc. of Command and Control Research & Techn. Symposium, Newport, USA (1999)
ATHENA Integrated Project : Requirement for interoperability framework, product-based and process-based interoperability infrastructures, interoperability life-cycle services, ATHENA deliverable A4.1 (2004)
Mallek, S., Daclin, N., Chapurlat, V.: Toward a conceptualisation of interoperability requirements. In: IESA 2010: Interoperability for Enterprise Software & Applications, April 14-15 (2010)
ISO 8402: Quality management and quality assurance. Vocabulary, Second edition 1994-04-01, International Standard Organization (1994)
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)
Edmund, M., Clarke Jr., Grumbereg, O., Doron, A.P.: Model checking. The MIT Press, Cambridge (1999)
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)
Sowa, J.F.: Conceptual Graphs. IBM Journal of Research and Development (1976)
Behrmann, G., David, A., Larsen, K. G.: A tutorial on Uppaal. Department of Computer Science, Aalborg University, Denmark (2004)
BPMN: Business Process Modeling Notation, V1.2 (2009), http://www.bpmn.org/
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)
Chein, M., Mugnier, M.-L.: Conceptual graphs: fundamental notions. Revue d’intelligence artificielle 6(4), 365–406 (1992)
Cogitant: CoGITaNT Version 5.2.0, Reference Manual (2009), http://cogitant.sourceforge.net
ATLAS Groupe INA & INRIA Nantes: ATL Atlas Transformation Language. Specification of the ATL Virtual Machine. Version 0.1 (2005)
Schnoebelen, P.: The Complexity of Temporal Logic Model Checking. In: Advances in Modal Logic, vol. 4, pp. 1–44 (2002)
Gruhn, V., Laue, R.: Using Timed Model Checking for Verifying Workflows. In: Computer Supported Activity Coordination 2005, pp. 75–88 (2005)
Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation 104(1), 2–34 (1993)
PABADIS’PROMISE STREP FP6: Plant Automation Based on DIStributed Systems (2008), http://www.pabadis.org/
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 IFIP International Federation for Information Processing
About this paper
Cite this paper
Mallek, S., Daclin, N., Chapurlat, V. (2011). An Approach for Interoperability Requirements Specification and Verification. In: van Sinderen, M., Johnson, P. (eds) Enterprise Interoperability. IWEI 2011. Lecture Notes in Business Information Processing, vol 76. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19680-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-19680-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19679-9
Online ISBN: 978-3-642-19680-5
eBook Packages: Computer ScienceComputer Science (R0)