Design Policy Checking in ArchiMate. On the Cases Technology Policies in a Medical Center. EasyChair Preprint no. 4129

Press/Media: OtherPopular

Description

This paper presents the results of an investigation on the automatic verification of organization-specific policies in the context of the Open Group enterprise model-ing 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 Ar-chiMate models. This work is a step towards the automated checking of architec-ture policies, which enhances the possibilities of ArchiMate beyond visualization only.

Period25 Feb 2021

Media contributions

1

Media contributions

  • TitleDesign Policy Checking in ArchiMate. On the Cases Technology Policies in a Medical Center
    Degree of recognitionInternational
    Media name/outleteasychair
    Media typePrint
    Date25/02/21
    DescriptionThis paper presents the results of an investigation on the automatic verification of organization-specific policies in the context of the Open Group enterprise model-ing 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 Ar-chiMate models. This work is a step towards the automated checking of architec-ture policies, which enhances the possibilities of ArchiMate beyond visualization only.
    URLhttps://easychair.org/publications/preprint/wKvx
    PersonsStef Joosten, El Makki Haddouchi, Ella Roubtsova