Abstract
The paper studies the validation aspects of service composition, in particular the goal-based aspects. By service composition we are targeting the automated composition of service components that fit certain demands from a portfolio of available service components – typically referred to as service repository. It is arguable that the use of ontologies and semantic annotations of service components constitute an intelligent way to enhance service discovery and service composition mechanisms. However, validating the intention of a certain composition – goals – and verifying its requirements is still a topic for research development. This paper presents a simple approach to validate service compositions based on goal annotations. The effectiveness of this approach is highlighted through a simplified service example.
Keywords
Download to read the full chapter text
Chapter PDF
References
SPICE Consortium, the SPICE project website, http://www.ist-spice.org/
Floch, J.: Towards Plug-and.-Play Services: Design and Validation, Ph.D. thesis 2003:47 NTNU (2003)
Sanders, R.T.: Collaborations, Semantic Interfaces and Service Goals: a way forward for Service Engineering. Ph.D. thesis 2007:68 (NTNU (2007)
SPICE Consortium, Initial Architecture Design – SPICE Architecture, SPICE Deliverable D1.3, Goix, W. (ed.), SPICE Internal Document
SPICE Consortium, Advanced Language for Value added services composition and creation (SPATEL) SPICE Deliverable D5.1, Belaunde, M. (ed.), SPICE Internal Document
SPICE Consortium, Distributed Multiplatform Execution Engine, SPICE Deliverable D5.2, Kovacs, E. (ed.), SPICE Internal Document
OASIS, Reference Model for Service Oriented Architecture 1.0, http://www.oasisopen.org/committees/tc_home.php?wg_abbrev=soa-rm
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)
Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)
Pehrson, B.: Protocol Verification for OSI. Computer Networks and ISDN systems 18, 185–201 (1989/1990)
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Hemel Hempstead, Prentice Hall International 0-13-034448-6 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shiaa, M.M., Fladmark, J.O. (2009). Validation Aspects of Automatic Service Composition. In: Di Nitto, E., Ripeanu, M. (eds) Service-Oriented Computing - ICSOC 2007 Workshops. ICSOC 2007. Lecture Notes in Computer Science, vol 4907. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-93851-4_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-93851-4_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-93850-7
Online ISBN: 978-3-540-93851-4
eBook Packages: Computer ScienceComputer Science (R0)