Simple modeling of executable role-based workflows: An application in the healthcare domain

Tiziana Margaria; Steve Boßelmann; Bertold Kujath

doi:10.1007/978-3-642-34032-1_8

Simple modeling of executable role-based workflows: An application in the healthcare domain

Tiziana Margaria
, Steve Boßelmann
, Bertold Kujath

University of Potsdam

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

Abstract

Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings
Pages	70-72
Number of pages	3
Edition	PART 2
DOIs	https://doi.org/10.1007/978-3-642-34032-1_8
Publication status	Published - 2012
Externally published	Yes
Event	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 - Heraklion, Crete, Greece Duration: 15 Oct 2012 → 18 Oct 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 2
Volume	7610 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
Country/Territory	Greece
City	Heraklion, Crete
Period	15/10/12 → 18/10/12

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

business process management
healthcare clinical processes workflow management
model-driven software development
process modeling
rapid prototyping
simplicity

Access to Document

10.1007/978-3-642-34032-1_8

Cite this

Margaria, T., Boßelmann, S., & Kujath, B. (2012). Simple modeling of executable role-based workflows: An application in the healthcare domain. In Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings (PART 2 ed., pp. 70-72). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7610 LNCS, No. PART 2). https://doi.org/10.1007/978-3-642-34032-1_8

Margaria, Tiziana ; Boßelmann, Steve ; Kujath, Bertold. / Simple modeling of executable role-based workflows : An application in the healthcare domain. Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 2. ed. 2012. pp. 70-72 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2).

@inproceedings{24cef673df0f476885f83d2f0e9d0307,

title = "Simple modeling of executable role-based workflows: An application in the healthcare domain",

abstract = "Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.",

keywords = "business process management, healthcare clinical processes workflow management, model-driven software development, process modeling, rapid prototyping, simplicity",

author = "Tiziana Margaria and Steve Bo{\ss}elmann and Bertold Kujath",

year = "2012",

doi = "10.1007/978-3-642-34032-1\_8",

language = "English",

isbn = "9783642340314",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 2",

pages = "70--72",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

edition = "PART 2",

note = "5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 ; Conference date: 15-10-2012 Through 18-10-2012",

}

Margaria, T, Boßelmann, S & Kujath, B 2012, Simple modeling of executable role-based workflows: An application in the healthcare domain. in Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 2 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 2, vol. 7610 LNCS, pp. 70-72, 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012, Heraklion, Crete, Greece, 15/10/12. https://doi.org/10.1007/978-3-642-34032-1_8

Simple modeling of executable role-based workflows: An application in the healthcare domain. / Margaria, Tiziana; Boßelmann, Steve; Kujath, Bertold.
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 2. ed. 2012. p. 70-72 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7610 LNCS, No. PART 2).

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

TY - GEN

T1 - Simple modeling of executable role-based workflows

T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

AU - Margaria, Tiziana

AU - Boßelmann, Steve

AU - Kujath, Bertold

PY - 2012

Y1 - 2012

N2 - Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.

AB - Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.

KW - business process management

KW - healthcare clinical processes workflow management

KW - model-driven software development

KW - process modeling

KW - rapid prototyping

KW - simplicity

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

U2 - 10.1007/978-3-642-34032-1_8

DO - 10.1007/978-3-642-34032-1_8

M3 - Conference contribution

AN - SCOPUS:84868277621

SN - 9783642340314

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 70

EP - 72

BT - Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 15 October 2012 through 18 October 2012

ER -

Margaria T, Boßelmann S, Kujath B. Simple modeling of executable role-based workflows: An application in the healthcare domain. In Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 2 ed. 2012. p. 70-72. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2). doi: 10.1007/978-3-642-34032-1_8

Simple modeling of executable role-based workflows: An application in the healthcare domain

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this