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.