Operational ASM Semantics behind Graphical SEAM Notation

The context of this paper is Enterprise Architecture (EA). EA is a multi-disciplinary approach that allows dierent specialists to design new business and IT systems and focuses on the integration of these systems. Our group develops a specic EA method that is called SEAM. The current version of SEAM has a formal denotational seman- tics for its modeling language. In order to provide model simulation and checking at each level of abstraction, SEAM needs an operational se- mantics. Currently this work is at the stage of problem setting. In this paper1we present SEAM and describe the main research problem. We propose to use ASM as operational semantics for SEAM to verify that models, produced by dierent specialists are consistent.We illustrate our approach by giving an example of SEAM notation that has already been mapped to ASM.


Published in:
DAIS/FMOODS Ph.D. workshop, 10
Presented at:
DAIS/FMOODS Ph.D. workshop, Paris
Year:
2003
Keywords:
Laboratories:




 Record created 2005-10-20, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

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