An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

Authors:
Alain Wegmann;Lam-Son Lê;Irina Rychkova;Gil Regev
Affiliations:
-;-;-;-
Venue:
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Year:
2007

Citing 0
Cited 1

Hierarchy-oriented modeling of enterprise architecture using reference-model of open distributed processing

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

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: RM-ODP, Enterprise Architecture, Ontology, Formalization, Alloy.