000055770 001__ 55770
000055770 005__ 20190316233545.0
000055770 037__ $$aCONF
000055770 245__ $$aOperational ASM Semantics behind Graphical SEAM Notation
000055770 269__ $$a2003
000055770 260__ $$c2003
000055770 336__ $$aConference Papers
000055770 520__ $$aThe 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.
000055770 6531_ $$aOperational semantics
000055770 6531_ $$aSEAM
000055770 6531_ $$aASM
000055770 6531_ $$aAsmL
000055770 700__ $$0241120$$g118299$$aBalabko, Pavel
000055770 700__ $$aRychkova, Irina
000055770 700__ $$g112464$$aWegmann, Alain$$0241922
000055770 7112_ $$cParis$$aDAIS/FMOODS Ph.D. workshop
000055770 773__ $$tDAIS/FMOODS Ph.D. workshop$$q10
000055770 8564_ $$uhttps://infoscience.epfl.ch/record/55770/files/ASM_semantics_for_SEAM.pdf$$zn/a$$s204648
000055770 909C0 $$xU10412$$0252193$$pLAMS
000055770 909CO $$qGLOBAL_SET$$pconf$$ooai:infoscience.tind.io:55770$$pIC
000055770 937__ $$aLAMS-CONF-2003-010
000055770 970__ $$a678/LCATOLAMS
000055770 973__ $$sPUBLISHED$$aEPFL
000055770 980__ $$aCONF