Validation Aspects of Automatic Service Composition

  • Mazen Malek Shiaa
  • Jan Ove Fladmark
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4907)


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.


semantic annotations automatic service composition validation service platforms 


  1. 1.
    SPICE Consortium, the SPICE project website,
  2. 2.
    Floch, J.: Towards Plug-and.-Play Services: Design and Validation, Ph.D. thesis 2003:47 NTNU (2003)Google Scholar
  3. 3.
    Sanders, R.T.: Collaborations, Semantic Interfaces and Service Goals: a way forward for Service Engineering. Ph.D. thesis 2007:68 (NTNU (2007)Google Scholar
  4. 4.
    SPICE Consortium, Initial Architecture Design – SPICE Architecture, SPICE Deliverable D1.3, Goix, W. (ed.), SPICE Internal DocumentGoogle Scholar
  5. 5.
    SPICE Consortium, Advanced Language for Value added services composition and creation (SPATEL) SPICE Deliverable D5.1, Belaunde, M. (ed.), SPICE Internal Document Google Scholar
  6. 6.
    SPICE Consortium, Distributed Multiplatform Execution Engine, SPICE Deliverable D5.2, Kovacs, E. (ed.), SPICE Internal Document Google Scholar
  7. 7.
    OASIS, Reference Model for Service Oriented Architecture 1.0,
  8. 8.
    Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)Google Scholar
  9. 9.
    Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Pehrson, B.: Protocol Verification for OSI. Computer Networks and ISDN systems 18, 185–201 (1989/1990)CrossRefGoogle Scholar
  11. 11.
    Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Hemel Hempstead, Prentice Hall International 0-13-034448-6 (1993)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Mazen Malek Shiaa
    • 1
  • Jan Ove Fladmark
    • 1
  1. 1.Department of TelematicsNTNU universityNorway

Personalised recommendations