, Requirement: (mod=Modality p+=Proposition+) | (p+=Proposition+ lead=LeadTo q+=Proposition+)
, Proposition: obp+=OpenBracket* (iter=Iter? | neg='not'?) fact=Fact cbp+=CloseBracket* bool=Bool?
, StartFact: (stateTerm=StateTerm (verb=Verb | timeTerm=TimeTerm)) | tab=Tab | val=Value | c=Clock
, EndFact: (comp=Comparator | op=Operator) ((stateTerm=StateTerm timeTerm=TimeTerm) | val=Value | tab=Tab)
, StateTerm: st=("task" | "resource")
, Clock: c="clock
, Value: val="value
,
, Verb: v=('is_waiting' | 'is_working' | 'is_starting' | 'is_finished' | 'is_stopped' | 'is_available' | 'is_active')
, Comparator: comp=('is_less_than' | 'is_greater_than' | 'is_equal_to' | 'is_not_equal_to')
, Operator: op=('plus' | 'minus')
, Bool: b=('and' | 'or')
, Iter: it=('for all' | 'it exists') itType=IterType
, IterType: id_it=('tasks,' | 'sequence_flows,' | 'message_flows
, Modality: reachable=
, LeadTo: lt='lead to
, CloseBracket: cb=')
, OpenBracket: ob=
, Contribution à la modélisation et l'analyse du risque dans une organisation de santé au moyen d'une approche système, 2007.
Framework for the Establishment and Management Methodology, ATHENA Integrated Project, vol.4, 2005. ,
Guidelines and best practices for applying the ATHENA interoperability framework to support SME participation in digital ecosystems, ATHENA Integrated Project, issue.2, 2007. ,
, Bernardo & Corradini, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004.
A metamodel and its ontology to guide crisis characterization and its collaborative management, Proc. 5 th International ISCRAM Conference, 2008. ,
Conception de Système d'Information de Médiation pour la prise en charge de l'Interopérabilité dans les Collaborations d'Organisations, Habilitation à Diriger les Recherches, 2012. ,
Contribution à l'ingénierie de système de systèmes : modélisation multi points de vue et analyse de l'impact de l'exigence d'interopérabilité, thèse de doctorat, 2015. ,
Systems Engineering and analysis, 5 th Edition, Pub. Prentice Hall International Series in industrial and systems engineering, 800 pages, System of Systems -the meaning of, Proc. IEEE/SMC International Conference on Systems of System Engineering, 2006. ,
Business Interoperability: a methodology to analyse and re-design interoperable buyer-supplier dyads, 2016. ,
Contribution à la modélisation et à la verification formelle par modelchecking -Symétries pour les Réseaux de Petri Temporels, 2015. ,
Report on Model Driven Interoperability, INTEROP Network of Excellence IS 508011, deliverable DTG 2.3, 2007. C [CAM 05] Camarinha-Matos L., Afsarmanesh H.: Collaborative networks: a new scientific discipline, Journal of Intelligent Manufacturing, vol.16, pp.439-452, 2005. ,
Collaborative networked organizations -Concepts in manufacturing enterprises, Computers & Industrial Engineering, vol.57, issue.1, pp.46-60, 2009. ,
A step-by-step methodology for enterprise interoperability projects, Enterprise Information Systems, vol.9, pp.436-464, 2016. ,
Vérification et validation de modèles de systèmes complexes: application à la Modélisation d'Entreprise, Habilitation à Diriger les Recherches, 2007. ,
UPSL-SE: A model verification framework for Systems Engineering, Computers in Industry, vol.64, issue.5, pp.581-597, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00804265
Framework for Enterprise Interoperability, Proc. 2nd IFAC Workshop on Enterprise Integration, Interoperability and Networking, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00411811
Architectures for enterprise integration and interoperability: Past, present and future, Computers in industry, vol.59, issue.7, pp.647-659, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00357637
, USA Department of Defense, C4ISR: Levels of Information Systems Interoperability (LISI), 1998.
Embedding interoperability in System of Systems: definition and characterization of fundamental requirements, Proc. 13 th IFIP Working Conference on Virtual Enterprises (PRO-VE'12), 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01520440
, Capturing and structuring interoperability requirements: a framework for interoperability requirements. Interoperability for Enterprise Software and Applications (I-ESA'14), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01927951
Towards a sustainable implementation of interoperability solutions: bridging the gap between interoperability requirements and solutions, Proc. 6 th International IFIP Working Conference on Enterprise Interoperability, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01438409
Developing enterprise collaboration: a methodology to implement and improve interoperability, Enterprise Information Systems, vol.10, issue.5, pp.467-504, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01053191
Writing and verifying interoperability requirements: Application to collaborative processes, Computers in Industry, vol.82, pp.1-18, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01930301
A Model of Systems Engineering in a System of Systems Context, Proc. Conference on Systems Engineering Research, 2008. ,
A System-of-Systems Perspective for Public Policy Decisions, Review of Policy Research, vol.21, issue.6, pp.829-837, 2004. ,
Service Level Agreements -A Legal and Practical Guide, p.120, 2010. ,
, Life-Cycle Properties of Engineering Systems: The Ilities, Engineering Systems: Meeting Human Needs in a Complex Technological World, p.232, 2012.
, DoD: Department of Defense Dictionary of Military and Associated Terms, 2001.
Contribution à une méthodologie d'analyse de la cohérence des systèmes de production dans le cadre du modèle GRAI, thèse de doctorat, Université Bordeaux I, 1999. E [EC 08] European Commission: European Interoperability Framework for European Public Services (EIF), 2008. ,
A Novel Approach for Periodic Assessment of Business Process Interoperability, International Journal of Computer Science Issues, vol.8, pp.298-306, 2011. ,
Requirements verification in the industry, Proc. 2 nd International Conference on Complex Systems Design & Management -CSDM, 2011. ,
Next generation requirements engineering, Proc. 22 th Annual INCOSE International Symposium, 2012. ,
, Organisational Interoperability: Evaluation and Further Development of the OIM Mode, Proc. 8 th International Command and Control Research and Technology Symposium, 2003.
Interoperability measurement, 2008. ,
, Cogitant Reference Manual, 2014.
System-of Systems Engineering Management: A Review of modern History and a Path Forward, IEEE Systems Journal, vol.2, pp.484-499, 2008. ,
Using Timed Model Checking for Verifying Workflows, Proc. Computer Supported Activity Coordination, pp.75-88, 2005. ,
Maturity Model for Enterprise Interoperability, Enterprise Information Systems, vol.9, issue.1, pp.1-28, 2015. ,
, Hidden order: How Adaptation Builds Complexity, p.185, 1995.
System of systems oriented vehicle conceptual design: Perspectives and progresses, Chinese Journal of Aeronautics, vol.28, pp.617-635, 2015. ,
, INCOSE: Systems Engineering Handbook-A guide for System life cycle processes and activities, INCOSE Systems Engineering Handbook v.3.2.2 INCOSE TP, Systems and software engineering -System life cycle processes. SO/IEC/IEEE 15288:2015, ISO/IEC JTC 1/SC 7 Software and systems engineering, vol.8402, 1990.
, ITU: Series Z: Languages And General Software Aspects For Telecommunication Systems -Formal description techniques (FDT)-User Requirements Notation (URN), Language definition, ITU -T Z.151 -Telecommunication Standardization Sector Of ITU, 2012.
, Systems of Systems Engineering: Principles and Applications, p.480, 2008.
, System of Systems Engineering: Innovations for the Twenty-First Century, p.616, 2009.
Modélisation et vérification des propriétés de systèmes complexes : Application aux processus d'entreprise, thèse de doctorat, 2004. ,
Framework For Managing System-Of-Systems Ilities, DSTA Horizons, pp.56-65, 2013. ,
Measuring Systems Interoperability: Challenges and Opportunities, technical note, 2004. ,
Model Driven Engineering, Proc. International Conference on Integrated Formal Methods, pp.286-298, 2002. ,
, Systems of Systems as Communicating Structures, 1997.
La théorie du système générale -théorie de la modélisation, Les Classiques du Réseau Intelligence de la Complexité, 2006. ,
,
Architecting Principles for System-of-Systems, Systems Engineering, vol.1, pp.267-284, 1998. ,
Contribution au développement de l'interopérabilité en entreprise : vers une aproche anticipative de détection de problèmes d, 2011. ,
The application of interoperability requirement specification and verification to collaborative processes in industry, Computers in Industry, vol.63, issue.7, pp.643-658, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00804253
Requirements formalization for systems engineering: an approach for interoperability analysis in collaborative process model, Proc. Workshop on selected applications and methods for enterprise interoperability, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00804283
Enabling model checking for collaborative process analysis: from BPMN to Network of Timed Automata, Enterprise Information Systems, vol.9, pp.279-299, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01004414
, Hands on systematic innovation, 2002.
, Découvrir et comprendre l'ingénierie système, p.392, 2012.
, Model-Driven Software Development -Par I, pp.19-33, 2005.
NEHTA: Towards a Health Interop Framework, System of Systems Interoperability (SOSI): Final Report, 2008. ,
, Open Management Group, version 2.0, Business Process Model and Notation (BPMN), 2011.
, OMG Systems modelling Language (OMG SysML TM ), 2015.
The Emerging U.S. Systems of Systems, 1996. ,
Capability Maturity Model for Software, Version 1.1, 1993. ,
, Rationalité du développement de l'interopérabilité dans les organisations, 2009.
Interoperability evalution models: A systematic review, Computer in Industry, vol.65, issue.1, pp.1-23, 2014. ,
Architecting Systems of Systems with Ilities: an Overview of the SAI Method, Proc. Conference on Systems Engineering Research (CSER 14), vol.28, pp.322-321, 2014. ,
Les systèmes de production : modélisation et performances, p.330, 1989. ,
Interoperability in collaborative processes: requirements characterization and proof approach, Proc. 10th IFIP Working Conference on Virtual Enterprises, 2009. ,
Towards a Prescriptive Semantic Basis for Change-type Ilities, Proc. Conference on Systems Engineering Research (CSER 15), vol.44, pp.443-453, 2015. ,
, The Complexity of Temporal Logic Model Checking ». Advances in Modal Logic, vol.4, pp.1-44, 2002.
Controlled natural languages for knowledge representation, Proc. 23rd International Conference on Computational Linguistics: Posters, 2010. ,
A new systems engineering taxonomy, Proc. 4th INCOSE International Symposium, 1995. ,
, The Sciences of the Artificial, 3 rd Edition, p.221, 1996.
Conceptual structures: information processing in mind and machine, p.481, 1984. ,
, The Standish Group: The Chaos Report, 1995.
A day in the life of a verification requirement, 2008. ,
, TOGAF: The Open Group Architecture Framework: TOGAF version 9, vol.11, 2011.
Applying the Levels of Conceptual Interoperability Model in Support of Integratability, Interoperability, and Composability for System-Of-Systems engineering, Systemics Cybernetics and Informatics, vol.5, pp.65-74, 2007. ,
, Un aperçu sur quelques exécutifs temps réel du marché, Ecole d'été Temps Réel'97 Applications, Réseaux et Systèmes, 1997.
Modélisation d'entreprise et architecture de conduite des systèmes de production, Habilitation à Diriger les Recherches, 2003. ,
A Framework for Evolving System of, Systems Engineering. Crosstalk, vol.20, pp.28-30, 2007. ,
Domain-Specific Languages: An Annoted Bibliography, ACM SIGPLAN NOTICES, vol.35, pp.26-36, 2000. ,
Enterprise Integration Modeling and Integration : Principles and Applications, p.513, 1996. ,
The KAOS project, Knowledge Acquisition in Automated Specification of Software, AAAI Spring Symposium Series, American Association for Artificial Intelligence, 1991. ,
, Resilience, adaptability and transformability in social-ecological systems, vol.9, 2004.
, Interoperability, ACM Computing Survey, vol.28, issue.1, pp.285-287, 1996.
, On Controlled Natural languages: Properties and Prospects, Workshop on Controlled Natural Language CNL2009, 2009.
PFE -AGCO SAS Chef de projet Implantation Logistique -domaine Machinisme Agricole 2009-2010 Etude de cas (3 étudiants) Utilisation de la démarche REGAL en ingénierie des exigences pour la spécification d'exigences d'interopérabilité de système 4A EMA 5 sem, Computers in Industry, vol.63, pp.443-457, 2006. ,
Chapurlat The application of interoperability requirement specification and verification to collaborative processes in industry, Vallespir Writing and verifying interoperability requirements: Application to collaborative processes Computers in Industry, vol.63, pp.1-18, 2012. ,
, th International IFIP Working Conference on Enterprise Interoperability, 2015.
, Productique et Informatique Industrielle 32 Travaux d'Etudes et de Recherches