Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...