Why Does My Service Have No Partners?

被引：0

作者：

Lohmann, Niels ^{[1
]}

机构：

[1] Univ Rostock, Inst Informat, D-18051 Rostock, Germany

来源：

WEB SERVICES AND FORMAL METHODS | 2009年 / 5387卷

关键词：

Controllability; diagnosis; partner synthesis; verification;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Controllability is a fundamental correctness criterion for interacting service models. A service model is controllable if there exists it partner service such that their composition is free of deadlocks and live-locks. Whereas, controllability can be automatically decided, the existing decision algorithm gives no information about the reasons of why a service model is uncontrollable. This paper introduces a diagnosis framework to find these reasons which can help to fix uncontrollable service models.

引用

页码：191 / 206

页数：16

共 21 条

[1]

Alonso G., 2003, Web Services - Concepts, Architectures and Applications

[2]

Alves A., 2007, Web Services Business Process Execution Language Version 2.0

[3]

[Anonymous], 2001, Model checking

[4] Bridging the gap between business models and workflow specifications [J].

Dehnert, J ;

Van Der Aalst, WMP .

INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2004, 13 (03) :289-332

[5]

DESEL J, 1995, FREE CHOICE PETRI NE

[6]

Lautenbach K., 1993, LECT NOTES COMPUTER, V815, P358

[7]

LOHMANN N, 2008, LECT NOTES INFORM P, V127, P57

[8]

Lohmann N, 2008, LECT NOTES COMPUT SC, V5240, P132, DOI 10.1007/978-3-540-85758-7_12

[9]

Lohmann N, 2008, LECT NOTES COMPUT SC, V4937, P77

[10] Analyzing interacting WS-BPEL processes using flexible model generation [J].

Lohmann, Niels ;

Massuthe, Peter ;

Stahl, Christian ;

Weinberg, Daniela .

DATA & KNOWLEDGE ENGINEERING, 2008, 64 (01) :38-54

← 1 2 3 →