Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The paper presents a prototype toolset to planning by automatic composition of web services. The main idea consists in arranging the composition into two main phases: abstract and concrete one, as well as to handle fully declarative user queries. The first abstract stage aims at finding all the possible sequences of the types of the services that can potentially satisfy the user request. The result, referred to as an abstract plan, is used in the concrete planning phase, which substitutes the types of the services with their concrete instances registered in the system. This is obtained by translating the problem of finding a composition of concrete services satisfying the user query into the reachability problem for (timed) automata with discrete data and parametric assignments, taking into account the concrete instances of services as well as the user query. Next, SAT-based parametric bounded model checking is used to obtaining the solutions in form of sequences of services invocations together with the example services' input values.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
47--71
Opis fizyczny
Bibliogr. 24 poz., tab., wykr.
Twórcy
autor
autor
autor
autor
autor
autor
autor
- Institute of Computer Science, PAS, Ordona 21, 01-237 Warsaw, Poland, penczek@ipipan.waw.pl
Bibliografia
- [1] OWL Web Ontology Language Reference. http://www.w3.org/TR/owl-ref, 2004.
- [2] RSat Home Page. http://reasoning.cs.ucla.edu/rsat/, 2007.
- [3] S. Ambroszkiewicz. enTish: An Approach to service Description and Composition. ICS PAS, Ordona 21, 01-237Warsaw, 2003.
- [4] DAML-S (and OWL-S) 0.9 draft release. http://www.daml.org/services/daml-s/0.9 /, 2003.
- [5] M. Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, and M. Szreter. A Formal Approach to Composing Abstract Scenarios of Web Services. In Proc. of Intelligent Information Systems, pages 3-22, 2010.
- [6] M. Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, and M. Szreter. Towards automatic composition of web services: Abstract planning phase. In SOA Infrastructure Tools. Concepts and Methods, pages 181-210. Poznan University of Economics Press, 2010.
- [7] M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Woźna, and A. Zbrzezny. VerICS 2007 - a model checker for knowledge and real-time. Fundamenta Informaticae, 85(1-4):313-328, 2008. Spr.nazw.!
- [8] M. Klusch, A. Geber, and M. Schmidt. Semantic web service composition planning with OWLS-XPlan. In Proc. of the 1st Int. AAAI Fall Symposium on Agents and the Semantic Web, number FS-05-01. AAAI Press, 2005.
- [9] M. Knapik, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, and A. Zbrzezny. Parametric model checking with VerICS. In Transactions on Petri Nets and Other Models of Concurrency IV, LNCS 6550, pages 98-120. Springer, 2010.
- [10] D. McDermott, M. Ghallab, A. Howe, C. Knoblock, A. Ram, M. Veloso, D. Weld, and D. Wilkins. PDDL - the Planning Domain Definition Language - version 1.2. Technical Report TR-98-003, Yale Center for Computational Vision and Control, 1998.
- [11] W. Penczek, A. Półrola, and A. Zbrzezny. Towards automatic composition of web services: A SAT-based phase. In International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of concurrency, pages 76-96, 2010.
- [12] S. R. Ponnekanti and A. Fox. SWORD: A developer toolkit for web service composition. In Proc. of the 11st Int. World Wide Web Conference (WWW'02), pages 83-107, 2002.
- [13] J. Rao. Semantic Web Service Composition via Logic-Based Program Synthesis. PhD thesis, Dept. of Comp. and Inf. Sci., Norwegian University of Science and Technology, 2004.
- [14] J. Rao, P. Küngas, and M. Matskin. Logic-based web services composition: From service description to process model. In Proc. of the IEEE Int. Conf. on Web Services (ICWS'04), pages 599-608. IEEE Computer Society, 2004.
- [15] J. Rao and X. Su. A survey of automated web service composition methods. In Proc. of the 1st Int. Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004), pages 43-54, 2004.
- [16] Resource Description Framework: Concepts and Abstract Syntax. http://www.w3.org/TR/2004/REC-rdfconcepts-20040210/, 2004.
- [17] D. Redavid, L. Iannone, and T. Payne. OWL-S atomic services composition with SWRL rules. In Proc. Of the 4th Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP 2007), 2007.
- [18] E. Sirin, J. Hendler, and B. Parsia. Semi-automatic compositions of web services using semantic description. In Proc. of the Int. Workshop 'Web Services: Modeling, Architecture and Infrastructure' (at ICEIS 2003), pages 93-123, 2003.
- [19] SOAP version 1.2. http://www.w3.org/TR/soap, 2007.
- [20] B. Srivastava and J. Koehler. Web service composition - current solutions and open problems. In Proc. Of Int. Workshop on Planning for Web Services (at ICAPS 2003), pages 28-35, 2003.
- [21] Universal Description, Discovery and Integration v3.0.2 (UDDI). http://www.oasis-open.org/committees/uddi-spec /doc/spec/v3/uddi-v3.0.2-20041019.htm, 2005.
- [22] Web Services Business Process Execution Language v2.0. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html, 2007.
- [23] Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/2001/NOTE-wsdl-20010315, 2001.
- [24] Web Service Modelling Ontology D2v1.0. http://www.wsmo.org/2004/d2/v1.0/, 2004.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS8-0022-0048