Defining the semantics of reactive components in event-driven workflow execution with event histories

被引：33

作者：

Geppert, A ^{[1
]}

Tombros, D ^{[1
]}

Dittrich, KR ^{[1
]}

机构：

[1] Univ Zurich, Inst Informat, CH-8057 Zurich, Switzerland

来源：

INFORMATION SYSTEMS | 1998年 / 23卷 / 3-4期

关键词：

workflow management; ECA-rules; distributed;

D O I：

10.1016/S0306-4379(98)00011-8

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The definition of exact semantics of workflows and involved processing entities is an open yet urgent problem for most systems. This paper considers the semantics and correctness of event-driven workflow execution by reactive components. The basis for the formalization in our approach is provided by an event history which records all the events generated during the execution of workflows by these components. Based on the formal notion of history, it is possible to determine the semantics of workflow systems as the set of event histories they can generate. It also allows to formalize the semantics of reactive components-and consequently, the semantics of workflows-as well as to check whether their observable behavior is correct. In addition to the precise understanding of event-driven workflow execution, the formalized notion of event history also serves as the specification of the workflow execution engine. Ultimately, the semantics of reactive components provides the basis for specifying transformation rules used to map these components onto the execution level. (C) 1998 Elsevier Science Ltd. All rights reserved.

引用

页码：235 / 252

页数：18

共 21 条

[1]

Bussler C. J., 1994, Digital Technical Journal, V6, P26

[2]

Casati F., 1996, P 7 INT C DAT EXP SY, P94

[3]

Chakravarthy S., 1994, P 20 INT C VER LARG, V94, P606

[4]

CHRYSANTHIS PK, 1990, SIGMOD REC, V19, P194, DOI 10.1145/93605.98729

[5] A logic-based integration of active and deductive databases [J].

Fernandes, AAA ;

Williams, MH ;

Paton, NW .

NEW GENERATION COMPUTING, 1997, 15 (02) :205-244

[6]

Gatziu S., 1994, Proceedings Fourth International Workshop on Research Issues in Data Engineering. Active Database Systems (Cat. No.94TH0618-9), P2, DOI 10.1109/RIDE.1994.282859

[7]

GEPPERT A, 1994, P 1 INT WORKSH RUL D, P127

[8]

GEPPERT A, 1988, P INT IFIP WORK C TR

[9]

GEPPERT A, 1996, 9605 UZUR DEP COMP S

[10]

Jablonski S., 1996, WORKFLOW MANAGEMENT

← 1 2 3 →