{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:23:40Z","timestamp":1760549020998},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642163579"},{"type":"electronic","value":"9783642163586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16358-6_28","type":"book-chapter","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T06:36:18Z","timestamp":1287470178000},"page":"219-226","source":"Crossref","is-referenced-by-count":2,"title":["Interoperability Constraints and Requirements Formal Modelling and Checking Framework"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Chapurlat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Roque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Le Moigne, J.-L.: La mod\u00e9lisation des syst\u00e8mes complexes, Paris, Dunot (1990) (in French)"},{"key":"28_CR2","unstructured":"INCOSE, Systems Engineering Handbook: a guide for system life cycle processes and activities, Incose-Tp-2003-002-03.1, version 3.1 (August 2007)"},{"key":"28_CR3","volume-title":"Enterprise Modelling and Integration: Principles and Applications","author":"F.B. Vernadat","year":"1996","unstructured":"Vernadat, F.B.: Enterprise Modelling and Integration: Principles and Applications. Chapman & Hall, Boca Raton (1996)"},{"key":"28_CR4","unstructured":"Petit, M., et al.: Enterprise Modelling State of the Art. UEML Thematic Network. Contract: IST\u20132001\u201334229. Work Package 1 (2002)"},{"key":"28_CR5","unstructured":"Schmidt, D.C.: Model-Driven Engineering, vol.\u00a039 (2), pp. 25\u201331. IEEE Computer Society, Los Alamitos (2006), 0018-9162\/06, http:\/\/www.cs.wustl.edu\/~schmidt\/PDF\/GEI.pdf"},{"key":"28_CR6","unstructured":"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)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1016\/j.compind.2007.12.018"},{"key":"28_CR8","unstructured":"YAHODA verification tools data base, http:\/\/anna.fi.muni.cz\/yahoda\/"},{"key":"28_CR9","unstructured":"Lamine, E.: D\u00e9finition d\u2019un mod\u00e8le de propri\u00e9t\u00e9 et proposition d\u2019un langage de sp\u00e9cification associ\u00e9: LUSP, PhD thesis, Montpeiller II University (December 2001) (in French)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1016\/j.arcontrol.2003.08.001"},{"key":"28_CR11","unstructured":"UPPAAL documentation and tool are available online at, http:\/\/www.uppaal.com\/"},{"key":"28_CR12","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":"28_CR13","unstructured":"ATHENA, Framework for the establishment and management methodology, Integrated Project ATHENA, deliverable A1.4 (2005)"},{"key":"28_CR14","unstructured":"Tolk, A., Muguira, J.A.: The Levels of Conceptual Interoperability Model. In: Fall Simulation Interoperability Workshop (2003)"},{"key":"28_CR15","unstructured":"C4ISR, Levels of Information Systems Interoperability (LISI), Architecture Working Group, United States of America, Department of Defence (1998)"},{"key":"28_CR16","unstructured":"Clark, T., Jones, R.: Organisational Interoperability Maturity Model for C2, Australian Department of Defence (1999)"},{"key":"28_CR17","unstructured":"BPMN, Business Process Modelling Notation, V1.2 (2009), http:\/\/www.bpmn.org\/"},{"key":"28_CR18","unstructured":"Miller, J., Mukerji, J. (eds.): MDA, Model Driven Architecture (MDA), Architecture Board ORMSC (2001)"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"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-7","DOI":"10.3182\/20060517-3-FR-2903.00299"},{"key":"28_CR20","unstructured":"CoGITaNT Version 5.2.0: Reference Manual (2009), http:\/\/cogitant.sourceforge.net"},{"key":"28_CR21","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 12, 2009)"}],"container-title":["IFIP Advances in Information and Communication Technology","Advances in Production Management Systems. New Challenges, New Approaches"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16358-6_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:47:33Z","timestamp":1606168053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16358-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163579","9783642163586"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16358-6_28","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}