Web service discovery and composition for virtual enterprises

被引:8
作者
Dorn, Juergen [1 ]
Hrastnik, Peter [1 ]
Rainer, Albert [1 ]
机构
[1] Vienna Univ Technol, Informat Syst, Vienna, Austria
关键词
AI planning; answer set programming; semantic matching; virtual enterprise; Web service composition;
D O I
10.4018/jwsr.2007010102
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE project targets at a methodology and a software framework to support such flexible collaborations based on process oriented design and communication by Web services. MOVE framework supports the graphical design and verification of business processes, the execution and supervision of processes in transaction-oriented environment, and the dynamic composition and optimization of processes. A business process may be composed from a set of Web services, deployed itself as Web service and executed in the framework. The composition of processes from Web services is implemented with methods from A I-planning. We apply answer set programming (ASP) and map Web service descriptions and customer requests into the input language of the ASP software DLV. Composition goals and constraints guide a composition challenge. We show the performance of our program and give some implementation details. Finally we conclude with some insights.
引用
收藏
页码:23 / 39
页数:17
相关论文
共 18 条
[1]  
Andreas EL, 2002, ADV FLUID MECH SER, V33, P1
[2]  
[Anonymous], 2004, OWL-S: Semantic Markup for Web Services
[3]  
[Anonymous], 2004, W3C RECOMMENDATION
[4]   The EEE-05 challenge: A new web service discovery and composition competition [J].
Blake, MB ;
Tsui, KC ;
Wombacher, A .
2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, Proceedings, 2005, :780-781
[5]  
BOOTH D, 2005, WEB SERVICES DESCRIP
[6]   Enhancing disjunctive datalog by constraints [J].
Buccafurri, F ;
Leone, N ;
Rullo, P .
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2000, 12 (05) :845-860
[7]   Web service discovery and composition with MOVE [J].
Dorn, J ;
Hrastnik, P ;
Rainer, A .
2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, Proceedings, 2005, :791-792
[8]   STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J].
FIKES, RE ;
NILSSON, NJ .
ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) :189-208
[9]  
Gelfond M., 1991, New Generation Computing, V9, P365, DOI 10.1007/BF03037169
[10]  
Gelfond M., 1988, P 5 INT C LOG PROGR, P1070