On Generation of Context-Abstract Plans

  • Łukasz MikulskiEmail author
  • Artur Niewiadomski
  • Marcin Piątkowski
  • Sebastian Smyczyński
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8938)


This paper deals with an intermediate phase of resolving Web Service Composition Problem (WSCP) provided by Planics. The abstract planner discovers a set of abstract plans for a WSCP instance. The proposed algorithm utilizes the combinatorial structure of this set and, abstracting from object attributes, browses the space of all potential solutions taking into account only indistinguishable ones. Finally, the reported results are validated by checking the attributes valuation and presumed constraints.


  1. 1.
    Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artif. Intell. 90(1), 1636–1642 (1995)Google Scholar
  2. 2.
    Chifu, V.R., Salomie, I., St. Chifu, E.: Fluent calculus-based web service composition - from owl-s to fluent calculus. In: ICCP 2008, pp. 161–168 (2008)Google Scholar
  3. 3.
    de Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Doliwa, D., et al.: PlanICS - a web service compositon toolset. Fundam. Inform. 112(1), 47–71 (2011)Google Scholar
  5. 5.
    Zou, G., et al.: AI planning and combinatorial optimization for web service composition in cloud computing. In: CCV 2010, pp. 1–8 (2010)Google Scholar
  6. 6.
    Li, Z., et al.: Effort-oriented classification matrix of web service composition. In: ICIV 2010, pp. 357–362 (2010)Google Scholar
  7. 7.
    Gehlot, V., Edupuganti, K.: Use of colored petri nets to model, analyze, and evaluate service composition and orchestration. In: HICSS 2009, pp. 1–8 (2009)Google Scholar
  8. 8.
    Höfner, P., Lautenbacher, F.: Algebraic structure of web services. Electron. Notes Theoret. Comput. Sci. 200(3), 171–187 (2008)CrossRefGoogle Scholar
  9. 9.
    Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Report PB-78, Aarhus University (1977)Google Scholar
  10. 10.
    Mikulski, Ł., Piątkowski, M., Smyczyński, S.: Algorithmics of posets generated by words over partially commutative alphabets (extended). Sci. Ann. Comp. Sci. 23(2), 229–249 (2013)Google Scholar
  11. 11.
    Mitra, S., Kumar, R., Basu, S.: Automated choreographer synthesis for web services composition using I/O automata. In: ICWS 2007, pp. 364–371 (2007)Google Scholar
  12. 12.
    Niewiadomski, A., Penczek, W.: Towards SMT-based abstract planning in PlanICS ontology. In: KEOD 2013, pp. 123–131 (2013)Google Scholar
  13. 13.
    OWL 2 web ontology language document overview (2009).
  14. 14.
    Peer, J.: A POP-based replanning agent for automatic web service composition. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 47–61. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Skaruz, J., Niewiadomski, A., Penczek, W.: Automated abstract planning with use of genetic algorithms. In: GECCO 2013, pp. 129–130 (2013)Google Scholar
  16. 16.
    Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380–394. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Uno, T.: Algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs. In: Leong, H.-V., Jain, S., Imai, H. (eds.) ISAAC 1997. LNCS, vol. 1350, pp. 92–101. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  18. 18.
    Wang, B., Haller, A., Rosenberg, F.: Generating workflow models from owl-s service descriptions with a partial-order plan construction. In: ICWS 2011, pp. 714–715 (2011)Google Scholar
  19. 19.
    Yu, T., Lin, K.-J.: Service selection algorithms for web services with end-to-end qos constraints. In: CEC 2004, pp. 129–136. IEEE (2004)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Łukasz Mikulski
    • 1
    Email author
  • Artur Niewiadomski
    • 2
  • Marcin Piątkowski
    • 1
  • Sebastian Smyczyński
    • 3
  1. 1.Nicolaus Copernicus UniversityToruńPoland
  2. 2.Siedlce UniversitySiedlcePoland
  3. 3.Simplito Computer Science LabToruńPoland

Personalised recommendations