Title :
An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy
Author :
Wegmann, Alain ; Lam-Son Le ; Rychkova, Irina ; Regev, Gil
Author_Institution :
Sch. of Comput. & Commun. Sci., Ecole Polytech. Fed. de Lausanne, Lausanne
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.
Keywords :
ontologies (artificial intelligence); software architecture; Alloy; RM-ODP; SEAM; enterprise architecture; hierarchical system model; Companies; Computer architecture; Conferences; Education; Formal specifications; Gas insulated transmission lines; Hierarchical systems; Ontologies;
Conference_Titel :
EDOC Conference Workshop, 2007. EDOC '07. Eleventh International IEEE
Conference_Location :
Annapolis, MD
Electronic_ISBN :
978-0-7695-3338-4
DOI :
10.1109/EDOCW.2007.3
