P. A1-christine-choppy, J. Poizat, and . Royer, The Korrigan Environment, Journal of Universal Computer Science (J.UCS), vol.7, issue.1, pp.19-36, 2001.

, Book Chapters

P. Poizat and T. Vergnaud, Distributed Systems: (vol. 2) Models and Analysis, chapter 5 -Architecture Description Languages, 2011.

P. Poizat, Software Specification Methods: an Overview Using a Case Study, 2006.

M. Frappier, H. Habrias, and P. Poizat, Software Specification Methods: an Overview Using a Case Study, Comparison of the Specification Methods. ISTE, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00458174

H. Habrias, P. Poizat, and M. Frappier, Software Specification Methods: an Overview Using a Case Study, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00458174

P. Poizat and T. Vergnaud, Méthodes formelles pour les systèmes répartis et coopératifs, chapter 5 -Langages de description d'architecture, Hermes, 2006.

P. Poizat, SDL: a Language based on Extended Finite State Machines with Abstract Data Types. Formal Approaches to Computing and Information Technology (FACIT), Conference and Workshop Proceedings, 2000.

P. Poizat and G. Salaün, Checking the Realizability of BPMN 2.0 Choreographies, Proceedings of the ACM Symposium on Applied Computing (SAC 12), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00685393

P. Huu-nghia-nguyen, F. Poizat, and . Zaïdi, Passive Conformance Testing of Service Choreographies, Proceedings of the ACM Symposium on Applied Computing

L. Ip31, P. Bentakouk, F. Poizat, and . Zaïdi, Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver, Proceedings of the International Conference On Test and Proofs, vol.6706, pp.33-50, 2011.

P. Poizat and Y. Yan, Adaptive Composition of Conversational Services through Graph Planning Encoding, Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol.6416, pp.35-50, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01221701

Y. Yan, P. Poizat, and L. Zhao, Repairs vs. Recomposition for Broken Service Compositions, Proceedings of the International Conference on Service Oriented Computing (ICSOC 10), vol.6470, p.15, 2010.

P. Ip28-yuhong-yan, L. Poizat, and . Zhao, Self-Adaptive Service Composition through Graphplan Repair, Proceedings of the IEEE International Conference on Web Services (ICWS 10), pp.624-627, 2010.

Y. Yan, P. Poizat, and L. Zhao, Repairing Service Compositions in a Changing World, selected papers from the 8th ACIS conference on Software Engineering Research, Management & Applications (SERA 10), vol.296, p.14, 2010.

L. Ip26, P. Bentakouk, F. Poizat, and . Zaïdi, A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems, Proceedings of the 21th IFIP International Conference on Testing of Communicating Systems (TESTCOM'09), vol.5826, p.35, 2009.

P. Ip25-radu-mateescu, G. Poizat, and . Salaün, Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques, Proceedings of the International Conference on Service Oriented Computing, vol.5364, p.21, 2008.

P. Ip24-sandrine-beauche and . Poizat, Automated Service Composition with Adaptive Planning, Proceedings of the International Conference on Service Oriented Computing (ICSOC 08), vol.5364, p.34, 2008.

P. Ip23-tarek-melliti, S. B. Poizat, and . Mokhtar, Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services, Proceedings of the International Conference on Fundamental Approaches to Software Engineering, vol.4961, p.26, 2008.

G. Ip22-javier-cubo, C. Salaün, E. Canal, P. Pimentel, and . Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'07), vol.215, pp.39-55, 2008.

P. Ip21-radu-mateescu, G. Poizat, and . Salaün, Behavioral Adaptation of Component Compositions based on Process Algebra Encodings, Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), pp.385-388

I. Acm, , p.24, 2007.

G. Ip20-javier-cubo, C. Salaün, E. Canal, P. Pimentel, and . Poizat, Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0, Proceedings of the Twelfth International Workshop on Component-Oriented Programming (WCOP'07), pp.9-13, 2008.

S. Haddad and P. Poizat, Transactional Reduction of Component Compositions, Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), vol.4574, p.33, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00342086

P. Ip18, G. Poizat, and . Salaün, Adaptation of Open Component-based Systems, Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), vol.4468, p.38, 2007.

G. Ip17-pascal-poizat, M. Salaün, and . Tivoli, An Adaptation-based Approach to Incrementally Build Component Systems, Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), vol.182, p.62, 2006.

G. Ip16-pascal-poizat, J. Salaün, and . Royer, Bounded Analysis and Decomposition for Behavioural Descriptions of Components, Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), vol.4037, p.31, 2006.

P. Ip15-carlos-canal, G. Poizat, and . Salaün, Synchronizing Behavioural Mismatch in Software Composition, Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), vol.4037, p.31, 2006.

J. Ip14-sebastian-pavel, P. Noyé, J. Poizat, A. Royer, and . Java, Component Model with Explicit Symbolic Protocols In Proceedings of the International Workshop on Software Composition (SC'05), vol.3628, p.32, 2006.

G. Ip13, P. Salaün, and . Poizat, Interacting Extended State Diagrams, Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL'04), vol.115, p.66, 2005.

P. Ip12-olivier-maréchal, J. Poizat, and . Royer, Checking Asynchronously Communicating Components using Symbolic Transition Systems, Proceedings of Distributed Objects and Applications. On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences (DOA'04), vol.3291, p.25, 2004.

F. Ip11-marc-aiguier, P. Barbier, and . Poizat, A Logic with Temporal Glue for Mixed Specifications, Proceedings of the International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'03), vol.97, pp.155-174, 2004.

P. Ip10-christian-attiogbé, G. Poizat, and . Salaün, Specification of a Gas Station using a Formalism integrating Formal Datatypes within State Diagrams, Proceedings of the International Conference on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'03), 2003.

P. Ip9-christian-attiogbé, G. Poizat, and . Salaün, Integration of Formal Datatypes within State Diagrams, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE'03), vol.2621, p.22, 2003.

C. Ip8-michel-allemand, P. Attiogbé, J. Poizat, G. Royer, and . Salaün, SHE'S Project: a Report of Joint Works on the Integration of Formal Specification Techniques, Proceedings of the International Workshop on Integration of Specification Techniques with Applications in Engineering (INT'02, 2002.

P. Ip7-christine-choppy, J. Poizat, and . Royer, Formal Specification of Mixed Components with Korrigan, Proceedings of the Asia-Pacific Software Engineering Conference (APSEC'01), p.30, 2001.

P. Ip6-christine-choppy, J. Poizat, and . Royer, Specification of Mixed Systems in Korrigan with the Support of an UML-Inspired Graphical Notation, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE'01), vol.2029, p.30, 2001.

P. Ip5-christine-choppy, J. Poizat, and . Royer, A Global Semantics for Views, Proceedings of the International Conference on Algebraic Methodology And Software Technology (AMAST'00), vol.1816, p.55, 2000.

P. Ip4-christine-choppy, J. Poizat, and . Royer, Integration and Composition of Static and Dynamic "Views": Unifying Approach to Complex System Specification, Proceedings of the Workshop on Integration of Specification Techniques with Applications in Engineering (INT'00), pp.12-20, 2000.

C. Ip3-pascal-poizat, J. Choppy, and . Royer, From Informal Requirements to COOP: A Concurrent Automata Approach, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM'99), vol.1709, p.36, 1999.

H. Ip2, P. Habrias, J. Poizat, and . Lafaye, A Study of Collaborative Work: Answers to a Test on Formal Specification in B, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM'99), vol.709, pp.1856-1857, 1999.

C. Ip1-pascal-poizat, J. Choppy, and . Royer, selection rate: 49% from the papers selected for the workshop Others S3 Yuhong Yan, Pascal Poizat and Min Chen, Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'98), vol.1589, pp.276-291, 1999.

P. Poizat and P. Zerva, Distributed Service Composition with Event Structures

P. S1-rania-khefifi, F. Poizat, and . Saïs, PI2M: a Flexible and Contextual Personal Information Management System

, PhD in Computer Science (mention "très honorable") KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes (KORRIGAN: a formalism and a method for the structured formal specification of mixed systems) defended on, I did a mobility between my PhD and my associate professor position. During, vol.13, 1997.

, Computer Science (ranked 1st, mention "bien") Applications de la réécriture de termes aux modèlesà objets (Applications of term rewriting to object models) prepared at the University of Nantes, Research Master, 1995.

, Master (1st year) in Computer Science (mention "assez bien, 1994.

, Licence in Computer Science (mention "assez bien, 1993.

S. Baccalauréat and . Camus, Impact of Research on Teaching Since 2001, but for two years while being on-the-move at INRIA, I have been doing teaching at different levels (Licence, Master) and for both professional-oriented students and research-oriented ones. My research activities have an important impact on my teaching ones. Courses on design methods and languages such as Merise or the UML, are now usual in most software engineering cursus. Basing on my experience in relating formal methods and software engineering, I had the occasion to introduce some flavor of automated verification in courses on object-oriented design and the on design and development of distributed applications, in the first and second year of Master, 1990.

, ? member of the documentary commission, 2006.

, ? member of the Web commission, LaMI/IBISC lab, 2001.

, ? webmaster of the LaMI/IBISC lab, 2004.

, Research Activities Editions of Journal Special Issues ? co-editor of the special issue "Coordination and Adaptation Techniques, L'Objet, vol.12, issue.1, 2006.

, Software Adaptation, Journal of Universal Computer Science (J.UCS, vol.14, issue.13, 2008.

, FOCLASA 2007 workshop Science of Computer Programming, vol.76, 2011.

, FOCLASA 2008 workshop Science of Computer Programming, vol.76, 2011.

, Lecture Boards for Journal Special Issues ? reviewer, 2008.

, ? reviewer (since 2005, 5 issues) for the special issues on the FOCLASA workshop Science of Computer Programming

, ? reviewer (since 2005, 2 issues) for the special issues on the FSEN conference Fundamenta Informaticae

?. Reviewer, for the special issue, Architectures Logicielles" L'Objet, 2008.

?. Reviewer, for the special issue "Components, Services and Aspects: Techniques and Tools for Verification" L'Objet, 2008.

, ? without being in the lecture board, I regularly make reviewers for regular issues of journal articles (Computer Languages, Systems & Structures, IEEE Transactions on Automatic Control

, Organization and Program Committees ? co-president of the PC, co-organizer, and PC member, the International Workshop on Coordination and Adaptation Techniques, 2004.

, the International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA, at CONCUR and then at ICALP, 2006.

?. Pc-member, the CSI International Symposium on Computer Science and Software Engineering, 2011.

?. Pc-member, the IEEE International Conference on e-Business Engineering, ICEBE (ECORE 2010 rank B), 2008.

?. Pc-member, the International Conference on Software and Data Technologies, ICSOFT (ECORE 2010 rank B), 2009.

?. Pc-member, the IEEE International Conference on Web Services, ICWS (ECORE 2010 rank A), 2011.

?. Pc-member, the Doctoral Symposium of the International Conference on Service-Oriented Computing, 2011.

?. Pc-member, Conférence nationale sur les Architectures Logicielles (National Conference on Software Architectures), 2006.

, ? also PC member of international workshops, 2005.

, Expertise ? evaluation for a national research-enterprise PhD grant (CIFRE), 2011.

, JCJC SIMI2 2011 call, 2011.

, ? half-period evaluation of a project for the French National Agency for Research (ANR), ARPEGE 2008 call, 2010.

, ARPEGE 2010 call, 2010.

, ? evaluation of a project for the Dutch Organization for Scientific Research (Nederlandse Organisatie voor Wetenschappelijk Onderzoek, NWO), 2010.

, ? evaluation of a project for the Dutch Organization for Scientific Research (Nederlandse Organisatie voor Wetenschappelijk Onderzoek, NWO), 2008.

, PhD Boards ? European thesis reviewer for the PhD of Javier Cubo Vilalba, DAMASCO -Discovery, Adaptation and Monitoring of Context-Aware Services and Components, ? evaluation of a project for the State-Region Contractual Plan, 2007.

, Enfoque integrado para el modelado, emparejamiento y composición sensible al contexto de servicios semánticos, basado en precondiciones y effectos, orientado a entornos inteligentes (Framework for the context-aware modelling, discovery, and composition of semantic services, based on preconditions and effects, 2010.

?. Examiner-for-the-phd-of and J. C. Moreno, Run-Time Behavioural Adaptation of Components and Services, 2009.

, Evaluación de atributos de calidad en líneas de productos software de forma efectiva en costes (Efficient evaluation of quality attributes for software product lines, 2008.

, Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software (Titan: a framework for the study of aspect integration in software systems, ? examiner for the PhD of MiguelÁngel Pérez Toledano, 2008.

, Working Groups and Collaborations Since 2011 I co-direct with R. Rouvoy (LIFL and INRIA) the COSMAL (Components, Objects, Services: Models, Architectures and Languages) working group of the CNRS GPL (Software Engineering) national research group (GDR)

?. Vasy,

, COSMAL working group (member of the board, co-direction since 2011) -this working group is made up of teams in laboratories from all over France

?. Mefosyloma, Formal Methods for Software and Hardware Systems) working group -this working group is made up of teams in laboratories in the Paris metropolitan area

, Spain ; GDR ALP / AFADL and OCM working groups ; GDR I3 / OCM-SI working group ; GDR Programmation / ELO working group

U. Lina, . De-nantes, ;. France, U. Lipn, and . Paris,

?. P. Poizat, Model-Based Software Adaptation. Introduction and Contributions. (several versions) -invited seminar, ADAM project-team, 2010.

-. Laas/lri-meeting, U. Lri, and . Paris-sud, , 2009.

?. P. Poizat, Testing Web Service Orchestrations. -invited seminar/doctoral lecture, 2009.

?. P. Poizat, Model-based Software Adaptation. Open Systems & Semantics. -invited seminar/doctoral lecture, 2007.

?. P. Poizat, Adaptation Logicielle. (several versions) -invited seminar, 2006.

, ACI FIACRE project meeting, ENST, 2006.

?. P. Poizat, Extension of Behaviours with Formal Datatypes. -invited seminar, 2005.

, Besides, I have been invited to make a tutorial on the use of script languages at a physics colloquium

?. P. Poizat, Shell Scripting for Scientific Programming : the Python example. International Workshop on Computing for Heavy Ion Physics, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00342155

, The slides of these tutorials and seminars are available online

?. Projects, . Pimi--co-writer, . Inria/merlin, . Irit/lilac, S. It et al., ) goals: framework for the design and deployment of Personal Information spacesdefinition of PI models and PI usage, data integration and automatic composition of e-services, p.36, 2010.

?. Leader-type, ) goals: service composition in pervasive computing -study, analysis and elaboration of a tool-equipped approach for the composition and adaptation of services, taking into account the different interface description levels (signature, protocols, quality of service, semantics) ; monitoring and runtime recomposition of service compositions, 2007.

?. Cre-so-; and I. Saclay, ) goals: multi-protocol auction marketplaces -application of service-oriented architectures to auction protocols and Web service choreography adaptation ? RNRT STACS -co-writer and member type: National Network for Telecommunication Research partners: Thales Communications (leader), MP)2 -member type: externalized research contract, France Télécom R&D partners: LIP6 (leader), IBISC, FT R&D period: 8 months, 2003.

L. Bentakouk, , 2007.

, Test symbolique de services Web composites (Symbolic Testing of Composite Web Services) advisory: 40% (direction: M.-C. Gaudel, 20%, co-advisor: F. Zaïdi, 40%) I am co-advising this PhD since my arrival at LRI, 2008.

. Huu-nghia-nguyen, , 2010.

, Approche de coordination distribuéeà base de test et de diagnostic (Distributed Coordination Approach based on Test and Diagnosis) advisory: 50% (direction: F. Zaïdi, 50%)

R. Khefifi, Model-based Techniques for Automatic PIMS Construction advisory: 50% (direction: P. Poizat, 50%, co-advisor: F. Saïs, 50%) I have obtained a derogation to direct this PhD without habilitation, 2010.

, 20%) Paraskevi has been selected for a PhD in Germany and another one in Ireland, Master Research Internships Paraskevi Zerva 2010 / Automatic Mashup Composition for Sensor Data advisory: 80%

S. Beauche, Adaptation de services en informatique diffuse (Service Adaptation for Pervasive Computing) advisory: 50% (co-advisor: S. Ben Mokhtar (INRIA), 50%) Sandrine is an engineer within the ARLES project-team at INRIA, 2007.

O. E. Gares, Etude d'architectures de composants hétérogènes (Heterogeneous Component Architectures) advisory, p.100, 2004.

A. Sedkaoui,

G. /-implantation-d'un-modèleà-composants-en-java-;-agha, 20%) Redouane Layadi 2003 / Analyse d'architectures de composants (Component Architecture Analysis) advisory: 50% (co-advisor: P. Le Gall (U. Evry), 50%) [Agha, Communications of the ACM, vol.45, issue.6, p.35, 2002.

A. , G. Allen, R. J. Garlan, and D. , A Formal Basis for Architectural Connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, p.30, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00444067

[. Alur, Inference of Message Sequence Charts, vol.29, issue.7, p.61, 2003.

[. Alur, Realizability and Verification of MSC Graphs, Theoretical Computer Science, vol.331, issue.1, p.61, 2005.

H. R. Andersen, Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, 1994.

. Andrés, Passive Testing of Web Services, Proc. of WS-FM'10, p.60, 2010.

A. Arnold, Finite Transition Systems -Semantics of Communicating Systems, vol.24, p.39, 1994.

[. Autili, SYNTHE-SIS: A Tool for Automatically Assembling Correct and Distributed Component-based Systems, Proc. of ICSE'07, p.34, 2007.

[. Autili, Synthesis of decentralized and concurrent adaptors for correctly assembling distributed componentbased systems, Journal of Systems and Software, vol.81, issue.12, p.61, 2008.

J. C. Baeten, A brief history of process algebra, Theor. Comput. Sci, vol.335, issue.2-3, pp.131-146, 2005.

[. Balsamo, Model-based performance prediction in software development: A survey, IEEE Trans. Software Eng, vol.30, issue.5, pp.295-310, 2004.

[. Barnett, Specification and Verification: The Spec# Experience, Communications of the ACM, vol.54, issue.6, pp.81-91, 2011.

[. Barros, Behavioural models for distributed Fractal components, Annales des Télécommunications, vol.64, issue.1-2, p.7, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02904822

B. Basu, S. Basu, and T. Bultan, Choreography conformance via synchronizability, Proc. of WWW'11, vol.12, p.70, 2011.

[. Becker, Towards an Engineering Approach to Component Adaptation, Architecting Systems with Trustworthy Components, vol.3938, pp.193-215, 2006.

[. Beckman, Proofs from tests, IEEE Trans. Software Eng, vol.36, issue.4, pp.495-508, 2010.

. Ben-mokhtar, COCOA: COnversation-based Service Composition in PervAsive Computing Environments with QoS Support, Journal of Systems and Software, vol.80, issue.12, p.37, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00415927

[. Benatallah, Developing adapters for web services integration, CAiSE, vol.34, pp.415-429, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00130695

[. Benatallah, On automating web services discovery, VLDB J, vol.14, issue.1, p.14, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01586362

[. Benigni, Discovering Service Compositions that Feature a Desired Behaviour, Proc. of ICSOC'07, p.37, 2007.

[. Berardi, Synthesis of Underspecified Composite e-Services based on Automated Reasoning, Proc. of ICSOC, p.37, 2004.

[. Bernardo, Performance Evaluation of Complex Systems: Techniques and Tools, volume 2459 of Lecture Notes in Computer Science, chapter Stochastic process algebra: From an algebraic formalism to an architectural description lamguage, pp.236-260, 2002.

I. Bernardo, M. Bernardo, and P. Inverardi, Formal Methods for Software Architectures, Lecture Notes in Computer Science, vol.2804, p.11, 2003.

I. Bernardo, M. Bernardo, and V. Issarny, Formal Methods for Eternal Networked Software Systems -11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, vol.6659, p.20, 2011.

[. Bertoli, Automated composition of web services via planning in asynchronous domains, Artificial Intelligence, vol.174, issue.3-4, p.37, 2010.

[. Bertolino, Automatic synthesis of behavior protocols for composable web-services, Proc. of ESEC/FSE 2009, pp.141-150, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00415421

F. Blum, A. L. Blum, and M. L. Furst, Fast Planning through Planning Graph Analysis, Artificial Intelligence Journal, vol.90, issue.1-2, p.70, 1997.

[. Bonet, Directed unfolding of petri nets. T. Petri Nets and Other Models of Concurrency, vol.1, pp.172-198, 2008.

C. Boudol, G. Boudol, and I. Castellani, Permutation of Transitions: An Event Structure Semantics for CCS and SCCS, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, vol.354, p.28, 1989.

[. Boudol, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, vol.5065, pp.757-777, 2008.

. Boutrous-saab, An integrated framework for web services orchestration, Int. J. Web Service Res, vol.6, issue.4, pp.1-29, 2009.

[. Bozkurt, Testing Web Services: A Survey, p.59, 2010.

[. Bracciali, A Formal Approach to Component Adaptation, Journal of Systems and Software, vol.74, issue.1, p.35, 2005.

[. Bravetti, Adaptable processes (extended abstract), FMOODS/FORTE, vol.35, pp.90-105, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01583325

[. Brogi, Behavioural Types and Component Adaptation, Proc. of AMAST'04, vol.3116, p.35, 2004.

[. Brogi, Component Adaptation Through Flexible Subservicing, Science of Computer Programming, vol.63, issue.1, pp.39-56, 2006.

[. Brogi, A. Corfini-;-brogi, and S. Corfini, Behaviour-aware discovery of web service compositions, Int. J. Web Service Res, vol.4, issue.3, pp.1-25, 2007.

[. Brogi, Automated Discovery of Compositions of Services Described with Separate Ontologies, Proc. of ICSOC'06, vol.34, p.50, 2006.

A. Brogi and R. Popescu, Towards Semi-automated Workflow-based Aggregation of Web Services, Proc. of ICSOC, p.37, 2005.

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of ICSOC'06, vol.4294, pp.27-39, 2006.

A. Brogi and R. Popescu, Service Adaptation through Trace Inspection, Int. Journal of Business Process Integration and Management, vol.2, issue.1, pp.9-16, 2007.

[. Bucchiarone, Testing service composition, 8th Argentine Symposium on Software Engineering (ASSE'07), 2007.

. Bultan, T. Fu-;-bultan, and X. Fu, Specification of Realizable Service Conversations using Collaboration Diagrams. Service Oriented Computing and Applications, vol.2, p.61, 2008.

[. Busi, Choreography and orchestration conformance for system design, Proc. of Coordination'06, vol.12, p.61, 2006.

[. Cabot, UMLtoCSP: a Tool for the Formal Verification of UML/OCL Models using Constraint Programming, Proc. of ASE, p.65, 2007.

[. Cámara, ITACA: An integrated toolbox for the automatic composition and adaptation of Web services, ICSE, vol.36, pp.627-630, 2009.

[. Cámara, Composition and Run-time Adaptation of Mismatching Behavioural Interfaces, Journal of Universal Computer Science, vol.14, issue.13, pp.2182-2211, 2008.

[. Cámara, Interactive Specification and Verification of Behavioural Adaptation Contracts, Proc. of QSIC'09, p.44, 2009.

, Software Adaptation. L'Objet, vol.12, p.33, 2006.

G. Canfora and M. D. Penta, Service-oriented architectures testing: A survey, ISSSE'08, vol.59, pp.78-105, 2009.

[. Carbone, Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, vol.4421, p.61, 2007.

[. Cavallaro, An automatic approach to enable replacement of conversational services, Proc. of IC-SOC/ServiceWave, vol.34, pp.159-174, 2009.

[. Chafle, Orchestrating Composite Web Services Under Data Flow Constraints, Proc. of ICWS'05, vol.34, p.61, 2005.

[. Champelovier, Reference Manual of the LOTOS NT to LOTOS Translator, p.68, 2010.

[. Chan, Survey and comparison of planning techniques for web service composition, p.37, 2007.

E. Chanthery and Y. Pencolé, Principles of selfmaintenance in an on-board architecture including active diagnosis, Proc. of the IJCAI-09 Workshop on Self-* and Autonomous Systems: reasoning and integration challenges (SAS'09, p.77, 2009.

[. Cheng, Software engineering for self-adaptive systems: A research road map, Software Engineering for Self-Adaptive Systems, vol.5525, pp.1-26, 2008.

[. Combemale, Essay on Semantics Definition in MDE -An Instrumented Approach for Model Verification, vol.4, pp.943-958, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00371553

[. Constantinescu, Service Composition with Directories, Proc. of SC, p.37, 2006.

[. Cubo, Context-based adaptation of component behavioural interfaces, COORDINATION, vol.35, pp.305-323, 2007.

[. Cubo, , 2007.

, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS'07, vol.215, p.48

N. Dahl, O. Dahl, K. Nygaard, L. M. De-moura, and N. Björner, SIMULA -an ALGOLbased simulation language, Proc. of TACAS'08, vol.9, pp.337-340, 1966.

[. Decker, An Introduction to Service Choreographies, Information Technology, vol.50, issue.2, pp.122-127, 2008.

F. Deremer and H. H. Kron, Programming-in-the-Large Versus Programming-in-the-Small, IEEE Trans. Software Eng, vol.2, issue.2, pp.80-86, 1976.

[. Dumas, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proc. of BPM'06, vol.4102, pp.65-80, 2006.

S. Dustdar and W. Schreiner, A survey on web services composition, International Journal of Web and Grid Services, vol.1, issue.1, 2005.

[. Haddad, TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition, IEEE T. Services Computing, vol.3, issue.1, p.14, 2010.

[. Haddad, State of the art: languages for services interface description and for services composition, p.10, 2009.

S. Endo, A. T. Endo, and A. S. Simao, A systematic review on formal testing approaches for web services, 4th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), vol.59, pp.89-98, 2010.

[. Esparza, Learning workflow petri nets, Petri Nets, vol.77, pp.206-225, 2010.

[. Esparza, An improvement of mcmillan's unfolding algorithm, Formal Methods in System Design, vol.20, issue.3, pp.285-310, 2002.

[. Fiadeiro, A Formal Approach to Service Component Architecture, Proceedings of Web Services and Formal Methods (WSFM'07), vol.4184, pp.193-213, 2006.

[. Filman, Aspect-Oriented Software Development, 2005.

[. Foster, An Integrated Workbench for Model-Based Engineering of Service Compositions, IEEE T. Services Computing, vol.3, issue.2, p.60, 2010.

[. Frantzen, On-The-Fly Model-Based Testing of Web Services with Jambition, Proc. of WS-FM, vol.5387, 2009.

[. Frantzen, A Symbolic Framework for Model-Based Testing, Proc. of FATES/RV, vol.4262, 2006.

[. Fu, Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services, Theoretical Computer Science, vol.328, issue.1-2, p.61, 2004.

[. Gaston, Symbolic Execution Techniques for Test Purpose Definition, Proc. of TESTCOM, vol.3964, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342082

M. Gaudel, Checking models, proving programs, and testing systems, TAP'2011, pp.1-13, 2011.

[. Ghallab, Automated Planning: Theory and Practice, p.29, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01982019

[. Gierds, Reducing adapter synthesis to controller synthesis, IEEE Transactions on Services Computing, vol.34, p.37, 2010.

. [gowri-nanda, Decentralizing Execution of Composite Web Services, Proc. of OOPSLA'04, vol.34, p.61, 2004.

[. Grigori, Behavioral matchmaking for service retrieval: Application to conversation protocols, Inf. Syst, vol.33, issue.7-8, p.35, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00324539

[. Hacid, Les web services sémantiques, automate et intégration i. introduction,éléments et scénarios, découverte de services web, vol.28, p.14, 2009.

. Haddad, A dense time semantics for Web services specifications languages, Proc. of ICTTA'04, p.24, 2004.

. Haddad, Modelling Web Services Interoperability, Proc. of ICEIS'04, vol.36, p.51, 2004.

. Hayman, J. Hayman, and G. Winskel, The unfolding of general petri nets, FSTTCS'08, vol.77, pp.223-234, 2008.

D. Hemer, A formal approach to component adaptation and composition, ACSC, vol.35, p.77, 2005.

L. ;. Hennessy, M. Hennessy, and H. Lin, Symbolic bisimulations, Theor. Comput. Sci, vol.138, issue.2, pp.353-389, 1995.

[. Hickmott, Planning via petri net unfolding, IJCAI, vol.77, pp.1904-1911, 2007.

U. Hopcroft, J. E. Hopcroft, and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, p.40, 1979.

[. Inverardi, Synthesis of Correct and Distributed Adaptors for Component-based Systems: an Automatic Approach, Proc. of ASE'05, vol.34, p.61, 2005.

[. Inverardi, Applicationlayer connector synthesis, SFM, vol.33, p.35, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00620465

T. Inverardi, P. Inverardi, and M. Tivoli, Deadlock Free Software Architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, p.49, 2003.

T. Inverardi, P. Inverardi, and M. Tivoli, A reuse-based approach to the correct and automatic composition of web-services, ESSPE, vol.34, p.37, 2007.

, LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard, vol.8807, p.45, 1989.

[. Jeannet, Symbolic Test Selection based on Approximate Analysis, Proc. of TACAS, vol.3440, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00564617

[. Jensen, Coloured petri nets and cpn tools for modelling and validation of concurrent systems, STTT, vol.9, issue.3-4, pp.213-254, 2007.

B. Jonsson, Learning of automata models extended with data, SFM'11, vol.77, pp.327-349, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00647576

R. Kazhamiakin and M. Pistore, Analysis of Realizability Conditions for Web Service Choreographies, Proc. of FORTE'06, vol.76, pp.61-76, 2006.

[. Khurshid, Generalized Symbolic Execution for Model Checking and Testing, Proc. of TACAS, vol.2619, 2003.

B. Kiepuszewski, Expressiveness and Suitability of Languages for Control Flow Modelling in Workflow, vol.11, p.55, 2003.

P. Kindler, E. Kindler, and L. Petrucci, Towards a Standard for Modular Petri Nets: A Formalisation, Proc. of Applications and Theory of Petri Nets (ATPN'09), vol.29, pp.43-62, 2009.

J. C. King, Symbolic Execution and Program Testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.

[. Klush, Semantic Web Service Composition Planning with OWLS-Xplan, Proc. of the AAAI Fall Symposium on Agents and the Semantic Web, vol.37, 2005.

[. Kordon, From model driven engineering to verification driven engineering, SEUS, vol.21, p.22, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01304953

D. Kozen, Results on the propositional µ-calculus, Theoretical Computer Science, vol.27, pp.333-354, 1983.

[. Li, Conformance Validation between Choreography and Orchestration, Proc. of TASE'07, vol.14, p.61, 2007.

[. Liu, Modeling Web Services using Semantic Graph Transformation to Aid Automatic Composition, Proc. of ICWS, p.37, 2007.

. Lohmann, N. Wolf-;-lohmann, and K. Wolf, Realizability Is Controllability, Proc. of WS-FM'09, vol.6194, p.61, 2010.

[. Marconi, A. Marconi, and M. Pistore, Synthesis and Composition of Web Services, Proc. of the 9th International School on Formal Methods for the Design of Computer, Communications and Software Systems: Web Services (SFM'09), vol.15, p.62, 2009.

. Martín, J. A. Pimentel-;-martín, and E. Pimentel, Automatic Generation of Adaptation Contracts, Proc. of FOCLASA'08, vol.229, pp.115-131, 2009.

R. Mateescu, Caesar solve: A generic library for on-the-fly resolution of alternation-free boolean equation systems, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.8, issue.1, pp.37-56, 1947.
URL : https://hal.archives-ouvertes.fr/inria-00084628

R. Mateescu, R. Mateescu, and S. Rampacek, Formal Modeling and Discrete-Time Analysis of BPEL Web Services, Advances in Enterprise Engineering I, vol.10, pp.179-193, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00319100

[. Mayer, A Model-Driven Approach to Service Orchestration, Proceedings of the 2008 IEEE International Conference on Services Computing, vol.2, p.11, 2008.

T. ;. Medvidovic, N. Medvidovic, and R. R. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, vol.26, pp.70-93, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00444077

D. Mens, T. Mens, and S. Demeyer, Software Evolution, p.17, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00160620

B. Meyer, B. Morel, and P. Alexander, Object-oriented software construction. Prentice Hall. 2 [Morel and Alexander, IEEE Trans. Software Eng, vol.30, issue.9, p.77, 1997.

[. Moser, Non-Intrusive Monitoring and Service Adaptation for WS-BPEL, Proc. of WWW, vol.35, pp.815-824, 2008.

. Motahari-nezhad, Semi-Automated Adaptation of Service Interactions, Proc. of WWW'07, vol.34, pp.993-1002, 2007.

. Motahari-nezhad, Protocol-aware matching of web service interfaces for adapter development, Proc. of WWW'10, vol.34, pp.731-740, 2010.

[. Musaraj, Message Correlation and Web Service Protocol Mining from Inaccurate Logs, Proc. of ICWS'10, vol.6, p.77, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01381551

, Web Services Business Process Execution Language Version 2, vol.10, p.11, 2007.

, Unified Modeling Language: Superstructure -Version 2, 2005.

, Business Process Model and Notation (BPMN) -Version 2, vol.61, p.76, 2011.

S. Open, Service Component Architecture Home, Open SOA, 2007.

[. Ouederni, Measuring the compatibility of service interaction protocols, SAC'11, vol.35, pp.1560-1567, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00650529

, Oxford Dictionaries Online, 2010.

L. Padovani, Contract-Based Discovery and Adaptation of Web Services, Proc. of the 9th International School on Formal Methods for the Design of Computer, Communications and Software Systems: Web Services (SFM'09), vol.5569, p.35, 2009.

G. A. Papadopoulos and F. Arbab, Coordination models and languages, Advances in Computers, vol.46, issue.3, pp.330-401, 1998.

M. P. Papazoglou and D. Georgakopoulos, Introduction to the special issue on Service-Oriented Computing, vol.46, issue.10, pp.24-28, 2003.

M. P. Papazoglou and W. Van-den-heuvel, Service oriented architectures: approaches, technologies and research issues, VLDB J, vol.16, issue.3, pp.389-415, 2007.

D. L. Parnas, On the Criteria to be Used in Decomposing Systems into Modules, Communications of the ACM, vol.15, issue.2, pp.1053-1058, 1972.

J. Peer, Web Service Composition as AI Planning -a Survey, p.37, 2005.

[. Pelliccione, An architectural approach to the correct and automatic assembly of evolving componentbased systems, Journal of Systems and Software, vol.81, issue.12, pp.2237-2251, 2008.

F. Plá?il and S. Visnovsky, Behavior Protocols for Software Components, vol.28, p.7, 2002.

[. Pohl, Software Product Line Engineering. Foundations, Principles and Techniques, vol.2, p.17, 2005.

P. Poizat and J. Royer, A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic, Journal of Universal Computer Science, vol.12, issue.12, p.26, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342156

[. Qiu, Towards the Theoretical Foundation of Choreography, Proc. of WWW'07, vol.12, p.66, 2007.

P. J. Ramadge and W. M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE, vol.77, pp.81-98, 1989.

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, Proc. of SWSWPC, p.37, 2004.

W. Reisig, Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, vol.4, p.29, 1985.

W. Reisig, Simple Composition of Nets, Proc. of Applications and Theory of Petri Nets (ATPN'09), vol.29, pp.23-42, 2009.

R. H. Reussner, Automatic Component Protocol Adaptation with the CoConut/J Tool Suite, Future Generation Computer Systems, vol.19, issue.1, pp.627-639, 2003.

N. Roohi and G. Salaün, Realizability and Dynamic Reconfiguration of Chor Specifications, Informatica, vol.35, issue.1, p.60, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00538959

[. Rusli, A comparative evaluation of state-of-the-art web service composition testing approaches, 6th IEEE/ACM International Workshop on Automation of Software Test (AST 2011), workshop at ICSE, vol.59, p.60, 2011.

G. Salaün and T. Bultan, Realizability of Choreographies using Process Algebra Encodings, Proc. of IFM'09, p.61, 2009.

H. W. Schmidt and R. H. Reussner, Generating Adapters for Concurrent Component Protocol Synchronization, Proc. of FMOODS'02, vol.34, pp.213-229, 2002.

. Seguel, An Overview on Protocol Adaptors for Service Component Integration, BETA Working Paper Series WP, vol.265, p.62, 2008.

. Seguel, Generating minimal protocol adaptors for loosely coupled services, International Conference on Web Services, vol.34, pp.417-424, 2010.

[. Shan, Towards integrated service adaptation. a new approach combining message and control flow adaptation, ICWS, vol.34, pp.385-392, 2010.

A. Sinha and A. M. Paradkar, Model-based functional conformance testing of web services operating on persistent data, TAV-WEB, vol.60, pp.17-22, 2006.

[. Steffen, Introduction to active automata learning from a practical perspective, SFM'11, vol.6, p.77, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00647729

C. Szyperski, Component Software: Beyond Object-Oriented Programming, vol.2, p.3, 1998.

[. Taher, Diagnosing Incompatibilities in Web Service Interactions for Automatic Generation of Adapters, Proc. of AINA'09, p.35, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00953846

. Ter-beek, Formal Methods for Service Composition, Annals of Mathematics, Computing & Teleinformatics, vol.1, issue.5, p.63, 2007.

[. Tivoli, Adaptor synthesis for real-time components, TACAS, vol.35, pp.185-200, 2007.

[. Tivoli, M. Inverardi-;-tivoli, and P. Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, vol.71, issue.3, pp.181-212, 2008.

[. Toörmä, Semantic Web Services -A Survey, 2008.

[. Uchitel, Synthesis of Behavioural Models from Scenarios, vol.29, p.64, 2003.

[. Uchitel, Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios, ACM Transactions on Software Engineering and Methodology, vol.13, issue.1, p.61, 2004.

[. Vallecillo, New issues in object interoperability, Object-Oriented Technology, vol.1964, pp.256-269, 2000.

[. Vallecillo, Typing the Behavior of Objects and Component Using Session Types, Electr. Notes Theor. Comput. Sci, vol.68, issue.3, p.35, 2003.

W. M. Van-der-aalst, Pi Calculus Versus Petri Nets. Let us eat "humble pie" rather than further inflate the "Pi hype, Process Mining -Discovery, Conformance and Enhancement of Business Processes, vol.3, p.77, 2005.

A. Van-der, Service Interaction: Patterns, Formalization, and Analysis, Proc. of Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM'2009), vol.5569, p.37, 2009.

A. Van-der, Handbook of Process Algebra, chapter The linear time -branching time spectrum I, vol.14, p.25, 2001.

M. Y. Vardi, Branching vs. linear time: Final showdown, Proc. of TACAS'01, vol.24, pp.1-22, 2001.

, Web Services Description Language (WSDL) 1.1. W3C, p.3, 2001.

, Web Service Choreography Description Language, p.3, 2004.

, Semantic annotations for wsdl and xml schema (sawsdl), vol.50, p.71, 2007.

[. Wang, The Service Adaptation Machine, Proc. of ECOWS'08, p.35, 2008.

G. Winskel, Event Structures, Advances in Petri Nets, vol.255, p.29, 1986.
URL : https://hal.archives-ouvertes.fr/hal-00148921

W. M. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.

[. Xiong, A Petri Net Approach to Analysis and Composition of Web Services, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.40, issue.2, p.37, 2010.

[. Yan, Bpel4ws unit testing: Test case generation using a concurrent path analysis approach, ISSRE, vol.60, pp.75-84, 2006.

D. M. Yellin and R. E. Strom, Protocol Specifications and Components Adaptors, ACM Trans. on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.

[. Zeng, Qos-aware middleware for web services composition, IEEE Trans. Software Eng, vol.30, issue.5, p.14, 2004.

Y. ;. Zheng, X. Zheng, and Y. Yan, An efficient syntactic web service composition algorithm based on the planning graph model, ICWS, vol.37, pp.691-699, 2008.

[. Zheng, An Automatic Test Case Generation Framework for Web Services, Journal of Software, vol.2, issue.3, pp.64-77, 2007.

[. Zhou, Automatically Testing Web Services Choreography with Assertions, Proc. of ICFEM'10, p.60, 2010.