Simulation preorder semantics for traceability relations in enterprise architecture
2014 (English)In: 7th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, PoEM 2014, 2014, 103-117 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
2014. 103-117 p.
Enterprise Architecture, Traceability, Verification, Semantics, Enterprise architecture modeling, Formal Semantics, Military domains, Preorders, Program Verification, Simulation preorder, Formal methods
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-167865DOI: 10.1007/978-3-662-45501-2ScopusID: 2-s2.0-84916238704ISBN: 9783662455005OAI: oai:DiVA.org:kth-167865DiVA: diva2:821245
12 November 2014 through 13 November 2014
QC 201506152015-06-152015-05-222015-06-15Bibliographically approved