DocumentCode
2164418
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
fYear
2007
fDate
15-16 Oct. 2007
Firstpage
260
Lastpage
268
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;
fLanguage
English
Publisher
ieee
Conference_Titel
EDOC Conference Workshop, 2007. EDOC '07. Eleventh International IEEE
Conference_Location
Annapolis, MD
Electronic_ISBN
978-0-7695-3338-4
Type
conf
DOI
10.1109/EDOCW.2007.3
Filename
4566981
Link To Document