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.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01281992
Contributor : Hal Ifip <>
Submitted on : Thursday, March 3, 2016 - 10:29:47 AM
Last modification on : Monday, May 9, 2016 - 6:08:16 PM
Long-term archiving on : Saturday, June 4, 2016 - 10:42:10 AM

File

978-3-662-45501-2_8_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

448

Files downloads

123