| Autor: |
Joosten, S.M.M., Haddouchi, E.M., Roubtsova, E.E. |
| Jazyk: |
angličtina |
| Rok vydání: |
2020 |
| Předmět: |
|
| Zdroj: |
Joosten, S M M, Haddouchi, E M & Roubtsova, E E 2020 ' Design Policy Checking in ArchiMate : On the Cases Technology Policies in a Medical Center ' EasyChair . |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
