Date of Original Version
5-2011
Type
Conference Proceeding
Published In
ICSE ’11, May 21–28, 2011, Waikiki, Honolulu, HI, USA
Abstract or Table of Contents
Service-based applications can be realized by composing existing
services into new, added-value composite services. The
external services with which a service composition interacts
are usually known by means of their syntactical interface.
However, an interface providing more information, such as
a behavioral speci cation, could be more useful to a service
integrator for assessing that a certain external service
can contribute to ful ll the functional requirements of the
composite application.
Given the requirements speci cation of a composite service,
we present a technique for obtaining the behavioral
interfaces - in the form of labeled transition systems - of
the external services, by decomposing the global interface
speci cation that characterizes the environment of the service
composition. The generated interfaces guarantee that
the service composition ful lls its requirements during the
execution. Our approach has been implemented in the LTSA
tool and has been applied to two case studies.
Included in
Computer and Systems Architecture Commons, Data Storage Systems Commons, Digital Circuits Commons, Digital Communications and Networking Commons, Hardware Systems Commons, Other Computer Engineering Commons, Other Electrical and Computer Engineering Commons, Robotics Commons, Systems and Communications Commons, VLSI and circuits, Embedded and Hardware Systems Commons
