An example of a hierarchical system model using SEAM and its formalization in Alloy

Authors

Alain Wegmann, Ecole Polytechnique Fédérale de Lausanne
Lam-Son Le, Ecole Polytechnique Fédérale de LausanneFollow
Jose Diego de la Cruz, Ecole Polytechnique Fédérale de Lausanne
Irina Rychkova, Ecole Polytechnique Fédérale de Lausanne
Gil Regev, Ecole Polytechnique Fédérale de Lausanne

RIS ID

40910

Publication Details

Wegmann, A., Le, L., Cruz, J., Rychkova, I. & Regev, G. (2007). An example of a hierarchical system model using SEAM and its formalization in Alloy. 2007 11th International IEEE EDOC Conference Workshop, EDOCW'07 (pp. 260-268). Piscataway, New Jersey, USA: IEEE.

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.