Reference : Incremental Service Composition Based on Partial Matching of Visual Contracts
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3870
Incremental Service Composition Based on Partial Matching of Visual Contracts
English
Naeem, Muhammad [University of Leicester, United Kingdom]
Heckel, Reiko [University of Leicester, United Kingdom]
Orejas, Fernando [UPC Barcelona, Spain]
Hermann, Frank mailto [TU Berlin, Germany]
2010
Fundamental Approaches to Software Engineering
Springer Verlag
123-138
Yes
978-3-642-12028-2
Fundamental Approaches to Software Engineering, 13th International Conference (FASE 2010)
March 20-28, 2010
Paphos
Cyprus
[en] service composition ; graph transformation
[en] Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requester may be able to use demand support for finding and selecting services. In particular, it is unrealistic to expect that a single service will satisfy complex requirements, so services will have to be combined to match clients’ requests. In this paper, we propose a visual, incremental approach for the composition of services, in which we describe the requirements of a requester as a goal which is matched against multiple provider offers. After every match with an offer we decompose the goal into satisfied and remainder parts. We iterate the decomposition until the goal is satisfied or we run out of offers, leading to a resolution-like matching strategy. Finally, the individual offers can be composed into a single combined offer and shown to the requester for feedback. Our approach is based on visual specifications of pre- and postconditions by graph transformation systems with loose semantics, where a symbolic approach based on constraints is used to represent attributes and their computation in graphs.
http://hdl.handle.net/10993/3870
10.1007/978-3-642-12029-9_9
The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-642-12029-9_9
LNCS/6013
Fundamental Approaches to Software Engineering

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ISC2.pdfauthor's manuscript versionAuthor postprint322.04 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.