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^*

^*Tämän työn vastaava kirjoittaja

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	18th IFIP Working Conference, PoEM 2025
Toimittajat	Hans-Georg Fill, Yves Wautelet, Jolita Ralyté, Jelena Zdravkovic
Julkaisupaikka	Switzerland
Kustantaja	Springer, Cham
Sivut	1-12
Sivumäärä	12
Vuosikerta	1
ISBN (elektroninen)	978-3-032-12063-2
ISBN (painettu)	978-3-032-12062-5
Tila	Julkaistu - jouluk. 2025
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling - Geneva, Switzerland Kesto: 3 jouluk. 2025 → 5 jouluk. 2025 Konferenssinumero: 18 https://poem2025.unige.ch/

Julkaisusarja

Nimi	Lecture Notes in Business Information Processing
ISSN (painettu)	1865-1348
ISSN (elektroninen)	1865-1356

Konferenssi

Konferenssi	18th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling
Lyhennettä	PoEM
Maa/Alue	Switzerland
Kaupunki	Geneva
Ajanjakso	03/12/25 → 05/12/25
www-osoite	https://poem2025.unige.ch/

Viittausmuodot

@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. julkaisussa H-G Fill, Y Wautelet, J Ralyté & J Zdravkovic (toim), 18th IFIP Working Conference, PoEM 2025. Vuosikerta 1, Lecture Notes in Business Information Processing, Springer, Cham, Switzerland, Sivut 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. toim. / Hans-Georg Fill; Yves Wautelet; Jolita Ralyté; Jelena Zdravkovic. Vuosikerta 1 Switzerland: Springer, Cham, 2025. s. 1-12 (Lecture Notes in Business Information Processing).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

Abstrakti

Julkaisusarja

Konferenssi

Sormenjälki

Viittausmuodot