O. Nierstrasz and T. D. Meijler, Research directions in software composition, ACM Computing Surveys, vol.27, issue.2, pp.262-264, 1995.
DOI : 10.1145/210376.210389

S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky et al., Towards an Engineering Approach to Component Adaptation, Lecture Notes in Computer Science, vol.28, pp.193-215, 2006.
DOI : 10.1145/242224.242420

C. Canal, J. M. Murillo, and P. Poizat, Coordination and Adaptation Techniques for Software Entities, Workshop Reader, ser. Lecture Notes in Computer Science, vol.3344, pp.133-147, 2004.
DOI : 10.1007/978-3-540-30554-5_13
URL : https://hal.archives-ouvertes.fr/hal-00342015

G. Agha, Special Issue on Adaptive Middleware, Communications of the ACM, vol.45, issue.6, pp.30-64, 2002.

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 1998.

A. Beugnard, J. Jézéquel, and N. Plouzeau, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801

J. Magee, J. Kramer, and D. Giannakopoulou, Behaviour Analysis of Software Architectures, Proc. of the 1st Working IFIP Conference on Software Architecture (WICSA1), pp.35-49, 1999.
DOI : 10.1007/978-0-387-35563-4_3

L. De-alfaro and T. A. Henzinger, Interface Automata, Proc. of the 8th European Software Engineering Conference held jointly with the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE'01, pp.109-120, 2001.

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1056-1076, 2002.
DOI : 10.1109/TSE.2002.1049404

C. Canal, L. Fuentes, E. Pimentel, J. M. Troya, and A. Vallecillo, Adding roles to CORBA objects, IEEE Transactions on Software Engineering, vol.29, issue.3, pp.242-260, 2003.
DOI : 10.1109/TSE.2003.1183935

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, Proc. of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), ser. Lecture Notes in Computer Science, pp.63-77, 2006.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), ser. Electronic Notes in Theoretical Computer Science, 2007.
DOI : 10.1016/j.entcs.2008.06.020

K. Scribner, Microsoft Windows Workflow Foundation: Step by Step, 2007.

R. Milner, Communication and Concurrency, ser. International Series in Computer Science, 1994.

A. Arnold, Finite Transition Systems, ser. International Series in Computer Science, 1994.

H. Garavel, R. Mateescu, F. Lang, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of 19th International Conference on Computer Aided Verification (CAV'07), ser. Lecture Notes in Computer Science, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

S. Haddad and P. Poizat, Transactional Reduction of Component Compositions, Proc. of the 27th IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE'07), pp.341-357, 2007.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342086

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

S. Uchitel, J. Kramer, and J. Magee, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering, vol.29, issue.2, pp.99-115, 2003.
DOI : 10.1109/TSE.2003.1178048

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.
DOI : 10.1109/5.24143

C. Rackoff, The covering and boundedness problems for vector addition systems, Theoretical Computer Science, vol.6, issue.2, pp.223-231, 1978.
DOI : 10.1016/0304-3975(78)90036-1

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

M. Wermelinger, A. Lopes, and J. L. Fiadeiro, A Graph Based Architectural (Re)configuration Language, Proc. of the 8th European Software Engineering Conference held jointly with the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE'01, pp.20-32, 2001.

S. Dustdar and W. Schreiner, A survey on web services composition, International Journal of Web and Grid Services, vol.1, issue.1, pp.1-30, 2005.
DOI : 10.1504/IJWGS.2005.007545

D. Lea and J. Marlowe, Interface-Based Protocol Specification of Open Systems using PSL, Proc. of the 9th European Conference Object-Oriented Programming (ECOOP'95), pp.374-398, 1995.
DOI : 10.1007/3-540-49538-X_18

B. Spitznagel and D. Garlan, A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., pp.374-384, 2003.
DOI : 10.1109/ICSE.2003.1201216

H. Foster, S. Uchitel, J. Maggee, and J. Kramer, Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.152-163, 2003.
DOI : 10.1109/ASE.2003.1240303

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of the 4th International Conference on Service Oriented Computing (ICSOC'06), ser, pp.27-39, 2006.
DOI : 10.1007/11948148_3

H. R. Motahari-nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.993-1002, 2007.
DOI : 10.1145/1242572.1242706

P. Inverardi, M. Tivoli, and C. Applications, Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, pp.173-183, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), pp.784-787, 2007.
DOI : 10.1109/ICSE.2007.84

M. Tivoli, P. Fradet, A. Girault, and G. Goessler, Adaptor Synthesis for Real-Rime Components, Proc. of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), ser. Lecture Notes in Computer Science, pp.185-200, 2007.

L. De-alfaro and M. Stoelinga, Interfaces: A Game-Theoretic Framework to Reason about Open-Systems, Proc. of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'03), ser. Electronic Notes in Theoretical Computer Science, pp.3-23, 2004.

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

A. Brogi, C. Canal, and E. Pimentel, Component adaptation through flexible subservicing, Science of Computer Programming, vol.63, issue.1, pp.39-56, 2006.
DOI : 10.1016/j.scico.2005.07.012

H. W. Schmidt and R. H. Reussner, Generating Adapters for Concurrent Component Protocol Synchronization, Proc. of the 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02, pp.213-229, 2002.

H. Min, S. Choi, and S. Kim, Using Smart Connectors to Resolve Partial Matching Problems in COTS Component Acquisition, Proc. of 7th International Symposium on Component-Based Software Engineering (CBSE'04), ser. Lecture Notes in Computer Science, pp.40-47, 2004.
DOI : 10.1007/978-3-540-24774-6_5

B. Benatallah, F. Casati, D. Grigori, H. R. Motahari-nezhad, and F. Toumani, Developing Adapters for Web Services Integration, Proc. of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), ser. Lecture Notes in Computer Science, pp.415-429, 2005.
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695

R. H. Reussner, Automatic component protocol adaptation with the CoConut/J tool suite, Future Generation Computer Systems, vol.19, issue.5, pp.627-639, 2003.
DOI : 10.1016/S0167-739X(02)00173-5

M. Dumas, K. W. Wang, and M. L. Spork, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proc. of the 4th International Conference on Business Process Management (BPM'06), ser. Lecture Notes in Computer Science
DOI : 10.1007/11841760_6

J. Cubo, G. Salaün, J. Cámara, C. Canal, and E. Pimentel, Context-Based Adaptation of Component Behavioural Interfaces, Proc. of the 9th Conference on Coordination Models and Languages (Coordination'07), ser. Lecture Notes in Computer Science
DOI : 10.1007/978-3-540-72794-1_17

R. J. Back, Incremental Software Construction with Refinement Diagrams, Turku Center for Computer Science, 2005.

P. Poizat and G. Salaün, Adaptation of Open Component-Based Systems, Proc. of the 9th IFIP International Conference on, pp.141-156, 2007.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342160

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and Reasoning on Web Services using Process Algebra, Proc. of the IEEE International Conference on Web Services, pp.43-51, 2004.

H. Foster, S. Uchitel, and J. Kramer, LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006.
DOI : 10.1145/1134285.1134408

O. Maréchal, P. Poizat, and J. Royer, Checking Asynchronously Communicating Components Using Symbolic Transition Systems, Proc. of the International Symposium on Distributed Objects and Applications ser. Lecture Notes in Computer Science, pp.1502-1519, 2004.
DOI : 10.1007/978-3-540-30469-2_42

C. Attiogbé, P. Poizat, and G. Salaün, A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes, IEEE Transactions on Software Engineering, vol.33, issue.3, pp.157-170, 2007.
DOI : 10.1109/TSE.2007.21

P. Poizat, G. Salaün, and M. Tivoli, An Adaptation-based Approach to Incrementally Build Component Systems, Proc. of the 3rd International Workshop on Formal Aspects of Component Software (FACS'06), ser. Electronic Notes in Theoretical Computer Science, pp.155-170, 2007.
DOI : 10.1016/j.entcs.2006.09.037
URL : https://hal.archives-ouvertes.fr/hal-00342162

J. Cámara, G. Salaün, and C. Canal, Clint: A Composition Language Interpreter, Proc. of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08, 2008.

S. B. Mokhtar, N. Georgantas, and V. Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, Special Issue on ICPS'06, pp.1941-1955, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

M. Burnett, C. Cook, and G. , End-user software engineering, Communications of the ACM, vol.47, issue.9, pp.53-58, 2004.
DOI : 10.1145/1015864.1015889
URL : https://hal.archives-ouvertes.fr/hal-01405092

X. Liu, G. Huang, and H. Mei, Towards End User Service Composition, 31st Annual International Computer Software and Applications Conference, Vol. 1- (COMPSAC 2007), pp.676-678, 2007.
DOI : 10.1109/COMPSAC.2007.222

P. Pdf and !. Room, SUB:userid? 200 PDA:credentials? PDA:query? PDA:shutdown? 220 ROOM:list? ROOM:leave! PDA:shutdown? ROOM:leave! SUB:userid? 197 ROOM:enter! SUB:bill? 178 ROOM:enter! SUB:guestmode! ROOM:leave! PDA:invoice! 190 SUB:exit! ROOM:leave

!. Sub:-payinfo and . Room, ROOM:leave! PDA:invoice! SUB:userid? PDA:invoice! SUB:userid? ROOM:list?SUB:usermode! SUB:auth? ROOM:list? SUB:userid? ROOM:list? PDA:login? SUB:guestmode! SUB:usermode! PDA:login? 70 SUB:userid? PDA:ticket! ROOM:enter! SUB:usermode! ROOM:enter! SUB:userid? ROOM:list? SUB:userid? ROOM:list? SUB:payinfo! PDA:shutdown? ROOM:leave! SUB:userid? SUB:guestmode! SUB:usermode! ROOM:enter! PDA:login? 9 SUB:guestmode! PDA:query? PDA:shutdown?