SMT Versus Genetic and OpenOpt Algorithms : Concrete Planning in the PlanICS Framework

• Autorzy: Niewiadomski A. , Skaruz J. , Penczek W. , Szreter M. , Jarocki M.

Identyfikatory

DOI

10.3233/FI-2014-1134

• Języki publikacji: EN

Abstrakty

EN

The paper deals with the concrete planning problem (CPP) – a stage of the Web Service Composition (WSC) in the PlanICS framework. The complexity of the problem is discussed. A novel SMT-based approach to CPP is defined and its performance is compared to the standard Genetic Algorithm (GA) and the OpenOpt numerical toolset planner in the framework of the PlanICS system. The discussion of all the approaches is supported by extensive experimental results.

Słowa kluczowe

EN

Web Service Composition; SMT; genetic algorithm; GA; OpenOpt; concrete planning

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 135, nr 4
• Strony: 451--466
• Opis fizyczny: Bibliogr. 17 poz., rys., tab.

Twórcy

autor

Niewiadomski A.

• Institute of Computer Science, Siedlce University of Natural Sciences and Humanities, 3-Maja 54, 08-110 Siedlce, Poland

autor

Skaruz J.

• Institute of Computer Science, Siedlce University of Natural Sciences and Humanities, 3-Maja 54, 08-110 Siedlce, Poland

autor

Penczek W.

• Institute of Computer Science, Polish Academy of Sciences, Jana Kazimierza 5, 01-248 Warsaw, Poland

autor

Szreter M.

• Institute of Computer Science, Polish Academy of Sciences, Jana Kazimierza 5, 01-248 Warsaw, Poland

autor

Jarocki M.

• Faculty of Mathematics and Computer Science, Łódź University, Banacha 22, 90-238 Łódź, Poland

Bibliografia

• [1] Ambroszkiewicz, S.: Entish: A Language for Describing Data Processing in Open Distributed Systems, Fundam. Inform., 60(1-4), 2004, 41–66.
• [2] Bell, M.: Introduction to Service-Oriented Modeling, John Wiley & Sons, 2008.
• [3] Bersani, M. M., Cavallaro, L., Frigeri, A., Pradella, M., Rossi, M.: SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability, SEFM, 2010.
• [4] Canfora, G., Penta, M. D., Esposito, R., Villani, M. L.: An Approach for QoS-aware Service Composition based on Genetic Algorithms, Proceedings of the 2005 Conference on Genetic and Evolutionary Computation, 2005.
• [5] Doliwa, D., Horzelski, W., Jarocki, M., Niewiadomski, A., Penczek, W., Półrola, A., Skaruz, J.: HarmonICS - a tool for composing medical services, ZEUS, 2012.
• [6] Doliwa, D., Horzelski, W., Jarocki, M., Niewiadomski, A., Penczek, W., Półrola, A., Szreter, M., Zbrzezny, A.: PlanICS - a Web Service Compositon Toolset, Fundam. Inform., 112(1), 2011, 47–71.
• [7] Elwakil, M., Yang, Z., Wang, L., Chen, Q.: Message race detection for web services by an SMT-based analysis, Proc. of the 7th Int. Conference on Autonomic and Trusted Computing, ATC’10, Springer, 2010, ISBN 3-642-16575-3, 978-3-642-16575-7.
• [8] Kroshko, D.: OpenOpt: Free scientific-engineering software for mathematical modeling and optimization, 2007.
• [9] MATLAB: version 7.10.0 (R2010a), The MathWorks Inc., Natick, Massachusetts, 2010.
• [10] Monagan, M. B., Geddes, K. O., Heal, K. M., Labahn, G., Vorkoetter, S. M., McCarron, J., DeMarco, P.: Maple 10 Programming Guide, Maplesoft, Waterloo ON, Canada, 2005.
• [11] Monakova, G., Kopp, O., Leymann, F., Moser, S., Schäfers, K.: Verifying Business Rules Using an SMT Solver for BPEL Processes, BPSC, 2009.
• [12] Niewiadomski, A., Penczek, W.: Towards SMT-based Abstract Planning in PlanICS Ontology, KEOD, 2013.
• [13] Niewiadomski, A., Penczek, W., Półrola, A.: Abstract Planning in PlanICS Ontology. An SMT-based Approach., Technical Report 1027, ICS PAS, 2012.
• [14] Niewiadomski, A., Penczek, W., Półrola, A., Szreter, M., Zbrzezny, A.: Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios, Fundam. Inform., 120(2), 2012, 181–203.
• [15] Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods, Proc. of SWSWPC’04, 3387, Springer, 2004.
• [16] Skaruz, J., Niewiadomski, A., Penczek, W.: Solving the abstract planning problem using genetic algorithms, Studia Informatica, 1-2(17), 2013, (to appear).
• [17] Wu, Y., Wang, X.: Applying Multi-objective Genetic Algorithms to QoS-aware Web Service Global Selection, Advances in Information Sciences and Service Sciences, 3(11), 2011, 134–144.