Validation of user intentions in process models

Gerd Gröner; Mohsen Asadi; Bardia Mohabbati; Dragan Gašević; Fernando Silva Parreiras; Marko Bošković

doi:10.1007/978-3-642-31095-9_24

Validation of user intentions in process models

Gerd Gröner, Mohsen Asadi, Bardia Mohabbati, Dragan Gašević, Fernando Silva Parreiras, Marko Bošković

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

6 Citations (Scopus)

Abstract

Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns- strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.

Original language	English
Title of host publication	Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings
Pages	366-381
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-31095-9_24
Publication status	Published - 29 Oct 2012
Externally published	Yes
Event	24th International Conference on Advanced Information Systems Engineering, CAiSE 2012 - Gdansk, Poland Duration: 25 Jun 2012 → 29 Jun 2012

Publication series

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

Conference

Conference	24th International Conference on Advanced Information Systems Engineering, CAiSE 2012
Country	Poland
City	Gdansk
Period	25/06/12 → 29/06/12

Keywords

goal-oriented process engineering
inconsistency detection
requirement modeling

Access to Document

10.1007/978-3-642-31095-9_24

Link to publication in Scopus

Cite this

Gröner, G., Asadi, M., Mohabbati, B., Gašević, D., Silva Parreiras, F., & Bošković, M. (2012). Validation of user intentions in process models. In Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings (pp. 366-381). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7328 LNCS). https://doi.org/10.1007/978-3-642-31095-9_24

Gröner, Gerd ; Asadi, Mohsen ; Mohabbati, Bardia ; Gašević, Dragan ; Silva Parreiras, Fernando ; Bošković, Marko. / Validation of user intentions in process models. Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings. 2012. pp. 366-381 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{75f8e3774c7c4e0089bb46212d883576,

title = "Validation of user intentions in process models",

abstract = "Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns- strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.",

keywords = "goal-oriented process engineering, inconsistency detection, requirement modeling",

author = "Gerd Gr{\"o}ner and Mohsen Asadi and Bardia Mohabbati and Dragan Ga{\v s}evi{\'c} and {Silva Parreiras}, Fernando and Marko Bo{\v s}kovi{\'c}",

year = "2012",

month = oct,

day = "29",

doi = "10.1007/978-3-642-31095-9_24",

language = "English",

isbn = "9783642310942",

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

pages = "366--381",

booktitle = "Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings",

note = "24th International Conference on Advanced Information Systems Engineering, CAiSE 2012 ; Conference date: 25-06-2012 Through 29-06-2012",

}

Gröner, G, Asadi, M, Mohabbati, B, Gašević, D, Silva Parreiras, F & Bošković, M 2012, Validation of user intentions in process models. in Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7328 LNCS, pp. 366-381, 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, Gdansk, Poland, 25/06/12. https://doi.org/10.1007/978-3-642-31095-9_24

Validation of user intentions in process models. / Gröner, Gerd; Asadi, Mohsen; Mohabbati, Bardia; Gašević, Dragan; Silva Parreiras, Fernando; Bošković, Marko.

Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings. 2012. p. 366-381 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7328 LNCS).

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

TY - GEN

T1 - Validation of user intentions in process models

AU - Gröner, Gerd

AU - Asadi, Mohsen

AU - Mohabbati, Bardia

AU - Gašević, Dragan

AU - Silva Parreiras, Fernando

AU - Bošković, Marko

PY - 2012/10/29

Y1 - 2012/10/29

N2 - Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns- strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.

AB - Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns- strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.

KW - goal-oriented process engineering

KW - inconsistency detection

KW - requirement modeling

UR - http://www.scopus.com/inward/record.url?scp=84867763363&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-31095-9_24

DO - 10.1007/978-3-642-31095-9_24

M3 - Conference Paper

AN - SCOPUS:84867763363

SN - 9783642310942

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

SP - 366

EP - 381

BT - Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings

T2 - 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012

Y2 - 25 June 2012 through 29 June 2012

ER -

Gröner G, Asadi M, Mohabbati B, Gašević D, Silva Parreiras F, Bošković M. Validation of user intentions in process models. In Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings. 2012. p. 366-381. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-31095-9_24