Towards an Engineering Approach to Component Adaptation, Architecting Systems with Trustworthy Components, ser. LNCS, pp.193-215, 2006. ,
DOI : 10.1145/242224.242420
Software Adaptation, L'objet, vol.12, issue.1, pp.9-31, 2006. ,
DOI : 10.3166/objet.12.1.9-31
URL : https://hal.archives-ouvertes.fr/hal-00342014
An Overview on Protocol Adaptors for Service Component Integration, BETA Working Paper Series WP, vol.277, 2009. ,
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
Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, vol.71, issue.3, pp.181-212, 2008. ,
DOI : 10.1016/j.scico.2008.03.001
URL : http://doi.org/10.1016/j.scico.2008.03.001
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
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proc. of BPM'06, ser. LNCS, pp.65-80, 2006. ,
DOI : 10.1007/11841760_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.460
Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008. ,
DOI : 10.1109/TSE.2008.31
Synthesis and Composition of Web Services, Proc. of Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication , and Software Systems (SFM'2009), ser, pp.89-157, 2009. ,
DOI : 10.1007/978-3-642-01918-0_3
Automated composition of Web services via planning in asynchronous domains, Artificial Intelligence, vol.174, issue.3-4, pp.316-361, 2010. ,
DOI : 10.1016/j.artint.2009.12.002
Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1056-1076, 2002. ,
DOI : 10.1109/TSE.2002.1049404
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9185
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, ser. LNCS, pp.372-387, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
Automatic Generation of Adaptation Contracts, Proc. of FOCLASA'08, ser. ENTCS, pp.115-131, 2009. ,
DOI : 10.1016/j.entcs.2009.06.032
Interactive Specification and Verification of Behavioural Adaptation Contracts, Proc. of QSIC'09, pp.65-75, 2009. ,
Formal Methods for Service Composition, Annals of Mathematics, Computing & Teleinformatics, vol.1, issue.5, pp.1-10, 2007. ,
Testing Service Composition, Proc. of ASSE'07, 2007. ,
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
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006. ,
DOI : 10.1145/1134285.1134408
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS'07, ser. ENTCS, pp.39-55, 2007. ,
DOI : 10.1016/j.entcs.2008.06.020
Automatic synthesis of behavior protocols for composable web-services, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.141-150, 2009. ,
DOI : 10.1145/1595696.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421
Symbolic bisimulations, Theoretical Computer Science, vol.138, issue.2, pp.353-389, 1995. ,
DOI : 10.1016/0304-3975(94)00172-F
URL : http://doi.org/10.1016/0304-3975(94)00172-f
A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic, Journal of Universal Computer Science, vol.12, issue.12, pp.1741-1782, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00342156
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
Checking Protocol Compatibility using Maude, Proc. of FOCLASA'09 ,
DOI : 10.1016/j.entcs.2009.10.025
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems, Proc. of TESTCOM'09, ser. LNCS, pp.16-32, 2009. ,
DOI : 10.4304/jsw.2.3.64-77
A Framework for Dynamic Service Discovery, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.158-167, 2008. ,
DOI : 10.1109/ASE.2008.26
Communicating Sequential Processes LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO, International Standard 8807, 1985. ,
Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1988. ,
DOI : 10.1016/0169-7552(87)90085-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.7443
Synchronizing Behavioural Mismatch in Software Composition, Proc. of FMOODS'06, ser. LNCS, pp.63-77, 2006. ,
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979. ,
DOI : 10.1016/0022-0000(79)90046-1
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755
Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, pp.3-30, 1994. ,
DOI : 10.1016/0304-3975(94)90266-6
URL : http://doi.org/10.1016/0304-3975(94)90266-6
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
A linear-time model-checking algorithm for the alternation-free modal mu-calculus, Formal Methods in System Design, pp.121-147, 1993. ,
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006. ,
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628
OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proc. of TACAS'98, ser, pp.68-84, 1998. ,
DOI : 10.1007/BFb0054165
URL : http://hal.archives-ouvertes.fr/docs/00/07/33/37/PDF/RR-3352.pdf
SVL: A Scripting Language for Compositional Verification, Proc. FORTE'01, pp.377-392, 2001. ,
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
Decentralizing Execution of Composite Web Services, Proc. of OOPSLA'04, 2004. ,
DOI : 10.1145/1035292.1028991
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6392
Orchestrating composite Web services under data flow constraints, IEEE International Conference on Web Services (ICWS'05), 2005. ,
DOI : 10.1109/ICWS.2005.88
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems, Proc. of SEFM, pp.2210-2236, 2008. ,
DOI : 10.1016/j.jss.2008.04.006
Testing Web Services: A Survey, 2010. ,
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
Automated Generation of BPEL Adapters, Proc. of ICSOC'06, ser. LNCS, pp.27-39, 2006. ,
DOI : 10.1007/11948148_3
The Greybox Approach: When Blackbox Specifications Hide Too Much, Turku Center for Computer Science, 1999. ,
How Dark Should a Component Black-box Be? The Reuseware Answer, Proc. of the 12th International Workshop on Component-Oriented Programming (WCOP'07), 2007. ,
On Interfaces, Synchronization , Pragmatics, and Responsibilities, Proc. of the 12th International Workshop on Component-Oriented Programming, 2007. ,
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), pp.42-88, 2009. ,
DOI : 10.1007/978-3-642-01918-0_2
Diagnosing Incompatibilities in Web Service Interactions for Automatic Generation of Adapters Composition and Run-time Adaptation of Mismatching Behavioural Interfaces, Proc. of AINA'09, pp.652-659, 2008. ,
The Service Adaptation Machine, 2008 Sixth European Conference on Web Services, pp.145-154, 2008. ,
DOI : 10.1109/ECOWS.2008.23
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
Non-intrusive monitoring and service adaptation for WS-BPEL, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.815-824, 2008. ,
DOI : 10.1145/1367497.1367607
Protocol-Aware Matching of Web Service Interfaces for Adapter Development, Proc. of WWW'10, pp.731-740, 2010. ,
Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007. ,
DOI : 10.1109/ICSE.2007.50
On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987. ,
DOI : 10.1137/0325036
The control of discrete event systems, Proc. of the IEEE, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Typing the Behavior of Objects and Components using Session Types, Electronic Notes in Theoretical Computer Science, vol.68, issue.3, 2003. ,
DOI : 10.1016/S1571-0661(05)80382-2
Behavioural Types and Component Adaptation, Proc. of AMAST'04, ser. LNCS, pp.42-56, 2004. ,
DOI : 10.1007/978-3-540-27815-3_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5376
Contract-Based Discovery and Adaptation of Web Services, Proc. of SFM'09, ser, pp.213-260, 2009. ,
DOI : 10.1007/978-3-642-01918-0_6
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques, Proc. of ICSOC'08, ser. LNCS, pp.84-99, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00341598