A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, 1997. ,
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067
AmbiStream: A Middleware for Multimedia Streaming on Heterogeneous Mobile Devices, Proc. of Middleware, pp.249-268, 2011. ,
DOI : 10.1007/978-3-642-25821-3_13
URL : https://hal.archives-ouvertes.fr/hal-00639633
Understanding and using the meaning of statements in a bio-ontology: recasting the gene ontology in OWL, BMC Bioinformatics, vol.8, issue.1, p.57, 2007. ,
DOI : 10.1186/1471-2105-8-57
The Description Logic Handbook, 2003. ,
DOI : 10.1017/CBO9780511711787
The role of models@run .time in supporting on-the-fly interoperability, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00733338
Machine Learning for Emergent Middleware, Proc. of the Joint workshop on Intelligent Methods for Soft. System Eng, 2012. ,
DOI : 10.1007/978-3-642-45260-4_2
URL : https://hal.archives-ouvertes.fr/hal-00722051
Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case, 11th International Semantic Web Conference, 2012. ,
DOI : 10.1007/978-3-642-35173-0_2
URL : https://hal.archives-ouvertes.fr/hal-00721280
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp.244-254, 2010. ,
DOI : 10.1109/SEFM.2010.37
Interoperability in Complex Distributed Systems, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems, 2011. ,
DOI : 10.1007/978-3-642-21455-4_1
URL : https://hal.archives-ouvertes.fr/inria-00629057
The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems, Proc. of Middleware, 2011. ,
DOI : 10.1007/978-3-642-25821-3_21
URL : https://hal.archives-ouvertes.fr/inria-00629059
FROM TYPE SYSTEMS TO KNOWLEDGE REPRESENTATION: NATURAL SEMANTICS SPECIFICATIONS FOR DESCRIPTION LOGICS, International Journal of Cooperative Information Systems, vol.01, issue.01, pp.93-126, 1992. ,
DOI : 10.1142/S0218215792000052
Solutions to middleware heterogeneity in open networked environment, 2006. ,
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols, 2011 31st International Conference on Distributed Computing Systems, 2011. ,
DOI : 10.1109/ICDCS.2011.65
URL : https://hal.archives-ouvertes.fr/inria-00594307
Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, Proc. of Middleware, pp.390-409, 2011. ,
DOI : 10.1007/978-3-642-25821-3_20
URL : https://hal.archives-ouvertes.fr/hal-00643601
INDISS: Interoperable Discovery System for Networked Services, Proc. of Middleware, 2005. ,
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571
Automatic Generation of Network Protocol Gateways, Proc. of Middleware, 2009. ,
DOI : 10.1007/978-3-642-10445-9_2
URL : https://hal.archives-ouvertes.fr/hal-00405911
Ontologies for Software Engineering and Software Technology, 2006. ,
DOI : 10.1007/3-540-34518-3
Deriving a protocol converter: A top-down method, Proc. of the Symposium on Communications Architectures & Protocols, pp.247-258, 1989. ,
An Automatic Approach to Enable Replacement of Conversational Services, Proc. of the 7th International Joint Conference on Service-Oriented Computing, p.ServiceWave, 2009. ,
DOI : 10.1007/978-3-642-10383-4_11
WSMX Process Mediation Based on Choreographies, Proc. of Business Process Management Workshop, 2005. ,
DOI : 10.1007/11678564_12
Distributed systems: concepts and design, Fifth Edition, 2012. ,
Where to publish and find ontologies? a survey of ontology libraries, J. Web Sem, vol.11, pp.96-111, 2012. ,
From semantic web to expressive software specifications, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006. ,
DOI : 10.1145/1134285.1134507
Architectural mismatch or why it's hard to build systems out of existing parts, Proceedings of the 17th international conference on Software engineering , ICSE '95, 1995. ,
DOI : 10.1145/225014.225031
A Coordination Middleware for Orchestrating Heterogeneous Distributed Systems, 6th International Conference on Advances in Grid and Pervasive Computing, pp.221-232, 2011. ,
DOI : 10.1109/CISIS.2010.178
Linking social networks on the web with foaf: A semantic web case study, In: AAAI. pp, pp.1138-1143, 2008. ,
Helping People (and Machines) Understanding Each Other: The Role of Formal Ontology, p.599, 2004. ,
DOI : 10.1007/978-3-540-30468-5_38
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems, 2011. ,
DOI : 10.1007/978-3-642-21455-4_7
URL : https://hal.archives-ouvertes.fr/inria-00586630
Systems of systems engineering: principles and applications, 2008. ,
DOI : 10.1201/9781420065893
Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976. ,
DOI : 10.1145/360248.360251
Protocol conversion, IEEE Transactions on Software Engineering, vol.14, issue.3, 1988. ,
DOI : 10.1109/32.4655
Concurrency : State models and Java programs, Hoboken (N.J, p.Wiley, 2006. ,
Bringing Semantics to Web Services with OWL-S, Proc. if the World Wide Web conference, WWW'07, pp.243-277, 2007. ,
DOI : 10.1007/s11280-007-0033-x
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE Trans. Software Eng, vol.1, issue.2, pp.755-777, 2012. ,
DOI : 10.1504/IJBPIM.2006.010025
URL : https://hal.archives-ouvertes.fr/inria-00341598
Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001. ,
DOI : 10.1109/5254.920599
Enterprise Service Bus, Proc. of the Free and open source soft. conf, 2007. ,
COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, vol.80, issue.12, pp.1941-1955, 2007. ,
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927
Efficient Semantic Service Discovery in Pervasive Computing Environments, p.Middleware, 2006. ,
DOI : 10.1007/11751113_10
URL : https://hal.archives-ouvertes.fr/inria-00415115
Exploiting ADLs to specify architectural styles induced by middleware infrastructures, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999. ,
DOI : 10.1145/302405.302406
Semantic Matching of Web Services Capabilities, International Semantic Web Conference, 2002. ,
DOI : 10.1007/3-540-48005-6_26
Knowledge representation in the semantic web for Earth and environmental terminology (SWEET), Computers & Geosciences, vol.31, issue.9, pp.1119-1125, 2005. ,
DOI : 10.1016/j.cageo.2004.12.004
The Semantic Web Revisited, IEEE Intelligent Systems, vol.21, issue.3, pp.96-101, 2006. ,
DOI : 10.1109/MIS.2006.62
Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status, ICSE Workshop on Studies of Software Design, pp.17-32, 1993. ,
DOI : 10.1007/BFb0030517
A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., 2003. ,
DOI : 10.1109/ICSE.2003.1201216
Distributed systems: principles and paradigms - Second Edition, 2006. ,
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
Architecting the internet of things, 2011. ,
DOI : 10.1007/978-3-642-19157-2
The process mediation framework for semantic web services, International Journal of Agent-Oriented Software Engineering, vol.3, issue.1, pp.27-58, 2009. ,
DOI : 10.1504/IJAOSE.2009.022945
Interoperation, mediation, and ontologies, Proc. of the Fifth International Symposium on Generation Computer Systems Workshop on Heterogeneous Cooperative Knowledge-Bases, pp.33-48, 1994. ,
Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, 1997. ,
DOI : 10.1145/244795.244801