Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture - HAL Accéder directement au contenu
Communication dans un congrès Année : 2014

Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture

Résumé

The paper proposes a formal semantics for traceability relations in enterprise architecture. The proposed semantics requires that traceability relations should be simulation preorders, a requirement on abstraction relations widely used in program verification. The effectiveness of the proposed semantics is illustrated on a well-known enterprise architecture model from the military domain.
Fichier principal
Vignette du fichier
978-3-662-45501-2_8_Chapter.pdf ( 4 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01281992, version 1 (03-03-2016)

Licence

Paternité - CC BY 4.0

Identifiants

Citer

Mika Cohen. Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture. 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.103-117, ⟨10.1007/978-3-662-45501-2_8⟩. ⟨hal-01281992⟩
415 Consultations
70 Téléchargements
Dernière date de mise à jour le 07/04/2024
comment ces indicateurs sont-ils produits

Altmetric

Partager

Gmail Facebook Twitter LinkedIn Plus