Integrating Validation Techniques for Process-based Models

被引：2

作者：

Speck, Andreas ^{[1
]}

Witt, Soeren ^{[1
]}

Feja, Sven ^{[1
]}

Feja, Soeren ^{[1
]}

Pulvermueller, Elke

机构：

[1] Univ Kiel, Inst Comp Sci, Kiel, Germany

来源：

ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING | 2013年

关键词：

Integration; Validation Techniques; (Business) Process Models; Behavioral Properties; Structural Properties; VERIFICATION; CHECKING;

D O I：

10.5220/0004568232463253

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Model checking has been established as an appropriate technology to validate behavioral properties of (business) process based systems. However, further validation technologies (e. g. for structural properties) may be of interest for process models. We propose a concept to integrate validation technologies in a unique system with a common user interface.

引用

页码：246 / 253

页数：8

共 50 条

[1] Predictive process-based cognitive models
Scribner, R
ALCOHOLISM-CLINICAL AND EXPERIMENTAL RESEARCH, 2004, 28 (05) : 185A - 185A
[2] Process-Based Habit Mining: Experiments and Techniques
Dimaggio, Marcella
Leotta, Francesco
Mecella, Massimo
Sora, Daniele
2016 INT IEEE CONFERENCES ON UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING AND COMMUNICATIONS, CLOUD AND BIG DATA COMPUTING, INTERNET OF PEOPLE, AND SMART WORLD CONGRESS (UIC/ATC/SCALCOM/CBDCOM/IOP/SMARTWORLD), 2016, : 145 - 152
[3] Advances in the process-based models of constructed wetlands and a way forward for integrating emerging organic contaminants
Ilyas H.
Rousseau D.P.L.
Environmental Science and Pollution Research, 2024, 31 (32) : 44518 - 44541
[4] Gamma Process-Based Models for Disease Progression
Hijazy, Ayman
Zempleni, Andras
METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, 2021, 23 (01) : 241 - 255
[5] On the upscaling of process-based models in deltaic applications
Li, L.
Storms, J. E. A.
Walstra, D. J. R.
GEOMORPHOLOGY, 2018, 304 : 201 - 213
[6] Process-Based Impact Models: Now and in the Future
Roy Darwin
Climatic Change, 2000, 45 : 541 - 552
[7] Gamma Process-Based Models for Disease Progression
Ayman Hijazy
András Zempléni
Methodology and Computing in Applied Probability, 2021, 23 : 241 - 255
[8] INTRODUCTION TO PROCESS-BASED SOFTWARE QUALITY MODELS
Soto Duran, Dario Enrique
Reyes Gamboa, Adriana Xiomara
CUADERNO ACTIVA, 2011, (01): : 25 - 37
[9] Applying process-based models to the Borssele scenario
Brown, J. E.
Beresford, N. A.
Hosseini, A.
Barnett, C. L.
RADIOPROTECTION, 2020, 55 (HS1) : S109 - S117
[10] Parallel execution of process-based simulation models
Whitehurst, RA
Brutocao, J
OBJECT-ORIENTED SIMULATION CONFERENCE (OOS'98) AND THE INTERNATIONAL CONFERENCE ON SIMULATION AND MULTIMEDIA IN ENGINEERING EDUCATION (ICSEE'98), PROCEEDINGS OF, 1998, : 115 - 120

← 1 2 3 4 5 →