Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2014

Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture

Abstract

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 le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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⟩
425 View
81 Download

Altmetric

Share

More