ALGORITHM FOR FORMAL VERIFICATION OF BUSINESS PROCESS TEMPLATES

被引：0

作者：

Varosyan, A. S. ^{[1
]}

机构：

[1] Yerevan State Univ, Yerevan, Armenia

来源：

CYBERNETICS AND SYSTEMS ANALYSIS | 2011年 / 47卷 / 02期

关键词：

business process; template; formal verification;

D O I：

10.1007/s10559-011-9305-7

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A formal definition of a business process template is presented that is based on an analysis of ITIL and MOF libraries. Definitions of an initialization precondition and an execution postcondition are introduced. The solvability of the formal verification problem for business process templates is shown under some given initialization precondition and execution postcondition. This research is planned to be continued with a view to (i) using a formal verification algorithm with other business process template libraries and (ii) examining other business process libraries to identify new classes of business processes.

引用

页码：228 / 240

页数：13

共 11 条

[1]

Aileen C., 2006, SUMMARY ITIL ADOPTIO

[2] PROGRAM DATA FLOW ANALYSIS PROCEDURE [J].

ALLEN, FE ;

COCKE, J .

COMMUNICATIONS OF THE ACM, 1976, 19 (03) :137-147

[3]

[Anonymous], 2007, INTR IBM PROC REF MO

[4]

[Anonymous], 2008, INFR OPT JOURN

[5] CHARACTERIZATIONS OF REDUCIBLE FLOW GRAPHS [J].

HECHT, MS ;

ULLMAN, JD .

JOURNAL OF THE ACM, 1974, 21 (03) :367-375

[6]

ITIL, IT SERV MAN

[7]

Kostanyan A, 2008, 15TH EUROPEAN CONCURRENT ENGINEERING CONFERENCE/5TH FUTURE BUSINESS TECHNOLOGY CONFERENCE, P89

[8]

Leymann F., 2000, PRODUCTION WORKFLOW

[9]

Pultorak D., 2005, MICROSOFT OPERATIONS

[10]

Shoukourian S. K., 1995, Proceedings 13th IEEE VLSI Test Symposium (Cat. No.95TH8068), P448, DOI 10.1109/VTEST.1995.512673

← 1 2 →