Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Design and validation of computer protocols
Design and validation of computer protocols
| Hi-index | 0.00 |
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.