Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
Rychkova, I; Wegmann, A
2007

Fichiers

Résumé

SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalization. This paper complements the existing SEAM semantics by formalizing property-property relations. This formalization is based on the theory of multi-relations and Relation Partition Algebra (RPA).

Détails

Titre Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
Auteur(s) Rychkova, I ; Wegmann, A
Publié dans Proceedings of the 5th international workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007
Présenté à Proceedings of the 5th international workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007. In conjunction with ICEIS 2007, Funchal, Madeira - Portugal, june 2007
Date 2007
Lien supplémentaire URL
Laboratoires LAMS
Le document apparaît dans Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LAMS - Laboratoire de modélisation systémique
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice 2007-10-01

Actions

Aperçu