Template-Based Generation of Semantic Services
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.
Keywordsservices templates correctness semantic descriptions automation composition
Unable to display preview. Download preview PDF.
- 1.Apt, K., de Boer, F., Olderog, E.R.: Verification of sequential and concurrent programs. Springer (2009)Google Scholar
- 2.Bartalos, P., Bieliková, M.: Automatic dynamic web service composition: A survey and problem formalization. Computing and Informatics 30(4), 793–827 (2012)Google Scholar
- 4.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)Google Scholar
- 7.Klusch, M., Kaufer, F.: WSMO-MX: A hybrid semantic web service matchmaker. Web Intelligence and Agent Systems 7(1), 23–42 (2009)Google Scholar
- 8.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)Google Scholar
- 9.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)Google Scholar
- 10.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)Google Scholar
- 11.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)Google Scholar
- 13.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)Google Scholar
- 14.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)CrossRefGoogle Scholar
- 15.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)Google Scholar
- 16.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)Google Scholar
- 17.Walther, S., Wehrheim, H.: Verified service compositions by template-based construction. In: Formal Aspects of Component Software. LNCS. Springer, Heidelberg (2014)Google Scholar