, Understanding and using the meaning of statements in a bioontology: recasting the gene ontology in OWL, BMC Bioinformatics, vol.8, issue.1, pp.57-101, 2007.
DOI : 10.1186/1471-2105-8-57
, 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
, Learning regular sets from queries and counterexamples Canal. A formal approach to component adaptation, Information and Computation Journal of Systems and Software, vol.75, issue.741, pp.87-106, 1987.
, The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems
, The role of models@run.time in supporting on-the-fly interoperability, Computing, issue.3, pp.95167-190, 2013.
, Automated mediator synthesis: Combining behavioural and ontological reasoning
, The Description Logic Handbook, pp.44-157, 2003.
, A Software Engineering Approach based on WebML and BPMN to the Mediation Scenario of the SWS Challenge, Semantic Web Services Challenge: Results from the First Year, pp.51-70, 2008.
DOI : 10.1007/978-0-387-72496-6_4
, Toward open-world software: Issues and challenges, International Conference on Distributed Computing Systems, ICDCS, pp.36-43, 2006.
DOI : 10.1109/MC.2006.362
, Daml-s: Web service description for the semantic web, International Semantic Web Conference, ISWC, pp.348-363, 2002.
, Automated Synthesis of Mediators to Support Component Interoperability, IEEE Transactions on Software Engineering, vol.41, issue.3, p.15, 2013.
DOI : 10.1109/TSE.2014.2364844
URL : https://hal.archives-ouvertes.fr/hal-01076176
, Automatic service categorisation through machine learning in emergent middleware, Software Technologies Concertation on Formal Methods for Components and Objects, FMCO, pp.133-149, 2011.
, Machine learning for emergent REFERENCES middleware Achieving interoperability through semantics-based technologies: The instant messaging case, Proc. of the Joint workshop on Intelligent Methods for Software System Engineering 11th International Semantic Web Conference, ISWC, pp.15-17, 2012.
, The semantic web Implementing remote procedure calls Classifying software component interoperability errors to support component adaption, Proc. of the 7th International Symposium on Component-Based Software Engineering , CBSE, pp.28-37, 1984.
, Interoperability in complex distributed systems Automated composition of web services via planning in asynchronous domains, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems. Saadi, and V. Issarny. Inferring affordances using learning techniques . In International Workshop on Eternal Systems, pp.1-26, 2010.
, Automatic generation of network protocol gateways On communicating finite-state machines Zavattaro. Publish/subscribe vs. shared dataspace coordination infrastructures: Is it just a matter of taste?, Proc. of Middleware Proc. of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp.51-323, 1983.
, Distributed systems: concepts and design, Fifth Edition, p.104, 2012.
, Formal methods @ runtime Deriving a protocol converter: A top-down method Cimpian and A. Mocan. WSMX process mediation based on choreographies, 16th Monterey Workshop on Foundations of Computer Software. Modeling, Development , and Verification of Adaptive Systems Proc. of the Symposium on Communications Architectures & Protocols, SIGCOMM Proc. of Business Process Management Workshop, pp.122-135, 1989.
, Data sharing vs. message passing: synergy or incompatibility?, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.100-107, 2008.
DOI : 10.1145/1363686.1363714
, In-field healing of integration problems with COTS components, International Conference on Software Engineering, ICSE, pp.166-176, 2009.
, ITACA: An integrated toolbox for the automatic com- REFERENCES position and adaptation of web services Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments Formal methods: State of the art and future directions, Proc. of the International Conference on Software Engineering, ICSECon12] C. Consortium. Connect Deliverable D6, pp.627-630, 1996.
, Comparison of reasoners for large ontologies in the OWL 2 EL profile, Semantic Web, pp.71-87, 2011.
, Formal methods for future interoperability Where to publish and find ontologies? a survey of ontology libraries Ensuring interoperable serviceoriented systems through engineered self-healing Eliminating interchangeable values in constraint satisfaction problems Architectural mismatch or why it's hard to build systems out of existing parts, Proc. of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Proc. of the 6th International Conference on Service-Oriented Computing, ICSOC Proc. of the 9th National Conference on Artificial Intelligence, AAAI Proc. of the 17th International Conference on Software Engineering, ICSE REFERENCES [Gar10] D. Garlan. Software engineering in an uncertain world Proc. of the Workshop on Future of Software Engineering Research, pp.60-64, 1991.
, ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability, Proc. of the OTM Confederated International Conferences CoopIS/DOA/ODBASE, pp.1170-1187, 2003.
DOI : 10.1007/978-3-540-39964-3_75
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7696
, Sweetening ontologies with DOLCE, Proc. of the 13th International Conference on Knowledge Engineering and Knowledge Management, EKAW, pp.166-181, 2002.
, Middleware architecture for ambient intelligence in the networked home Reducing adapter synthesis to controller synthesis, Handbook of Ambient Intelligence and Smart Environments, pp.1139-1169, 2010.
, Linking social networks on the web with foaf: A semantic web case study A translation approach to portable ontology specifications, Proc. of the Twenty-Third AAAI Conference on Artificial Intelligence Encyclopedia of Database Systems, pp.1138-1143, 1993.
, A declarative approach using SAWSDL and semantic templates towards process REFERENCES mediation Helping people (and machines) understanding each other: The role of formal ontology, Semantic Web Services Challenge: Results from the First Year, pp.101-118, 2004.
, Composing distributed systems: Overcoming the interoperability challenge Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability Georgantas. A perspective on the future of middleware-based software engineering, Process algebra: A unifying approach 25 Years Communicating Sequential Processes SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems Proc. of the Workshop on the Future of Software Engineering, FOSE IEEE standard glossary of software engineering terminology, pp.26-217, 1990.
, Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), pp.3-12, 2013.
DOI : 10.1109/ICSE.2013.6606546
, Systematisation of Interoperability Body of Knowledge: the foundation for Enterprise Interoperability as a science, Enterprise Information Systems, vol.24, issue.2, pp.7-32, 2013.
DOI : 10.1109/TSMCA.2009.2027130
, The logic of ilog (j) configurator: Combining constraint programming with a description logic Text categorization with suport vector machines: Learning with many relevant features Reducibility among combinatorial problems, Proc. of IJCAI Workshop on Configuration Proc. of the 10th European Conference on Machine Learning, ECML Proc. of a Symposium on the Complexity of Computer Computations, pp.13-20, 1972.
, Using dynamic execution traces and program invariants to enhance behavioral model inference, Proc. of the 32nd International Conference on Software Engineering, ICSE Kubicek and R. Cimander. Three dimensions of organizational interoperability, pp.179-182, 2009.
, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.
, Service-oriented Mediation with jABC/jETI, Semantic Web Services Challenge: Results from the First Year, pp.71-99, 2008.
DOI : 10.1007/978-0-387-72496-6_5
, SAWSDL: Semantic Annotations for WSDL and XML Schema, IEEE Internet Computing, vol.11, issue.6, pp.60-67, 2007.
DOI : 10.1109/MIC.2007.134
, Constraints over ontologies, Proc. of the 9th International Conference on Principles and Practice of Constraint Programming, pp.878-882353, 1988.
, Interoperability of us and nato allied air forces: Supporting data and case studies, 2003.
, Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.501-510, 2008.
DOI : 10.1145/1368088.1368157
, Why Standards Are Not Enough to Guarantee End-to-End Interoperability, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp.164-173, 2008.
DOI : 10.1109/ICCBSS.2008.25
, Protocol verification via projections A behavioral notion of subtyping, IEEE Transactions Software Engineering ACM Transactions on Programming Languages and Systems, TOPLAS, vol.10, issue.46, pp.325-342, 1984.
, Bringing semantics to web services with OWL-S The role of middleware in architecture-based software development, Proc. if the World Wide Web conference, WWW'07 Enterprise Service Bus Proc. of the Free and open source Software conf. Yahoo! and microsoft bridge global instant messaging communities, 2010. online. 129 REFERENCES [MK06] J. Magee and J. Kramer. Concurrency : State models and Java programs, pp.243-277, 2003.
, System of systems interoperability (sosi): final report, 2004.
, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.107755-777, 2006.
DOI : 10.1145/1151695.1151698
, Next Generation LearnLib, Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, pp.220-223, 2011.
DOI : 10.1007/978-3-540-70889-6_7
URL : https://hal.archives-ouvertes.fr/hal-00647749
, Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001.
DOI : 10.1109/5254.920599
, Web Services Interoperability Specifications, Computer, vol.39, issue.5, pp.24-32, 2006.
DOI : 10.1109/MC.2006.181
, Semi-automated adaptation of service interactions, Proc. of the 16th International Conference on World Wide Web, WWW, pp.993-1002, 2007.
, Usability Engineering, p.129, 1993.
, Towards a standard upper ontology 149 REFERENCES Protocol-aware matching of web service interfaces for adapter development Semantic matching of web services capabilities, Proc. of the 2nd International Conference on Formal Ontology in Information Systems, FOIS Proc. of the 19th International Conference on World Wide Web, WWW Proc. of the First International Semantic Web Conference, ISWC, pp.2-9, 2001.
, Semantic Web Services Challenge: Results from the First Year, p.133, 2008.
DOI : 10.1007/978-0-387-72496-6
, From Internet Architecture Research to Standards, Future Internet Assembly, pp.68-80, 2012.
DOI : 10.1007/978-3-642-30241-1_7
, Knowledge representation in the semantic web for Earth and environmental terminology (SWEET), Computers & Geosciences, vol.31, issue.9, pp.311119-1125, 2005.
DOI : 10.1016/j.cageo.2004.12.004
, Handbook of constraint programming Analysis and verification of service interaction protocols a brief survey, Proc. of the 4th International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB, pp.81-75, 2006.
, A survey of schema-based matching approaches Deliverable d22.1: Interoperability concept A compositional formalization of connector wrappers, Proc. of the 25th International Conference on Software Engineering, ICSE Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status. In ICSE Workshop on Studies of Software Design, pp.146-171, 1993.
, Openii: an open source information integration toolkit, Proc. of the ACM SIGMOD International Conference on Management of Data, SIGMOD, pp.1057-1060, 2010.
, FlashMob, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.100-109, 1974.
DOI : 10.1145/1988008.1988023
, Distributed systems: principles and paradigms -Second Edition, Computer networks, p.104, 2006.
, Barriers to Enterprise Interoperability, Proc. of the 2nd International Workshop on Enterprise Interoperability, IWEI, pp.13-24, 2009.
DOI : 10.1007/978-3-642-04750-3_2
URL : https://hal.archives-ouvertes.fr/hal-00424786
, PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications, Proc. of the 9th International Conference on Reliable Software Technologies Reliable Software Technologies, Ada-Europe, pp.106-119, 2004.
DOI : 10.1007/978-3-540-24841-5_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.532.7236
, 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
, Mediation using WSMO, WSML and WSMX. In Semantic Web Services Challenge: Results from the First Year Mediators in the architecture of future information systems, IEEE Computer, vol.133, issue.253 5, pp.31-49, 1992.
DOI : 10.1007/978-0-387-72496-6_3
, 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
, Semantic Mediation Bus: An Ontology-based Runtime Infrastructure for Service Interoperability, 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops, pp.140-145
DOI : 10.1109/EDOCW.2012.27