, 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

:. Timeterm and . Tt=,

, 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.

A. Ip, Framework for the Establishment and Management Methodology, ATHENA Integrated Project, vol.4, 2005.

A. Ip, Guidelines and best practices for applying the ATHENA interoperability framework to support SME participation in digital ecosystems, ATHENA Integrated Project, issue.2, 2007.

G. Behrmann, A. David, and K. G. Larsen, Bernardo & Corradini, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004.

F. Bénaben, C. Hanachi, M. Lauras, P. Couget, and V. Chapurlat, A metamodel and its ontology to guide crisis characterization and its collaborative management, Proc. 5 th International ISCRAM Conference, 2008.

F. Bénaben, 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.

S. Billaud, 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.

B. S. Blanchard, W. J. Fabricky, J. Boardman, and B. Sauser, 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.

P. E. Botelho-espadinha-da-cruz, Business Interoperability: a methodology to analyse and re-design interoperable buyer-supplier dyads, 2016.

P. A. Bourdil, Contribution à la modélisation et à la verification formelle par modelchecking -Symétries pour les Réseaux de Petri Temporels, 2015.

J. P. Bourey, R. Grangel, G. Doumeingts, and A. J. Berre, 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.

L. Camarinha-matos, H. Afsarmanesh, N. Galaneo, and A. Molina, Collaborative networked organizations -Concepts in manufacturing enterprises, Computers & Industrial Engineering, vol.57, issue.1, pp.46-60, 2009.

R. Chalmeta and V. Pazos, A step-by-step methodology for enterprise interoperability projects, Enterprise Information Systems, vol.9, pp.436-464, 2016.

V. Chapurlat, Vérification et validation de modèles de systèmes complexes: application à la Modélisation d'Entreprise, Habilitation à Diriger les Recherches, 2007.

V. Chapurlat, 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

D. Chen and N. Daclin, Framework for Enterprise Interoperability, Proc. 2nd IFAC Workshop on Enterprise Integration, Interoperability and Networking, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00411811

D. Chen, G. Doumeingts, and F. Vernadat, 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.

N. Daclin, 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

N. Daclin and S. Mallek, 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

N. Daclin, S. Mallek, and S. , 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

N. Daclin, D. Chen, and B. Vallespir, 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

N. Daclin, S. Mallek-daclin, V. Chapurlat, and B. Vallespir, 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

J. Dahmann, J. A. Lane, G. Rebovich, and K. J. Baldwin, A Model of Systems Engineering in a System of Systems Context, Proc. Conference on Systems Engineering Research, 2008.

D. Delaurentis and R. K. Callaway, A System-of-Systems Perspective for Public Policy Decisions, Review of Policy Research, vol.21, issue.6, pp.829-837, 2004.

J. Desai, Service Level Agreements -A Legal and Practical Guide, p.120, 2010.

D. Weck, O. Roos, D. Magee, and C. , 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.

Y. Ducq, 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.

B. Elmir and B. Bounabat, A Novel Approach for Periodic Assessment of Business Process Interoperability, International Journal of Computer Science Issues, vol.8, pp.298-306, 2011.

G. Fanmuy, J. Llorens, and A. Fraga, Requirements verification in the industry, Proc. 2 nd International Conference on Complex Systems Design & Management -CSDM, 2011.

J. Favaro, D. Koning, H. S. Schreiner, R. Olive, and X. , Next generation requirements engineering, Proc. 22 th Annual INCOSE International Symposium, 2012.

S. Fewell and T. Clark, Organisational Interoperability: Evaluation and Further Development of the OIM Mode, Proc. 8 th International Command and Control Research and Technology Symposium, 2003.

C. T. Ford, Interoperability measurement, 2008.

G. Genest and D. , Cogitant Reference Manual, 2014.

A. Gorod, B. Sauser, and J. Boardman, System-of Systems Engineering Management: A Review of modern History and a Path Forward, IEEE Systems Journal, vol.2, pp.484-499, 2008.

V. Gruhn and R. Laue, Using Timed Model Checking for Verifying Workflows, Proc. Computer Supported Activity Coordination, pp.75-88, 2005.

W. Guédria, Y. Naudet, and D. Chen, Maturity Model for Enterprise Interoperability, Enterprise Information Systems, vol.9, issue.1, pp.1-28, 2015.

J. H. Holland, Hidden order: How Adaptation Builds Complexity, p.185, 1995.

L. Hu, T. Yongliang, G. Yuan, B. Jinpeng, and Z. Jiangan, 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.

M. Jamshidi, System of Systems Engineering: Innovations for the Twenty-First Century, p.616, 2009.

K. Foguem and B. , Modélisation et vérification des propriétés de systèmes complexes : Application aux processus d'entreprise, thèse de doctorat, 2004.

C. S. Kang, E. Y. Pee, K. W. Sim, and C. K. Pang, Framework For Managing System-Of-Systems Ilities, DSTA Horizons, pp.56-65, 2013.

M. Kasunic and W. Anderson, Measuring Systems Interoperability: Challenges and Opportunities, technical note, 2004.

S. Kent, Model Driven Engineering, Proc. International Conference on Integrated Formal Methods, pp.286-298, 2002.

V. Kotov, Systems of Systems as Communicating Structures, 1997.

L. Moigne and J. L. , 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.

M. ,

M. W. Maier, Architecting Principles for System-of-Systems, Systems Engineering, vol.1, pp.267-284, 1998.

S. Mallek, Contribution au développement de l'interopérabilité en entreprise : vers une aproche anticipative de détection de problèmes d, 2011.

S. Mallek, N. Daclin, and V. Chapurlat, 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

S. Mallek, N. Daclin, V. Chapurlat, and B. Vallepsir, 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

S. Mallek, N. Daclin, V. Chapurlat, and B. Vallespir, 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

D. Mann, Hands on systematic innovation, 2002.

J. Meinadier, Découvrir et comprendre l'ingénierie système, p.392, 2012.

, Model-Driven Software Development -Par I, pp.19-33, 2005.

E. Morris, L. Levine, C. Meyers, P. Place, and D. Plakosh, 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.

A. W. Owens, The Emerging U.S. Systems of Systems, 1996.

M. C. Paulk, B. Curtis, M. B. Chrissis, and C. V. Weber, Capability Maturity Model for Software, Version 1.1, 1993.

H. Pingaud, Rationalité du développement de l'interopérabilité dans les organisations, 2009.

R. Rezaei, T. K. Chiew, S. P. Lee, Z. Aliee, and S. , Interoperability evalution models: A systematic review, Computer in Industry, vol.65, issue.1, pp.1-23, 2014.

N. Ricci, E. M. Fitzgerald, A. M. Ross, and D. H. Rodhes, 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.

G. Rodde, Les systèmes de production : modélisation et performances, p.330, 1989.

M. Roque and V. Chapurlat, Interoperability in collaborative processes: requirements characterization and proof approach, Proc. 10th IFIP Working Conference on Virtual Enterprises, 2009.

A. M. Ross and D. H. Rodhes, Towards a Prescriptive Semantic Basis for Change-type Ilities, Proc. Conference on Systems Engineering Research (CSER 15), vol.44, pp.443-453, 2015.

S. Ph, The Complexity of Temporal Logic Model Checking ». Advances in Modal Logic, vol.4, pp.1-44, 2002.

R. Schwitter, Controlled natural languages for knowledge representation, Proc. 23rd International Conference on Computational Linguistics: Posters, 2010.

A. Shenhar, A new systems engineering taxonomy, Proc. 4th INCOSE International Symposium, 1995.

H. A. Simon, The Sciences of the Artificial, 3 rd Edition, p.221, 1996.

J. F. Sowa, Conceptual structures: information processing in mind and machine, p.481, 1984.

, The Standish Group: The Chaos Report, 1995.

S. J. Scucanec and J. R. Van-gaasbeek, A day in the life of a verification requirement, 2008.

, TOGAF: The Open Group Architecture Framework: TOGAF version 9, vol.11, 2011.

A. Tolk, S. Y. Diallo, and C. D. Turnitsa, 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.

Y. Trinquet, 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.

B. Vallespir, Modélisation d'entreprise et architecture de conduite des systèmes de production, Habilitation à Diriger les Recherches, 2003.

R. Valerdi, A. M. Ross, and D. H. Rhodes, A Framework for Evolving System of, Systems Engineering. Crosstalk, vol.20, pp.28-30, 2007.

A. Van-deursen, P. Klint, and J. Visser, Domain-Specific Languages: An Annoted Bibliography, ACM SIGPLAN NOTICES, vol.35, pp.26-36, 2000.

F. B. Vernadat, Enterprise Integration Modeling and Integration : Principles and Applications, p.513, 1996.

A. Van-lamsweerde, A. Dardenne, B. Delcourt, and F. Dubisy, The KAOS project, Knowledge Acquisition in Automated Specification of Software, AAAI Spring Symposium Series, American Association for Artificial Intelligence, 1991.

B. Walker, C. S. Holling, S. R. Carpenter, and A. Kinzig, Resilience, adaptability and transformability in social-ecological systems, vol.9, 2004.

P. Wegner, Interoperability, ACM Computing Survey, vol.28, issue.1, pp.285-287, 1996.

A. Wyner, K. Angelov, G. Barzdins, D. Damljanovic, B. Davis et al., On Controlled Natural languages: Properties and Prospects, Workshop on Controlled Natural Language CNL2009, 2009.

E. Yahia, A. Aubry, and H. Panetto, 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.

S. Mallek, N. Daclin, V. S. Mallek, N. Daclin, V. Chapurlat et al., 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