{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:08:27Z","timestamp":1759072107871,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642196799"},{"type":"electronic","value":"9783642196805"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19680-5_9","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T11:34:58Z","timestamp":1300102498000},"page":"89-102","source":"Crossref","is-referenced-by-count":5,"title":["An Approach for Interoperability Requirements Specification and Verification"],"prefix":"10.1007","author":[{"given":"Sihem","family":"Mallek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Daclin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Chapurlat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Aubert, B., Dussart, A.: Syst\u00e8me d\u2019Information Inter-Organisationnel. Rapport Bourgogne, Groupe CIRANO (March 2002) (in French)"},{"key":"9_CR2","unstructured":"ISO\/DIS 11345-1: Advanced automation technologies and their applications. Part 1: Framework for enterprise interoperability (2009)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.2514\/6.2008-1610"},{"key":"9_CR4","unstructured":"INTEROP: Enterprise Interoperability-Framework and knowledge corpus - Final report. INTEROP NoE, FP6 \u2013 Contract n\u00b0 508011, Deliverable DI.3 (May 21, 2007)"},{"key":"9_CR5","unstructured":"Tolk, A., Muguira, J.A.: The Levels of Conceptual Interoperability Model. In: Proceedings of Fall Simulation Interoperability Workshop (SIW), Orlando, USA (2003)"},{"key":"9_CR6","unstructured":"C4ISR Architecture Working Group: Levels of Information Systems Interoperability (LISI). United States of America Department of Defense, Washington DC, USA (March 30, 1998)"},{"key":"9_CR7","unstructured":"Clark, T., Jones, R.: Organisational Interoperability Maturity Model for C2. In: Proc. of Command and Control Research & Techn. Symposium, Newport, USA (1999)"},{"key":"9_CR8","unstructured":"ATHENA Integrated Project\u00a0: Requirement for interoperability framework, product-based and process-based interoperability infrastructures, interoperability life-cycle services, ATHENA deliverable A4.1 (2004)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Mallek, S., Daclin, N., Chapurlat, V.: Toward a conceptualisation of interoperability requirements. In: IESA 2010: Interoperability for Enterprise Software & Applications, April 14-15 (2010)","DOI":"10.1007\/978-1-84996-257-5_41"},{"key":"9_CR10","unstructured":"ISO 8402: Quality management and quality assurance. Vocabulary, Second edition 1994-04-01, International Standard Organization (1994)"},{"key":"9_CR11","unstructured":"Balci, O., Ornwsby, W.: Expanding our horizons in verification, validation and accreditation research and practice. In: Y\u00fccesan, E., Chen, C.-H., Snowdon, J.L., Charnes, J.M. (eds.) 2002 Winter Simulation Conference (2002)"},{"key":"9_CR12","volume-title":"Model checking","author":"M. Edmund","year":"1999","unstructured":"Edmund, M., Clarke Jr., Grumbereg, O., Doron, A.P.: Model checking. The MIT Press, Cambridge (1999)"},{"key":"9_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software verification: model checking techniques and tools","author":"B. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, 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)"},{"key":"9_CR14","unstructured":"Sowa, J.F.: Conceptual Graphs. IBM Journal of Research and Development (1976)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K. G.: A tutorial on Uppaal. Department of Computer Science, Aalborg University, Denmark (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"9_CR16","unstructured":"BPMN: Business Process Modeling Notation, V1.2 (2009), http:\/\/www.bpmn.org\/"},{"key":"9_CR17","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/978-3-642-04568-4_57","volume-title":"Leveraging Knowledge for Innovation in Collaborative Networks","author":"M. Roque","year":"2009","unstructured":"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.\u00a0307, pp. 555\u2013562. Springer, Heidelberg (2009)"},{"issue":"4","key":"9_CR18","first-page":"365","volume":"6","author":"M. Chein","year":"1992","unstructured":"Chein, M., Mugnier, M.-L.: Conceptual graphs: fundamental notions. Revue d\u2019intelligence artificielle\u00a06(4), 365\u2013406 (1992)","journal-title":"Revue d\u2019intelligence artificielle"},{"key":"9_CR19","unstructured":"Cogitant: CoGITaNT Version 5.2.0, Reference Manual (2009), http:\/\/cogitant.sourceforge.net"},{"key":"9_CR20","unstructured":"ATLAS Groupe INA & INRIA Nantes: ATL Atlas Transformation Language. Specification of the ATL Virtual Machine. Version 0.1 (2005)"},{"key":"9_CR21","unstructured":"Schnoebelen, P.: The Complexity of Temporal Logic Model Checking. In: Advances in Modal Logic, vol.\u00a04, pp. 1\u201344 (2002)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Using Timed Model Checking for Verifying Workflows. In: Computer Supported Activity Coordination 2005, pp. 75\u201388 (2005)","DOI":"10.5220\/0002559500750088"},{"issue":"1","key":"9_CR23","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"9_CR24","unstructured":"PABADIS\u2019PROMISE STREP FP6: Plant Automation Based on DIStributed Systems (2008), http:\/\/www.pabadis.org\/"},{"key":"9_CR25","unstructured":"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)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Interoperability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19680-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T07:00:37Z","timestamp":1741071637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19680-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642196799","9783642196805"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19680-5_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}