Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control

Yevheniia Yehorova; Marina Walden

Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control

Yevheniia Yehorova^*
, Marina Walden^*

^*Corresponding author for this work

Information Technology

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

Abstract

Modeling enterprise workflows has a direct impact on business process management, ensuring the efficient use of resources. Business processes span multiple organizational or system roles that perform tasks to achieve company goals. In this paper, we continue to extend an approach to role-based workflow modeling, based on a refinement
that enables stepwise development of workflows from abstract models to detailed implementations. The main idea of our approach is to iteratively refine the model by adding new roles, resources, and sensitivity levels, while
maintaining logical consistency and control over access policies. We used an abstract multidimensional matrix for the theoretical visualization of the refinement and the UPPAAL tool for developing and validating the models.
Our approach is visualised using a healthcare case study, where hospital workflows are implemented.

Original language	English
Title of host publication	18th IFIP Working Conference, PoEM 2025
Editors	Hans-Georg Fill, Yves Wautelet, Jolita Ralyté, Jelena Zdravkovic
Place of Publication	Switzerland
Publisher	Springer, Cham
Pages	1-12
Number of pages	12
Volume	1
ISBN (Electronic)	978-3-032-12063-2
ISBN (Print)	978-3-032-12062-5
Publication status	Published - Dec 2025
MoE publication type	A4 Article in a conference publication
Event	18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling - Geneva, Switzerland Duration: 3 Dec 2025 → 5 Dec 2025 Conference number: 18 https://poem2025.unige.ch/

Publication series

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

Conference

Conference	18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling
Abbreviated title	PoEM
Country/Territory	Switzerland
City	Geneva
Period	03/12/25 → 05/12/25
Internet address	https://poem2025.unige.ch/

Keywords

Parallel Process Modeling
Hospital Workflow
Role-Based Modeling
Stepwise Refinement
Workflow Modeling
Refinement-Based Modeling

Cite this

@inproceedings{0c58e9e966b943bbbe94d66d4f0b9f5a,

title = "Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control",

abstract = "Modeling enterprise workflows has a direct impact on business process management, ensuring the efficient use of resources. Business processes span multiple organizational or system roles that perform tasks to achieve company goals. In this paper, we continue to extend an approach to role-based workflow modeling, based on a refinement that enables stepwise development of workflows from abstract models to detailed implementations. The main idea of our approach is to iteratively refine the model by adding new roles, resources, and sensitivity levels, while maintaining logical consistency and control over access policies. We used an abstract multidimensional matrix for the theoretical visualization of the refinement and the UPPAAL tool for developing and validating the models. Our approach is visualised using a healthcare case study, where hospital workflows are implemented.",

keywords = "Parallel Process Modeling, Hospital Workflow, Role-Based Modeling, Stepwise Refinement, Workflow Modeling, Refinement-Based Modeling",

author = "Yevheniia Yehorova and Marina Walden",

note = "Ej {\"a}nnu publicerad? Hittas ej i boken https://link.springer.com/book/10.1007/978-3-032-12063-2 Publiceras senare i Companion Proceedings of the 18th IFIP Working Conference on the Practice of Enterprise Modeling?; 18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, PoEM ; Conference date: 03-12-2025 Through 05-12-2025",

year = "2025",

month = dec,

language = "English",

isbn = "978-3-032-12062-5",

volume = "1",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer, Cham",

pages = "1--12",

editor = "Hans-Georg Fill and Yves Wautelet and Jolita Ralyt{\'e} and Jelena Zdravkovic",

booktitle = "18th IFIP Working Conference, PoEM 2025",

url = "https://poem2025.unige.ch/",

}

Yehorova, Y & Walden, M 2025, Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control. in H-G Fill, Y Wautelet, J Ralyté & J Zdravkovic (eds), 18th IFIP Working Conference, PoEM 2025. vol. 1, Lecture Notes in Business Information Processing, Springer, Cham, Switzerland, pp. 1-12, 18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, Geneva, Switzerland, 03/12/25.

Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control. / Yehorova, Yevheniia ; Walden, Marina.
18th IFIP Working Conference, PoEM 2025. ed. / Hans-Georg Fill; Yves Wautelet; Jolita Ralyté; Jelena Zdravkovic. Vol. 1 Switzerland: Springer, Cham, 2025. p. 1-12 (Lecture Notes in Business Information Processing).

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control

AU - Yehorova, Yevheniia

AU - Walden, Marina

N1 - Conference code: 18

PY - 2025/12

Y1 - 2025/12

N2 - Modeling enterprise workflows has a direct impact on business process management, ensuring the efficient use of resources. Business processes span multiple organizational or system roles that perform tasks to achieve company goals. In this paper, we continue to extend an approach to role-based workflow modeling, based on a refinement that enables stepwise development of workflows from abstract models to detailed implementations. The main idea of our approach is to iteratively refine the model by adding new roles, resources, and sensitivity levels, while maintaining logical consistency and control over access policies. We used an abstract multidimensional matrix for the theoretical visualization of the refinement and the UPPAAL tool for developing and validating the models. Our approach is visualised using a healthcare case study, where hospital workflows are implemented.

AB - Modeling enterprise workflows has a direct impact on business process management, ensuring the efficient use of resources. Business processes span multiple organizational or system roles that perform tasks to achieve company goals. In this paper, we continue to extend an approach to role-based workflow modeling, based on a refinement that enables stepwise development of workflows from abstract models to detailed implementations. The main idea of our approach is to iteratively refine the model by adding new roles, resources, and sensitivity levels, while maintaining logical consistency and control over access policies. We used an abstract multidimensional matrix for the theoretical visualization of the refinement and the UPPAAL tool for developing and validating the models. Our approach is visualised using a healthcare case study, where hospital workflows are implemented.

KW - Parallel Process Modeling

KW - Hospital Workflow

KW - Role-Based Modeling

KW - Stepwise Refinement

KW - Workflow Modeling

KW - Refinement-Based Modeling

M3 - Published conference proceeding

SN - 978-3-032-12062-5

VL - 1

T3 - Lecture Notes in Business Information Processing

SP - 1

EP - 12

BT - 18th IFIP Working Conference, PoEM 2025

A2 - Fill, Hans-Georg

A2 - Wautelet, Yves

A2 - Ralyté, Jolita

A2 - Zdravkovic, Jelena

PB - Springer, Cham

CY - Switzerland

T2 - 18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling

Y2 - 3 December 2025 through 5 December 2025

ER -

Refinement-Driven Role-Based Enterprise Workflow Modeling Considering Access Control

Abstract

Publication series

Conference

Keywords

Fingerprint

Cite this