A Pattern Language: Towns, Buildings, Construction, 1977. ,
Partial model checking, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, p.398, 1995. ,
DOI : 10.1109/LICS.1995.523274
Architectural Patterns Revisited -a Pattern Language, Proceedings of the 10th European Conference on Pattern Languages of Programs, 2005. ,
The Description Logic Handbook, 2003. ,
DOI : 10.1017/CBO9780511711787
Edit automata: Enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.4, issue.12, pp.2-16, 2005. ,
EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support, Journal of Systems and Software, vol.81, issue.5, pp.785-808, 2008. ,
DOI : 10.1016/j.jss.2007.07.030
URL : https://hal.archives-ouvertes.fr/inria-00415930
Developing Adapters for Web Services Integration, proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE), pp.415-429, 2005. ,
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695
Towards an Architecture for Runtime Interoperability, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010. ,
DOI : 10.1007/978-3-642-16561-0_23
URL : https://hal.archives-ouvertes.fr/inria-00512446
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring, ISoLA 2010, Part II, pp.251-262, 2010. ,
DOI : 10.1007/978-3-642-16561-0_26
URL : https://hal.archives-ouvertes.fr/inria-00536763
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
Service-Oriented Computing, Computer, vol.39, issue.3, pp.99-101, 2006. ,
DOI : 10.1109/MC.2006.102
Modal logics and mu-calculi: an introduction. Handbook of Process Algebra, 2001. ,
INDISS: Interoperable Discovery System for Networked Services, Middleware '05: Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware, pp.164-183, 2005. ,
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571
INDISS: Interoperable Discovery System for Networked Services, Middleware, pp.164-183, 2005. ,
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571
Model checking and fault tolerance, AMAST '97: Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology, pp.45-59, 1997. ,
DOI : 10.1007/BFb0000462
Pattern-Oriented Software Architecture, 1996. ,
Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications, vol.8, issue.1, pp.127-142, 1990. ,
DOI : 10.1109/49.46852
C++ Programming Style, 1992. ,
An Automatic Approach to Enable Replacement of Conversational Services, ICSOC/ServiceWave, 2009. ,
DOI : 10.1007/978-3-642-10383-4_11
Code Generation from UML Models with Semantic Variation Points, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, pp.54-68, 2005. ,
DOI : 10.1007/11557432_5
URL : https://hal.archives-ouvertes.fr/hal-00795105
WSMX Process Mediation Based on Choreographies, Business Process Management Workshops, pp.130-143, 2005. ,
DOI : 10.1007/11678564_12
Ensuring interoperable service-oriented systems through engineered self-healing, 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, 2009. ,
DOI : 10.1145/1595696.1595734
Doing hard time: developing real-time systems with UML, objects, frameworks , and patterns, 1999. ,
Putting OWL in order: Patterns for sequences in OWL, OWLED, p.9699, 2006. ,
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Business Process Management, pp.65-80, 2006. ,
DOI : 10.1007/11841760_6
Temporal and Modal Logic, pp.995-1072, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50021-4
Ontology matching, 2007. ,
DOI : 10.1007/978-3-642-38721-0
URL : https://hal.archives-ouvertes.fr/hal-00918122
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006. ,
DOI : 10.1145/1134285.1134408
Design Patterns: Elements of Resusable Object-Oriented Software, 1995. ,
ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability, CoopIS/DOA/ODBASE, pp.1170-1187, 2003. ,
DOI : 10.1007/978-3-540-39964-3_75
Algebraic Theory of Processes, 1988. ,
On handling data in automata learning -considerations from the connect perspective, ISoLA (2), pp.221-235, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00647734
Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005. ,
DOI : 10.1109/MIC.2005.21
A Theory of Mediators for Eternal Connectors, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010. ,
DOI : 10.1007/978-3-642-16561-0_25
URL : https://hal.archives-ouvertes.fr/inria-00512443
Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches, 2008 The 3rd International Conference on Grid and Pervasive Computing, Workshops, pp.3-8, 2008. ,
DOI : 10.1109/GPC.WORKSHOPS.2008.21
Peled. Model Checking, 1999. ,
Ontology mapping: the state of the art, The Knowledge Engineering Review, vol.18, issue.1, pp.1-31, 2003. ,
DOI : 10.1017/S0269888903000651
Ontology mapping: the state of the art, Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings Schloss Dagstuhl, 2005. ,
DOI : 10.1017/S0269888903000651
Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976. ,
DOI : 10.1145/360248.360251
A discrete event systems approach for protocol conversion, 1997. ,
Correction to 'Protocol conversion', IEEE Transactions on Software Engineering, vol.14, issue.9, p.1376, 1988. ,
DOI : 10.1109/32.6181
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), pp.137-146, 2008. ,
DOI : 10.1109/WICSA.2008.13
A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994. ,
DOI : 10.1145/197320.197383
Formal Methods for the Analysis of Open Systems with Applications to Security Properties, CONNECT, vol.231167, p.9799, 1998. ,
Analysis of security protocols as open systems, Theoretical Computer Science, vol.290, issue.1, pp.1057-1106, 2003. ,
DOI : 10.1016/S0304-3975(02)00596-0
A framework for automatic generation of security controller, Software Testing, Verification and Reliability, vol.303, issue.1-2, pp.13-2010 ,
DOI : 10.1002/stvr.441
URL : https://hal.archives-ouvertes.fr/inria-00536752
Through Modeling to Synthesis of Security Automata, Electronic Notes in Theoretical Computer Science, vol.179, pp.31-46, 2007. ,
DOI : 10.1016/j.entcs.2006.08.029
Communication and Concurrency, 1989. ,
GOTO Removal Based on Regular Expressions, Journal of Software Maintenance: Research and Practice, vol.9, issue.1, pp.47-66, 1997. ,
DOI : 10.1002/(SICI)1096-908X(199701)9:1<47::AID-SMR142>3.0.CO;2-V
Semiautomated adaptation of service interactions, WWW '07: Proceedings of the 16th international conference on World Wide Web, pp.993-1002, 2007. ,
Protocol-aware matching of web service interfaces for adapter development, Proceedings of the 19th international conference on World wide web, WWW '10, pp.731-740, 2010. ,
DOI : 10.1145/1772690.1772765
A Bridging Framework for Universal Interoperability in Pervasive Systems, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), p.3, 2006. ,
DOI : 10.1109/ICDCS.2006.5
Guest Editors' Introduction: Realizing Service-Centric Software Systems, IEEE Software, vol.24, issue.6, pp.28-30, 2007. ,
DOI : 10.1109/MS.2007.166
Semantic integration, ACM SIGMOD Record, vol.33, issue.4, pp.65-70, 2004. ,
DOI : 10.1145/1041410.1041421
Semantic integration, ACM SIGMOD Record, vol.33, issue.4, 2004. ,
DOI : 10.1145/1041410.1041421
A formal protocol conversion method, SIGCOMM, pp.30-37, 1986. ,
COM/CORBA interworking specification Part A & B, 1997. ,
Van der Aalst. From BPMN Process Models to BPEL Web Services, Proceedings of the 5th International Conference on Web Services (ICWS'06), pp.285-292, 2006. ,
State Action Mapper, Proceedings of the 4th Conference on Pattern Languages of Programming, 1997. ,
Semantic Matching of Web Services Capabilities, ISWC, 2002. ,
DOI : 10.1007/3-540-48005-6_26
Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003. ,
DOI : 10.1109/MC.2003.1236471
Interoperability Among Independently Evolving Web Services, Proc. ACM/IFIP/USENIX Middleware Conference, pp.331-351, 2004. ,
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840
The Theory and Practice of Concurrency, 1997. ,
Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000. ,
DOI : 10.1145/353323.353382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853
Mediating Connector Patterns for Components Interoperability, ECSA, pp.335-343, 2010. ,
DOI : 10.1007/11678564_12
URL : https://hal.archives-ouvertes.fr/inria-00512435
Towards a formalization of mediating connectors for on the fly interoperability, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.345-348, 2009. ,
DOI : 10.1109/WICSA.2009.5290664
URL : https://hal.archives-ouvertes.fr/inria-00404308
A Semantic Web Mediation Architecture, Proceedings of the 1st Canadian Semantic Web Working Symposium, 2006. ,
DOI : 10.1007/978-0-387-34347-1_2
An automata theoretic procedure for the propositional µ-calculus. Information and Computation, pp.249-264, 1989. ,
Knowledge engineering: Principles and methods, Data & Knowledge Engineering, vol.25, issue.1-2, pp.161-197, 1998. ,
DOI : 10.1016/S0169-023X(97)00056-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.1007
Software architecture, 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, 2009. ,
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077
An Agent for Asymmetric Process Mediation in Open Environments, Lecture Notes in Computer Science, vol.5006, pp.104-117 ,
DOI : 10.1007/978-3-540-79968-9_9
Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), pp.1032-1039, 2007. ,
DOI : 10.1109/ICWS.2007.177
On the Implementation of Finite State Machines, Proceedings of the 3rd Annual International Conference on Software Engineering and Applications (IASTED/SEA 99, 1999. ,
A Complete Deductive System for the mu-Calculus, BRICS Report Series, vol.2, issue.6, 1993. ,
DOI : 10.7146/brics.v2i6.19508
Protocol Mediation for Adaptation in Semantic Web Services, ESWC, pp.635-649, 2006. ,
DOI : 10.1007/11762256_46
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
Service discovery in pervasive computing environments, IEEE Pervasive Computing, vol.4, issue.4, pp.81-90, 2005. ,