Constraint Formalization for Automated Assessment of Enterprise Models

S.M.M. Joosten; E.E. Roubtsova; El Makki Haddouchi

doi:10.5220/0011049200003179

Constraint Formalization for Automated Assessment of Enterprise Models

S.M.M. Joosten, E.E. Roubtsova^*, El Makki Haddouchi

^*Corresponding author for this work

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

67 Downloads (Pure)

Abstract

Enterprises always do their business within some restrictions. In a team of enterprise architects, the restrictions are transformed into the modelling conventions and the corresponding modelling constraints that should be consistently applied across all enterprise models.
This paper presents an approach for refining and formali\-zing modeling conventions into modelling constraints and using them for assessment of enterprise models by a software component called ArchiChecker. The specifics of the proposed approach is that the modeling conventions are first visualized and formalized using the types of elements and relationships of the ArchiMate modeling language, that is also used for modelling of enterprise views. The ArchiMate elements and relationships serve as types to formulate constraints. The elements and relationships in an ArchiMate model are instances of the ArchiMate elements and relationships. Using these types and instances the ArchiChecker automatically generates the lists of violations of modeling conventions in the enterprise models. Each violation shows how a specific enterprise view deviates from a given modeling convention.
The paper reports a case study of application of the proposed approach to enterprise modelling views and modelling conventions used in a medical center. The case study is used to discuss the added value of formalization and automated assessment of modelling constraints in enterprise modelling.

Original language	English
Title of host publication	Proceedings of the 24th International Conference on Enterprise Information Systems
Editors	Joaquim Filipe, Michal Smialek, Alexander Brodsky, Slimane Hammoudi
Publisher	SCITEPRESS-Science and Technology Publications, Lda.
Pages	430-441
Number of pages	12
Volume	2
ISBN (Print)	9789897585692
DOIs	https://doi.org/10.5220/0011049200003179
Publication status	Published - 25 Apr 2022
Event	The 24th International Conference on Enterprise Information Systems - Online,ICEIS, Setúbal, Portugal Duration: 25 Apr 2022 → 27 Apr 2022 Conference number: 24 https://iceis.scitevents.org

Conference

Conference	The 24th International Conference on Enterprise Information Systems
Abbreviated title	ICEIS2022
Country/Territory	Portugal
City	Setúbal
Period	25/04/22 → 27/04/22
Internet address	https://iceis.scitevents.org

Keywords

Ampersand-tool
ArchiMate
Enterprise Architecture Model
Modelling Constraints
Modelling Conventions

Access to Document

10.5220/0011049200003179Licence: CC BY-NC-ND

ConstraintsICEIS2022Final published version, 15.4 MBLicence: CC BY-NC-ND

OUrsi
Roubtsova, E. (Speaker)
4 Oct 2022
Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

Cite this

Joosten, S. M. M., Roubtsova, E. E., & Haddouchi, E. M. (2022). Constraint Formalization for Automated Assessment of Enterprise Models. In J. Filipe, M. Smialek, A. Brodsky, & S. Hammoudi (Eds.), Proceedings of the 24th International Conference on Enterprise Information Systems (Vol. 2, pp. 430-441). SCITEPRESS-Science and Technology Publications, Lda.. https://doi.org/10.5220/0011049200003179

Joosten, S.M.M. ; Roubtsova, E.E. ; Haddouchi, El Makki. / Constraint Formalization for Automated Assessment of Enterprise Models. Proceedings of the 24th International Conference on Enterprise Information Systems . editor / Joaquim Filipe ; Michal Smialek ; Alexander Brodsky ; Slimane Hammoudi. Vol. 2 SCITEPRESS-Science and Technology Publications, Lda., 2022. pp. 430-441

@inproceedings{e578e950f0764b939362d3bb79da90e4,

title = "Constraint Formalization for Automated Assessment of Enterprise Models",

abstract = "Enterprises always do their business within some restrictions. In a team of enterprise architects, the restrictions are transformed into the modelling conventions and the corresponding modelling constraints that should be consistently applied across all enterprise models.This paper presents an approach for refining and formali\-zing modeling conventions into modelling constraints and using them for assessment of enterprise models by a software component called ArchiChecker. The specifics of the proposed approach is that the modeling conventions are first visualized and formalized using the types of elements and relationships of the ArchiMate modeling language, that is also used for modelling of enterprise views. The ArchiMate elements and relationships serve as types to formulate constraints. The elements and relationships in an ArchiMate model are instances of the ArchiMate elements and relationships. Using these types and instances the ArchiChecker automatically generates the lists of violations of modeling conventions in the enterprise models. Each violation shows how a specific enterprise view deviates from a given modeling convention.The paper reports a case study of application of the proposed approach to enterprise modelling views and modelling conventions used in a medical center. The case study is used to discuss the added value of formalization and automated assessment of modelling constraints in enterprise modelling.",

keywords = "Ampersand-tool, ArchiMate, Enterprise Architecture Model, Modelling Constraints, Modelling Conventions",

author = "S.M.M. Joosten and E.E. Roubtsova and Haddouchi, {El Makki}",

note = "Joosten, S.; Roubtsova, E. and Haddouchi, E. (2022). Constraint Formalization for Automated Assessment of Enterprise Models. In Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 2, ISBN 978-989-758-569-2, ISSN 2184-4992, pages 430-441.; The 24th International Conference on Enterprise Information Systems , ICEIS2022 ; Conference date: 25-04-2022 Through 27-04-2022",

year = "2022",

month = apr,

day = "25",

doi = "10.5220/0011049200003179",

language = "English",

isbn = "9789897585692",

volume = "2",

pages = " 430--441",

editor = "Joaquim Filipe and Michal Smialek and Alexander Brodsky and Slimane Hammoudi",

booktitle = "Proceedings of the 24th International Conference on Enterprise Information Systems",

publisher = "SCITEPRESS-Science and Technology Publications, Lda.",

address = "Portugal",

url = "https://iceis.scitevents.org",

}

Joosten, SMM , Roubtsova, EE & Haddouchi, EM 2022, Constraint Formalization for Automated Assessment of Enterprise Models. in J Filipe, M Smialek, A Brodsky & S Hammoudi (eds), Proceedings of the 24th International Conference on Enterprise Information Systems . vol. 2, SCITEPRESS-Science and Technology Publications, Lda., pp. 430-441, The 24th International Conference on Enterprise Information Systems , Setúbal, Portugal, 25/04/22. https://doi.org/10.5220/0011049200003179

Constraint Formalization for Automated Assessment of Enterprise Models. / Joosten, S.M.M.; Roubtsova, E.E.; Haddouchi, El Makki.
Proceedings of the 24th International Conference on Enterprise Information Systems . ed. / Joaquim Filipe; Michal Smialek; Alexander Brodsky; Slimane Hammoudi. Vol. 2 SCITEPRESS-Science and Technology Publications, Lda., 2022. p. 430-441.

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

TY - GEN

T1 - Constraint Formalization for Automated Assessment of Enterprise Models

AU - Joosten, S.M.M.

AU - Roubtsova, E.E.

AU - Haddouchi, El Makki

N1 - Conference code: 24

PY - 2022/4/25

Y1 - 2022/4/25

N2 - Enterprises always do their business within some restrictions. In a team of enterprise architects, the restrictions are transformed into the modelling conventions and the corresponding modelling constraints that should be consistently applied across all enterprise models.This paper presents an approach for refining and formali\-zing modeling conventions into modelling constraints and using them for assessment of enterprise models by a software component called ArchiChecker. The specifics of the proposed approach is that the modeling conventions are first visualized and formalized using the types of elements and relationships of the ArchiMate modeling language, that is also used for modelling of enterprise views. The ArchiMate elements and relationships serve as types to formulate constraints. The elements and relationships in an ArchiMate model are instances of the ArchiMate elements and relationships. Using these types and instances the ArchiChecker automatically generates the lists of violations of modeling conventions in the enterprise models. Each violation shows how a specific enterprise view deviates from a given modeling convention.The paper reports a case study of application of the proposed approach to enterprise modelling views and modelling conventions used in a medical center. The case study is used to discuss the added value of formalization and automated assessment of modelling constraints in enterprise modelling.

AB - Enterprises always do their business within some restrictions. In a team of enterprise architects, the restrictions are transformed into the modelling conventions and the corresponding modelling constraints that should be consistently applied across all enterprise models.This paper presents an approach for refining and formali\-zing modeling conventions into modelling constraints and using them for assessment of enterprise models by a software component called ArchiChecker. The specifics of the proposed approach is that the modeling conventions are first visualized and formalized using the types of elements and relationships of the ArchiMate modeling language, that is also used for modelling of enterprise views. The ArchiMate elements and relationships serve as types to formulate constraints. The elements and relationships in an ArchiMate model are instances of the ArchiMate elements and relationships. Using these types and instances the ArchiChecker automatically generates the lists of violations of modeling conventions in the enterprise models. Each violation shows how a specific enterprise view deviates from a given modeling convention.The paper reports a case study of application of the proposed approach to enterprise modelling views and modelling conventions used in a medical center. The case study is used to discuss the added value of formalization and automated assessment of modelling constraints in enterprise modelling.

KW - Ampersand-tool

KW - ArchiMate

KW - Enterprise Architecture Model

KW - Modelling Constraints

KW - Modelling Conventions

U2 - 10.5220/0011049200003179

DO - 10.5220/0011049200003179

M3 - Conference Article in proceeding

SN - 9789897585692

VL - 2

SP - 430

EP - 441

BT - Proceedings of the 24th International Conference on Enterprise Information Systems

A2 - Filipe, Joaquim

A2 - Smialek, Michal

A2 - Brodsky, Alexander

A2 - Hammoudi, Slimane

PB - SCITEPRESS-Science and Technology Publications, Lda.

T2 - The 24th International Conference on Enterprise Information Systems

Y2 - 25 April 2022 through 27 April 2022

ER -

Constraint Formalization for Automated Assessment of Enterprise Models

Abstract

Conference

Keywords

Access to Document

Fingerprint

Activities

OUrsi

Cite this