资源描述:
《an asm semantics of uml derived from the meta-model and incorporating actions》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、AnASMSemanticsofUMLDerivedfromtheMeta-modelandIncorporatingActions*IleanaOberVERIMAGCentreÉquation-2,avenuedeVignate38610Gieres,Franceileana.ober@imag.frAbstract.WepresentanapproachtowardsaformaldynamicsemanticsforUMLusingASM.Weaimtoremainascloseaspossibletothe
2、standarddefinitionofUMLandtocovertheoperationalpartofthelanguagewithparticularattentiontothebehaviordescriptionbasedonactions.ToremainclosetothestandardUML,weautomaticallytranslatetheUMLmetamodelinASM.Thisallowstotakeintoaccountalltheconceptsandrelationshipscon
3、tainedinthestandard,andtominimizethechangessubsequenttothefrequentupdatesofthestandard.Forthedynamicpart,theparticularityofourapproachisthatwefocusonactions,asdefinedinourproposaltotheOMGactionsemanticsworkinggroup.Wedealwithconcurrency,signalexchange,operation
4、calls,generalcommunicationprimitives,etc.Wedonotdefinethesemanticsofstatemachines,butweclearlydefinetheirplacewithintheframeworkofoursemantics.WealsodescribehowtheASMdomainsandfunctionsusedinthesemanticsarebuiltinitiallyfromaparticularUMLmodel.1IntroductionWhil
5、eUMLisrapidlybecomingtheindustrystandardformodeling,itsstandarddefinitiondoesnotcontainaprecisesemantics.ThesemanticsofUMLisdefined,inChapter2of[19],byatextualdescriptioncomingwithsomemeta-modelingdescription(anofabstractsyntaxofthelanguage).Apreliminarypartofo
6、urresearch,notdescribedinthispaper,thatcanbefoundin[15,17]consistedindefiningamechanismforbehaviordescriptionbasedonactions.ThisworkwasdoneasaresponsetoanofficialrequestbytheOMG,inconjunctionwiththeActionSemanticsWorkingGroup.Tocompletethebehaviordescriptionmec
7、hanismbasedonactions,weformalizeitintheframeworkoftheentireUMLlanguage.InthispaperwepresentaUMLformalizationapproachusingAbstractStateMachines(ASM)[10].WehavechosentheformalismofASMsforitsexpressingpowercoupledwithahighlevelofabstraction,thatappliednicelytoarel
8、ated*ThemajorpartofthisworkwasdonewhiletheauthorwasatTelelogic(www.telelogic.com).AdditionalsupportprovidedbytheOMEGAprojectIST-33522(http://www-omega.imag.fr).formalization