A design model for open distributed processing systems
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Computer Networks: The International Journal of Computer and Telecommunications Networking
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Semantically driven service interoperability for pervasive computing
Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access
Current Solutions for Web Service Composition
IEEE Internet Computing
Methodological support for service-oriented design with ISDL
Proceedings of the 2nd international conference on Service oriented computing
Agent-oriented compositional approaches to services-based cross-organizational workflow
Decision Support Systems - Special issue: Web services and process management
Consistency and Interoperability Checking for Component Interaction Rules
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A conceptual framework for service modelling
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
A Method for Formal Verification of Service Interoperability
ICWS '06 Proceedings of the IEEE International Conference on Web Services
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Framework for Semantic Web Process Composition
International Journal of Electronic Commerce
On Interoperability and Conformance Assessment in Service Composition
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Classification of the state-of-the-art dynamic web services composition techniques
International Journal of Web and Grid Services
A survey on web services composition
International Journal of Web and Grid Services
Consistency in multi-viewpoint design of enterprise information systems
Information and Software Technology
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Speaking a common language: a conceptual model for describing service-oriented systems
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Hi-index | 0.00 |
A service composition process typically involves multiple service models. These models may represent the composite and composed services from distinct perspectives, e.g. to model the role of some system that is involved in a service, and at distinct abstraction levels, e.g. to model the goal, interface or orchestration of some service. The consistency among these models needs to be maintained in order to guarantee the correctness of the composition process. Two types of consistency relations are distinguished: interoperability, which concerns the ability of different roles to interoperate, and conformance, which concerns the correct implementation of an abstract model by a more concrete model. This paper gives an overview of the various types of models that may be used in service composition, and explains when interoperability and conformance need to be assessed during the composition process. The paper further focuses on techniques to describe and analyse the interoperability relation using concepts from the COSMO framework. The choice of COSMO allows one to address both interoperability and conformance within a single conceptual framework. For techniques to describe and analyse the conformance relation reference is made to earlier work. Examples are presented to illustrate how different types of models can be used during the service composition process and how interoperability and conformance among these models can be assessed.