Early Validation Framework for Critical and Complex Process-Centric Systems

Fahad Rafique Golra; Joël Champeau; Ciprian Teodorov

doi:10.1007/978-3-030-20618-5_3

Early Validation Framework for Critical and Complex Process-Centric Systems

Fahad Rafique Golra
, Joël Champeau
, Ciprian Teodorov

ENSTA

LAB-STICC

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Abstract

Guaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the verification of properties guarantee the required level of correctness. For process-centric, critical and complex systems, one needs continuous observation of the process (through simulation and visualization) both during the development for correctness and afterwards for process improvement. We present a framework with associated methodology and tools, for the development of process-centric critical and complex systems. This early validation methodology promotes formal verification of the process model alongside agent-oriented simulation and visualization of the process models in a distributed context. Moreover, the process simulation technique proposed in the methodology allows step-wise replacement of the simulated components with the actual system services. We explain the proposed methodology using an adaptation of a real-life case-study from the military sector.

Original language	English
Title of host publication	Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings
Editors	Iris Reinhartz-Berger, Jelena Zdravkovic, Jens Gulden, Rainer Schmidt
Publisher	Springer Verlag
Pages	35-50
Number of pages	16
ISBN (Print)	9783030206178
DOIs	https://doi.org/10.1007/978-3-030-20618-5_3
Publication status	Published - 1 Jan 2019
Event	20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019 and 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019 Held at CAiSE 2019 - Rome, Italy Duration: 3 Jun 2019 → 4 Jun 2019

Publication series

Name	Lecture Notes in Business Information Processing
Volume	352
ISSN (Print)	1865-1348
ISSN (Electronic)	1865-1356

Conference

Conference	20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019 and 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019 Held at CAiSE 2019
Country/Territory	Italy
City	Rome
Period	3/06/19 → 4/06/19

Keywords

Business process
Modeling
Simulation
Visualization

Access to Document

10.1007/978-3-030-20618-5_3

Cite this

Golra, F. R., Champeau, J., & Teodorov, C. (2019). Early Validation Framework for Critical and Complex Process-Centric Systems. In I. Reinhartz-Berger, J. Zdravkovic, J. Gulden, & R. Schmidt (Eds.), Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings (pp. 35-50). (Lecture Notes in Business Information Processing; Vol. 352). Springer Verlag. https://doi.org/10.1007/978-3-030-20618-5_3

Golra, Fahad Rafique ; Champeau, Joël ; Teodorov, Ciprian. / Early Validation Framework for Critical and Complex Process-Centric Systems. Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings. editor / Iris Reinhartz-Berger ; Jelena Zdravkovic ; Jens Gulden ; Rainer Schmidt. Springer Verlag, 2019. pp. 35-50 (Lecture Notes in Business Information Processing).

@inproceedings{ea34e3e13c614df78ce60825dc5b9459,

title = "Early Validation Framework for Critical and Complex Process-Centric Systems",

abstract = "Guaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the verification of properties guarantee the required level of correctness. For process-centric, critical and complex systems, one needs continuous observation of the process (through simulation and visualization) both during the development for correctness and afterwards for process improvement. We present a framework with associated methodology and tools, for the development of process-centric critical and complex systems. This early validation methodology promotes formal verification of the process model alongside agent-oriented simulation and visualization of the process models in a distributed context. Moreover, the process simulation technique proposed in the methodology allows step-wise replacement of the simulated components with the actual system services. We explain the proposed methodology using an adaptation of a real-life case-study from the military sector.",

keywords = "Business process, Modeling, Simulation, Visualization",

author = "Golra, \{Fahad Rafique\} and Jo{\"e}l Champeau and Ciprian Teodorov",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019 and 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019 Held at CAiSE 2019 ; Conference date: 03-06-2019 Through 04-06-2019",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-20618-5\_3",

language = "English",

isbn = "9783030206178",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

pages = "35--50",

editor = "Iris Reinhartz-Berger and Jelena Zdravkovic and Jens Gulden and Rainer Schmidt",

booktitle = "Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings",

}

Golra, FR, Champeau, J & Teodorov, C 2019, Early Validation Framework for Critical and Complex Process-Centric Systems. in I Reinhartz-Berger, J Zdravkovic, J Gulden & R Schmidt (eds), Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings. Lecture Notes in Business Information Processing, vol. 352, Springer Verlag, pp. 35-50, 20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019 and 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019 Held at CAiSE 2019, Rome, Italy, 3/06/19. https://doi.org/10.1007/978-3-030-20618-5_3

Early Validation Framework for Critical and Complex Process-Centric Systems. / Golra, Fahad Rafique; Champeau, Joël; Teodorov, Ciprian.
Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings. ed. / Iris Reinhartz-Berger; Jelena Zdravkovic; Jens Gulden; Rainer Schmidt. Springer Verlag, 2019. p. 35-50 (Lecture Notes in Business Information Processing; Vol. 352).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Early Validation Framework for Critical and Complex Process-Centric Systems

AU - Golra, Fahad Rafique

AU - Champeau, Joël

AU - Teodorov, Ciprian

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Guaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the verification of properties guarantee the required level of correctness. For process-centric, critical and complex systems, one needs continuous observation of the process (through simulation and visualization) both during the development for correctness and afterwards for process improvement. We present a framework with associated methodology and tools, for the development of process-centric critical and complex systems. This early validation methodology promotes formal verification of the process model alongside agent-oriented simulation and visualization of the process models in a distributed context. Moreover, the process simulation technique proposed in the methodology allows step-wise replacement of the simulated components with the actual system services. We explain the proposed methodology using an adaptation of a real-life case-study from the military sector.

AB - Guaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the verification of properties guarantee the required level of correctness. For process-centric, critical and complex systems, one needs continuous observation of the process (through simulation and visualization) both during the development for correctness and afterwards for process improvement. We present a framework with associated methodology and tools, for the development of process-centric critical and complex systems. This early validation methodology promotes formal verification of the process model alongside agent-oriented simulation and visualization of the process models in a distributed context. Moreover, the process simulation technique proposed in the methodology allows step-wise replacement of the simulated components with the actual system services. We explain the proposed methodology using an adaptation of a real-life case-study from the military sector.

KW - Business process

KW - Modeling

KW - Simulation

KW - Visualization

UR - https://www.scopus.com/pages/publications/85069218831

U2 - 10.1007/978-3-030-20618-5_3

DO - 10.1007/978-3-030-20618-5_3

M3 - Conference contribution

AN - SCOPUS:85069218831

SN - 9783030206178

T3 - Lecture Notes in Business Information Processing

SP - 35

EP - 50

BT - Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings

A2 - Reinhartz-Berger, Iris

A2 - Zdravkovic, Jelena

A2 - Gulden, Jens

A2 - Schmidt, Rainer

PB - Springer Verlag

T2 - 20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019 and 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019 Held at CAiSE 2019

Y2 - 3 June 2019 through 4 June 2019

ER -

Golra FR, Champeau J, Teodorov C. Early Validation Framework for Critical and Complex Process-Centric Systems. In Reinhartz-Berger I, Zdravkovic J, Gulden J, Schmidt R, editors, Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings. Springer Verlag. 2019. p. 35-50. (Lecture Notes in Business Information Processing). doi: 10.1007/978-3-030-20618-5_3

Early Validation Framework for Critical and Complex Process-Centric Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this