Abstract
There are many technologies for the automation of processes that deal with services; examples are service discovery and composition. Automation of these processes requires that the services are described semantically. However, semantically described services are currently not or only rarely available, which limits the applicability of discovery and composition approaches. The systematic support for creating new semantic services usable by automated technologies is an open problem.
We tackle this problem with a template based approach: Domain independent templates are instantiated with domain specific services and boolean expressions. This process yields both the description and the implementation of new services whose correctness directly follows from the correctness of the template. Besides the theory, we present a preliminary evaluation for service repositories in which 85% of the services were generated automatically in efficient time and explain why these are indeed useful.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Apt, K., de Boer, F., Olderog, E.R.: Verification of sequential and concurrent programs. Springer (2009)
Bartalos, P., Bieliková, M.: Automatic dynamic web service composition: A survey and problem formalization. Computing and Informatics 30(4), 793–827 (2012)
Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artificial Intelligence 174(3), 316–361 (2010)
Cavallaro, L., Nitto, E.D., Furia, C.A., Pradella, M.: A tile-based approach for self-assembling service compositions. In: Proceedings of 15th International Conference on Engineering of Complex Computer Systems, pp. 43–52 (2010)
Cok, D.R., Kiniry, J.R.: ESC/Java2: Uniting ESC/Java and JML. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 108–128. Springer, Heidelberg (2005)
Junghans, M., Agarwal, S., Studer, R.: Towards practical semantic web service discovery. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 15–29. Springer, Heidelberg (2010)
Klusch, M., Kaufer, F.: WSMO-MX: A hybrid semantic web service matchmaker. Web Intelligence and Agent Systems 7(1), 23–42 (2009)
Klusch, M., Zhing, X.: Deployed semantic services for the common user of the web: A reality check. In: Proceedings of the 2nd IEEE International Conference on Semantic Computing. pp. 347–353. IEEE (2008)
Lécué, F., Silva, E., Pires, L.F.: A framework for dynamic web services composition. In: Emerging Web Services Technology, vol. II, pp. 59–75. Springer (2008)
Mohr, F., Kleine Büning, H.: Semi-automated software composition through generated components. In: Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services. ACM (2013)
Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the 11th International World Wide Web Conference (WWW 2011), pp. 77–88. ACM (2002)
Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 94–98. Springer, Heidelberg (2012)
Schulte, S., Lampe, U., Eckert, J., Steinmetz, R.: LOG4SWS. KOM: self-adapting semantic web service discovery for SAWSDL. In: Proceedings of the 6th World Congress on Services, pp. 511–518. IEEE (2010)
Sohrabi, S., McIlraith, S.A.: Preference-based web service composition: A middle ground between execution and search. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 713–729. Springer, Heidelberg (2010)
Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, pp. 313–326. ACM, New York (2010)
Walther, S., Wehrheim, H.: Knowledge-based verification of service compositions – An SMT approach. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, pp. 24–32 (2013)
Walther, S., Wehrheim, H.: Verified service compositions by template-based construction. In: Formal Aspects of Component Software. LNCS. Springer, Heidelberg (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Mohr, F., Walther, S. (2014). Template-Based Generation of Semantic Services. In: Schaefer, I., Stamelos, I. (eds) Software Reuse for Dynamic Systems in the Cloud and Beyond. ICSR 2015. Lecture Notes in Computer Science, vol 8919. Springer, Cham. https://doi.org/10.1007/978-3-319-14130-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-14130-5_14
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-14129-9
Online ISBN: 978-3-319-14130-5
eBook Packages: Computer ScienceComputer Science (R0)