The application of interoperability requirement specification and verification to collaborative processes in industry

Computers in Industry

Volumn 63, Issue 7, 2012, Pages 643-658

  Mallek, S ^a   Daclin, N ^a   Chapurlat, V ^a  

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

Author keywords

Collaborative process; Interoperability requirements; Verification

Indexed keywords

COLLABORATIVE PROCESS; COLLABORATIVE WORK; FORMAL VERIFICATIONS; INTER-ENTERPRISE; LEVEL OF ABSTRACTION; MATURITY MODEL; PROCESS MODEL; REQUIREMENT SPECIFICATION; VERIFICATION TECHNIQUES;

INDUSTRY; VERIFICATION;

INTEROPERABILITY;

EID: 84863614035     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compind.2012.03.002     Document Type: Article

References (30)

1. J. Touzi, Aide à la conception de Système d'Information Collaboratif: support de l'interopérabilité des entreprises, PhD Thesis, Institut National Polytechnique de Toulouse, November 2007 (in French).
2. B. Aubert, A. Dussart, Système d'Information Inter- Organizationnel, Rapport Bourgogne, Groupe CIRANO, March 2002 (in French).
3. A. Esper, Intégration des approches SOA et orientée objet pour modéliser une orchestration cohérente de services, PhD Thesis, Institut National des Sciences Appliqués de Lyon, September 2010 (in French).
4. ISO/DIS 11345-1, Advanced automation technologies and their applications, Part 1: Framework for enterprise interoperability, 2009.
5. IDEAS Project Deliverables, WP1-WP7r, Public reports, 2003.
6. INTEROP: Enterprise Interoperability-Framework and knowledge corpus - Final report, INTEROP NoE, FP6 - Contract no. 508011, Deliverable DI.3, May 21st 2007.
7. ATHENA Integrated Project, Guidelines and best practices for applying the ATHENA interoperability framework to support SME participation in digital ecosystemsr, ATHENA deliverable A8.2, 2007.
8. C4ISR Architecture Working Group Levels of Information Systems Interoperability (LISI), United States of America Department of Defense, Washington DC, USA, 30 March, 1998.
9. A. Tolk, J.A. Muguira, The Levels of Conceptual Interoperability Model, Proceedings of Fall Simulation Interoperability Workshop (SIW), Orlando, USA, 2003.
10. T. Clark, R. Jones, Organizational Interoperability Maturity Model for C2, Proc. of Command and Control Research & Techn. Symposium, Newport, USA, 1999.
11. N. Daclin, D. Chen, and B. Vallespir Methodology for enterprise interoperability 17th IFAC World Congress (IFAC'08) Seoul, Korea 2008
12. C.T. Ford, Interoperability measurement, PhD Thesis, Department of the Air Force Air University, Air Force Institute of Technology, 2008.
13. BPMN, Business Process Modeling Notation, V1.2, http://www.bpmn.org/, 2009.
14. NEHTA, Interoperability maturity model, Version 1.0, 26 March 2007.
15. INCOSE, System Engineering (SE) Handbook Working Group, System Engineering Handbook, A How To, Version 3.1, Guide For All Engineers, http://www.incose.org, 2007.
16. ISO/IEC 15288:2008(E), IEEE Standards 15288.2008 - Systems engineering - System life cycle processes (2nd edition), 2008.
17. S.J. Scucanec, and J.R. Van Gaasbeek A day in the life of a verification requirement U.S. Air Force T&E Days Los Angeles, California, February, 2008 2008
18. M. Kasunic, W. Anderson, Measuring systems interoperability: challenges and opportunities, Software engineering measurement and analysis initiative, Technical note CMU/SUE-2004-TN-003, 2004.
19. O. Balci, and W. Ornwsby Expanding our horizons in verification, validation and accreditation research and practice E. Yücesan, C.-H. Chen, J.L. Snowdon, J.M. Charnes, 2002 Winter Simulation Conference 2002
20. M. Edmund, Clarke J.R., O. Grumbereg, and A.P. Doron Model Checking 1999 The MIT Press
21. B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph Schnoebelen, and P. McKenzie Systems and Software verification: Model Checking Techniques and Tools 2001 Springer
22. G. Behrmann, A. David, and K.G. Larsen A Tutorial on Uppaal 2004 Department of Computer Science, Aalborg University Denmark
23. V. Chapurlat, B. Kamsu-Foguem, F. Prunet, Enterprise model verification and validation: an approach, Annual Review in Control, vol. 27, no. 2, pp. 185-197, 2003.
24. J.F. Sowa Conceptual graphs IBM Journal of Research and Development 1976
25. M. Roque, and V. Chapurlat Interoperability in collaborative processes: requirements characterisation and proof approach PRO-VE'09, 10th IFIP Working Conference on VIRTUAL ENTERPRISES Thessaloniki, Greece, 7-9 October, 2009 2009
26. Cogitant CoGITaNT Version 5.2.0, Reference Manual, http://cogitant. sourceforge.net, 2009.
27. ATLAS Groupe INA & INRIA Nantes ATL Atlas Transformation Language, Specification of the ATL Virtual Machine, Version 0.1, 2005.
28. R. Alur, C. Courcoubetis, and D. Dill Model-checking in dense real-time Information and Computation 104 1 1993 2 34
29. V. Gruhn, and R. Laue Using timed model checking for verifying workflows Computer Supported Activity Coordination 7 2005 5 88
30. A.S. Rebai, and V. Chapurlat System interoperability analysis by mixing system modeling and MAS: an approach, agent-based, technologies and applications for enterprise interoperability (ATOP) Eighth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2009) Budapest, Hungary, May, 2009 2009