%0 Conference Proceedings
%T Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture
%+ Swedish Defence Research Agency [Stockholm] (FOI)
%+ KTH Royal Institute of Technology [Stockholm] (KTH )
%A Cohen, Mika
%< avec comité de lecture
%( Lecture Notes in Business Information Processing
%B 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM)
%C Manchester, United Kingdom
%Y Ulrich Frank
%Y Pericles Loucopoulos
%Y Óscar Pastor
%Y Ilias Petrounias
%I Springer
%3 The Practice of Enterprise Modeling
%V LNBIP-197
%P 103-117
%8 2014-11-12
%D 2014
%R 10.1007/978-3-662-45501-2_8
%K Enterprise Architecture
%K Traceability
%K Verification
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 8
%Z WG 8.1
%2 https://inria.hal.science/hal-01281992/document
%2 https://inria.hal.science/hal-01281992/file/978-3-662-45501-2_8_Chapter.pdf
%L hal-01281992
%U https://inria.hal.science/hal-01281992
%~ SHS
%~ IFIP
%~ IFIP-TC
%~ IFIP-LNBIP
%~ IFIP-WG
%~ IFIP-LNBIP-197
%~ IFIP-TC8
%~ IFIP-WG8-1