Web Services: Been There, Done That?
IEEE Intelligent Systems
Service -Oriented Computing: Concepts, Characteristics and Directions
WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
WSMO-MX: A hybrid Semantic Web service matchmaker
Web Intelligence and Agent Systems
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Graph transformation for domain-specific discrete event time simulation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation
Towards matching of service feature models based on linear logic
Proceedings of the 15th International Software Product Line Conference, Volume 2
Towards an automatic service discovery for UML-based rich service descriptions
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A survey of fuzzy service matching approaches in the context of on-the-fly computing
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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.