000055770 001__ 55770
000055770 005__ 20180317094245.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$$aBalabko, Pavel$$g118299
000055770 700__ $$aRychkova, Irina
000055770 700__ $$0241922$$aWegmann, Alain$$g112464
000055770 7112_ $$aDAIS/FMOODS Ph.D. workshop$$cParis
000055770 773__ $$q10$$tDAIS/FMOODS Ph.D. workshop
000055770 8564_ $$s204648$$uhttps://infoscience.epfl.ch/record/55770/files/ASM_semantics_for_SEAM.pdf$$zn/a
000055770 909CO $$ooai:infoscience.tind.io:55770$$pIC$$pconf
000055770 909C0 $$0252193$$pLAMS$$xU10412
000055770 937__ $$aLAMS-CONF-2003-010
000055770 970__ $$a678/LCATOLAMS
000055770 973__ $$aEPFL$$sPUBLISHED
000055770 980__ $$aCONF