Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Papazoglou, M.P.: Service-oriented computing: Concepts, characteristics and directions. In: Fourth International Conference on Web Information Systems Engineering (WISE 2003), Roma, Italy, December 2003, IEEE Computer Society, Los Alamitos (2003)
Kim, I.W., Lee, K.H.: Describing semantic web services: From UML to OWL-S. In: IEEE International Conference on Web Services ICWS 2007), Salt Lake City, UT, USA, July 2007, pp. 529–536. IEEE Computer Society, Los Alamitos (2007)
de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: The web service modeling language WSML: An Overview. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 590–604. Springer, Heidelberg (2006)
Hausmann, J.H., Heckel, R., Lohmann, M.: Model-based development of web service descriptions: Enabling a precise matching concept. International Journal of Web Services Research 2(2), 67–84 (2005)
Peltz, C.: Web services orchestration and choreography. Computer, 46–52 (2003)
van der Aalst, W.: Don’t go with the flow: Web services composition standards exposed. IEEE Intelligent Systems 18(1), 72–76 (2003)
Sirin, E., Hendler, J., Parsia, B.: Semi-automatic composition of web services using semantic descriptions. In: Workshop on Web Services: Modeling, Architecture and Infrastructure, pp. 17–24 (2002)
Wu, D., Parsia, B., Sirin, E., Hendler, J.A., Nau, D.S.: Automating DAML-S web services composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)
Stollberg, M., Keller, U., Lausen, H., Heymans, S.: Two-phase web service discovery based on rich functional descriptions. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 99–113. Springer, Heidelberg (2007)
Klusch, M., Kaufer, F.: Wsmo-mx: A hybrid semantic web service matchmaker. Web Intelli. and Agent Sys. 7(1), 23–42 (2009)
Heckel, R., Cherchago, A.: Structural and behavioral compatibility of graphical service specifications. Journal of Logic and Algebraic Programming 70(1.1), 15–33 (2007)
Kreger, H.: Web services conceptual architecture, IBM Software Group (2001), http://www.ibm.com
Orejas, F.: Attributed graph constraints. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 274–288. Springer, Heidelberg (2008)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)
Heckel, R., Llabrés, M., Ehrig, H., Orejas, F.: Concurrency and loose semantics of open graph transformation systems. Mathematical Structures in Computer Science 12, 349–376 (2002)
Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation. Concurrency, parallelism, and distribution, vol. 3. World Scientific Publishing Co., Inc., River Edge (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Naeem, M., Heckel, R., Orejas, F., Hermann, F. (2010). Incremental Service Composition Based on Partial Matching of Visual Contracts. In: Rosenblum, D.S., Taentzer, G. (eds) Fundamental Approaches to Software Engineering. FASE 2010. Lecture Notes in Computer Science, vol 6013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12029-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-12029-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12028-2
Online ISBN: 978-3-642-12029-9
eBook Packages: Computer ScienceComputer Science (R0)