Design Policy Checking in ArchiMate: On the Cases Technology Policies in a Medical Center

Research output: Working paper / PreprintPreprintAcademic

12 Downloads (Pure)

Abstract

This paper presents the results of an investigation on the automatic verification of organization-specific policies in the context of the Open Group enterprise modeling language ArchiMate. This paper analyses a set of technical design policies from a hospital, reformulating them for automated checking within the hospital’s own architecture models. The policies have been modeled in a semantic language called Ampersand, which is based on relation algebra. This investigation has used Ampersand as an architecture checking tool. By analyzing 10 real-world policies from a hospital, we demonstrate that policies can be verified automatically in ArchiMate models. This work is a step towards the automated checking of architecture policies, which enhances the possibilities of ArchiMate beyond visualization only.
Original languageEnglish
PublisherEasyChair
Number of pages23
Volume4129
Publication statusPublished - 2 Sep 2020

Keywords

  • Business rules
  • Enterprise Models
  • ArchiMate

Fingerprint

Dive into the research topics of 'Design Policy Checking in ArchiMate: On the Cases Technology Policies in a Medical Center'. Together they form a unique fingerprint.

Cite this