Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture - Lecture Notes in Business Information Processing: LNBIP 197 Access content directly
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

Attribution

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⟩
415 View
70 Download

Altmetric

Share

Gmail Facebook X LinkedIn More