Sisi in the ALPS - A Simple Simulation and Verification Approach for PASS

被引：7

作者：

Elstermann, Matthes ^{[1
]}

Ovtcharova, Jivka ^{[1
]}

机构：

[1] KIT, Inst Informat Management Engn, Zirkel 2, Karlsruhe, Germany

来源：

S-BPM ONE 2018: PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SUBJECT-ORIENTED BUSINESS PROCESS MANAGEMENT | 2018年

关键词：

PASS; subject-oriented process models; verification; lead times;

D O I：

10.1145/3178248.3178262

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Originally developed as a simple static computation tool (Simple Sim - SiSi), in this paper we describe the principle behind a pragmatic approach that is not only practical for simple calculation of lead times for process models in Abstract Layered PASS (ALPS), but also can serve as tool of structural soundness verification for the distributed and somewhat fractured descriptions of this subject-oriented process modeling language. It is the foundation for the first deployed tool that can handle soundness verification all of PASS including the multi-subject construct.

引用

页数：9

共 11 条

[1]

Borgert S., 2014, FORMAL BASED CORRECT, P20

[2] Interaction-centric modeling of process choreographies [J].

Decker, Gero ;

Weske, Mathias .

INFORMATION SYSTEMS, 2011, 36 (02) :292-312

[3]

Elstermann M., 2013, MAPPING PASS GRAPHS, P91

[4]

Elstermann M., 2014, S BPM ONE 2014, V422, P125, DOI [10.1007/978-3-319-06191-7_8, DOI 10.1007/978-3-319-06191-7_8]

[5]

Elstermann M., 2017, S BPM ONE 2017

[6]

Fischermanns G., 2013, PRAXISHANDBUCH PROZE

[7]

Fleischmann A., 2012, Subject-Oriented Business Process Management

[8]

Fleischmann A., 2017, OVERVIEW S BPM ORIEN

[9]

Fleischmann C., 2016, S BPM ONE 2016

[10]

Freund J., 2017, Praxishandbuch BPMN - Mit Einfuhrung in CMMN und DMN, V5

← 1 2 →