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.
Type de document :
Communication dans un congrès
Ulrich Frank; Pericles Loucopoulos; Óscar Pastor; Ilias Petrounias. 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. Springer, Lecture Notes in Business Information Processing, LNBIP-197, pp.103-117, 2014, The Practice of Enterprise Modeling. 〈10.1007/978-3-662-45501-2_8〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01281992
Contributeur : Hal Ifip <>
Soumis le : jeudi 3 mars 2016 - 10:29:47
Dernière modification le : lundi 9 mai 2016 - 18:08:16
Document(s) archivé(s) le : samedi 4 juin 2016 - 10:42:10

Fichier

978-3-662-45501-2_8_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Mika Cohen. Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture. Ulrich Frank; Pericles Loucopoulos; Óscar Pastor; Ilias Petrounias. 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. Springer, Lecture Notes in Business Information Processing, LNBIP-197, pp.103-117, 2014, The Practice of Enterprise Modeling. 〈10.1007/978-3-662-45501-2_8〉. 〈hal-01281992〉

Partager

Métriques

Consultations de la notice

227

Téléchargements de fichiers

38