IEEE - Institute of Electrical and Electronics Engineers, Inc. - An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

2007 11th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOC Workshops)

Author(s): A. Wegmann ; Lam-Son Le ; I. Rychkova ; G. Regev
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2007
Conference Location: Annapolis, MD, USA
Conference Date: 15 October 2007
Page(s): 260 - 268
ISBN (Online): 978-0-7695-3338-4
DOI: 10.1109/EDOCW.2007.3
Regular:

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... View More

Advertisement