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 proceedingConference PaperResearchpeer-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 languageEnglish
Title of host publicationAdvanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings
Pages366-381
Number of pages16
DOIs
Publication statusPublished - 29 Oct 2012
Externally publishedYes
Event24th International Conference on Advanced Information Systems Engineering, CAiSE 2012 - Gdansk, Poland
Duration: 25 Jun 201229 Jun 2012

Publication series

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

Conference

Conference24th International Conference on Advanced Information Systems Engineering, CAiSE 2012
CountryPoland
CityGdansk
Period25/06/1229/06/12

Keywords

  • goal-oriented process engineering
  • inconsistency detection
  • requirement modeling

Cite this