Interoperability in collaborative processes: Requirements characterisation and proof approach

IFIP Advances in Information and Communication Technology

Volumn 307, Issue , 2009, Pages 555-562

  Roque, Matthieu ^a   Chapurlat, Vincent ^a  

^a ECOLE DES MINES D ALÈS   (France)

Author keywords

Enterprise modeling; Interoperability; Model checking

Indexed keywords

INTEROPERABILITY; KNOWLEDGE MANAGEMENT; MODELING LANGUAGES; VIRTUAL CORPORATION;

COLLABORATIVE PROCESS; ENTERPRISE MODELING; ENTERPRISE MODELS; FORMAL CHECKING; INTEROPERABILITY REQUIREMENTS;

MODEL CHECKING;

EID: 70350247361     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-04568-4_57     Document Type: Conference Paper

References (19)

1. IEEE, A compilation of IEEE standard computer glossaries: Standard computer dictionary, New York (1990)
2. INTEROP, Enterprise Interoperability-Framework and knowledge corpus - Final report, INTEROP NoE, FP6 - Contract no 508011, Deliverable DI.3 (May 21, 2007)
3. Berio, G.: UEML 2.0, Deliverable 5.1, INTEROP project UE-IST-508011 (2005)
4. Schlenoff, C., Gruninger, M., Tissot, F., Valois, J., Lubell, J., Lee, J.: The Process Specification Language (PSL): Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD (2000)
5. Bénaben, F., Touzi, J., Rajsiri, V., Truptil, S., Lorré, J.P., Pingaud, H.: Mediation Information System Design in a Collaborative SOA Context through a MDD Approach. In: MDISIS 2008: Model Driven Interoperability for Sustainable Information System, Montpellier, France (2008)
6. Tolk, A., Muguira, J.A.: The Levels of Conceptual Interoperability Model. In: Fall Simulation Interoperability Worshop (2003)
7. C4ISR, Levels of Information Systems Interoperability (LISI), Architecture Working Group, United States of America, Department of Defence (1998)
8. Clark, T., Jones, R.: Organisational Interoperability Maturity Model for C2, Australian Department of Defence (1999)
9. ATHENA, Framework for the establishment and management methodology, Integrated Project ATHENA, deliverable A1.4 (2005)
10. Daclin, N.: Contribution au développement d'une méthodologie pour l'interopérabilité des entreprises (in French), PhD Thesis, University Bordeaux1 (December 2007)
11. 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
12. Le Moigne, J.L.: La modélisation des systèmes complexes, Paris, Bordas, Dunot (1990)
13. Penalva, J.-M.: La modélisation par les systèmes en situation complexe (in French), PhD thesis. Paris Sud university (1997)
14. BPMN, Business Process Modeling Notation, V1.2 (2009), http://www.bpmn.org/
15. GMF, Graphical Modelling Framework (2008), http://www.eclipse.org/ modeling/gmf/
16. Chein, M., MuFnier, M.-L.: Conceptual graphs: fundamental notions. Revue d'intelligence artificielle 6(4) (1992)
17. Cogitant, CoGITaNT Version 5.2.0: Reference Manual (2009), http://cogitant.sourceforge.net
18. Blanc, S.: Contribution a la caractérisation et à l'évaluation de l'interopérabilité pour les entreprises collaboratives (in French), PhD Thesis, University Bordeaux1 (December 2006)
19. Chapurlat, V., Aloui, S.: How to detect risks with a formal approach? From property specification to risk emergence. In: Proceedings of Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), Paphos, Cyprus (2006)