An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy
Wegmann, Alain; Lê, Lam-Son; de la Cruz, José Diego; Rychkova, Irina; Regev, Gil
2007

Files

Abstract

SEAM is an enterprise architecture method based on RM-ODP part 2. In this paper, we present an example of a SEAM hierarchical model where the behavioral part is formalized in Alloy. We introduce four kinds of actions and their relationships to properties that specify object state. We show that the Alloy formalization enables us to check that the SEAM model conforms to the required aspects of the universe of discourse.

Details

Title An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy
Author(s) Wegmann, Alain ; Lê, Lam-Son ; de la Cruz, José Diego ; Rychkova, Irina ; Regev, Gil
Conference 4th International Workshop on ODP for Enterprise Computing (WODPEC 2007), Annapolis, Maryland, October 15
Date 2007
Keywords
Laboratories LAMS
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMS - Systemic Enterprise Architecture Methodology Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2007-09-29

Actions

Preview