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

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.


Presented at:
4th International Workshop on ODP for Enterprise Computing (WODPEC 2007), Annapolis, Maryland, October 15
Year:
2007
Keywords:
Laboratories:




 Record created 2007-09-29, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)