xMOF:ASemanticsSpecicationLanguageforMetamodelingTanjaMayerhofer,PhilipLanger,ManuelWimmerBusinessInformaticsGroup,ViennaUniversityofTechnology,Austria{mayerhofer,langer,wimmer}@big.
tuwien.
ac.
atAbstract.
WhileMOFconstitutesastandardizedandwidelyacceptedlanguageforformallydeningamodelinglanguage'sabstractsyntax,nostandardizedlanguageforspecifyingitsbehavioralsemanticsexists.
Thisimpedestheef-cientdevelopmentoftoolswhichbuilduponthebehavioralsemanticsofmodel-inglanguages,suchasmodelinterpreters,debuggers,andtestingenvironments.
Toaddressthisshortcoming,weproposetoadoptthestandardizedactionlan-guagefUMLassemanticsspecicationlanguageinmetamodeling.
Inthispa-perwepresenttoolsupportintegratedwiththeEMFenvironmentforspecifyingthebehavioralsemanticsofmodelinglanguageswithfUMLaswellasforex-ecutingmodelsbasedonthesespecications.
Ateaserforthedemonstrationofthistoolsupportcanbefoundathttp://www.
youtube.
com/watchv=p4alBfqbjk8.
1IntroductionInmodel-drivenengineering(MDE),modelsconstitutethecentralartifactsinthesoft-waredevelopmentprocess.
Thus,thesuccessofMDEdependssignicantlyontheavailabilityofadequatetoolsupportforcreating,exploring,analyzing,andutilizingmodels.
Todevelopsuchtoolsefciently,modelinglanguages(i.
e.
,theirsyntaxandse-mantics)havetobedenedformally[1].
MOF[4]constitutesastandardizedandwidelyacceptedmetamodelinglanguageforformallydeningtheabstractsyntaxofmodelinglanguagesandlaidthegroundfortheemergenceofavarietyoftoolsbuildingupontheabstractsyntaxdenitionofamodelinglanguage,suchastechniquesforderivingmod-elingeditorsfromametamodelandgenericcomponentsformodelserializationandcomparison.
Despitethefactthatseveralapproachesforformallyspecifyingthebehav-ioralsemanticsofmodelinglanguageshavebeenproposedinthepast(cf.
[1]),noneoftheseapproachesiswidelyadoptedcomparedtometamodelinglanguages.
Thisham-perstheefcientdevelopmentoftoolswhichbuilduponthebehavioralsemanticsofamodelinglanguage,suchasmodelinterpreters,debuggers,andtestingenvironments.
Duetothislackofastandardizedlanguageforspecifyingthebehavioralseman-ticsofmodelinglanguages,weinvestigatedwhetherthestandardizedactionlanguagefUML[6]canbeusedassemanticsspecicationlanguageinmetamodelingandhowitcanbeintegratedwithexistingmetamodelingmethodologiesandenvironments.
ThisinvestigationresultedinthemetamodelinglanguageexecutableMOF(xMOF)integrat-ingfUMLwithEcore,whichisthemostprominentimplementationofMOFandem-ployedinEMF[7].
Furthermore,weelaboratedamethodologyforsystematicallydevel-opingsemanticsspecicationswithxMOFandutilizingthemformodelexecution.
Thismethodologyintegratesseamlesslywithexistingmetamodelingmethodologiesanden-vironmentswhichenabledustoimplementconformingtoolsupportforEMF1.
InSection2wegiveanoverviewofourmetamodelinglanguagexMOF.
InSec-tion3wepresentourmethodologyfordevelopingsemanticsspecicationsandexe-cutingmodelsbasedonxMOFanditstoolsupportinEMF.
InSection4wegiveanoverviewofthetooldemonstration.
Finally,inSection5weconcludethispaper.
2SemanticsSpecicationLanguagexMOFfUML[6]isasubsetofUML[5]comprisingmodelingconceptsfordeningUMLclasses,aswellasactivitiesdeningtheclasses'behavior.
Furthermore,fUMLdenestheexecutionsemanticsofthisUMLsubsetintermsofavirtualmachine(VM)capableofexecutingcompliantmodels.
BecauseUMLclassesandMOFmetaclassesdifferonlyintheirintendedusage(modelingofsystemsvs.
modelingoflanguages),wearguethatfUMLmightbewellsuitedforalsodeningthebehaviorofmetaclasses.
Furthermore,asfUMLisanobject-orientedandimperativeactionlanguageandwellknownintheMDEcommunityasitisasubsetofUML,whichiswidelyadoptedinMDE,itmightbeintuitivetouseforspecifyingthebehavioralsemanticsofmodelinglanguages.
AsbothMOFandfUMLarestandardizedbyOMG,fUMLmaybeconsideredaspromisingcandidateforbecomingastandardizedactionlanguageinmetamodeling.
ForintegratingfUMLwithexistingmetamodelinglanguagesinordertoenablethespecicationofthebehavioralsemanticsofmodelinglanguagesweidentiedtwostrategies[3]:atransformation-basedandanintegration-basedstrategy.
Becauseofthebetterintegrationwithexistingmetamodelingenvironmentswedecidedtoapplytheintegration-basedstrategy.
Inthisstrategy,ametamodelinglanguageisextendedwiththebehavioralpartoffUMLcomprisingmodelingconceptsfordeningactivitiesandactionssothatthebehaviorofmetaclassoperationsdenedinthemetamodelofamod-elinglanguagecanbespeciedintermsoffUMLactivities.
ByapplyingthisstrategyforintegratingfUMLwithEcore,whichisthemostprominentimplementationofMOF,weobtainedanewmetamodelinglanguagewhichwecalledexecutableMOF(xMOF).
ThemetamodelofxMOFisdepictedinFigure1.
ForintegratingEcorewiththebe-havioralpartoffUMLweintroducedthemetaclassesBehavioredEClassier,Behaviored-EClass,MainEClass,andBehavioredEOperation.
ThemetaclassBehavioredEClassierisasubclassofEClassierandcanownBehaviorsintermsofActivities.
Behaviored-EClassisaconcretesubclassofBehavioredEClassierandEClassandcanthereforeownActivities.
TheclassMainEClassisintroducedtodistinguishoneBehavioredEClassinasemanticsspecicationasthemainclasscontrollingtheexecutionofamodelcon-formingtothemodelinglanguage.
WealsointroducedasubclassofEOperationcalledBehavioredEOperationwhosebehaviorcanbedenedbyanActivity.
3MethodologyforDevelopingxMOFSemanticsSpecicationsWithxMOFitispossibletodenetheabstractsyntaxandthebehavioralsemanticsofmodelinglanguages.
TofosterthesystematicandefcientdevelopmentofbehavioralsemanticsspecicationsusingxMOF,aswellastheutilizationofthesespecications1ThemetamodelofxMOF,thesourcecodeofourtoolsupport,aswellasdemosandcasestudiescanbefoundatourprojectwebsitehttp://www.
modelexecution.
org.
Fig.
1:MetamodelofxMOF(excerpt)forexecutingmodels,weelaboratedadedicatedmethodologywhichisaccompaniedbyEMF-basedtoolsupport.
AnoverviewofourmethodologyisdepictedinFigure2.
Inthesemanticsspecication,thebehavioralsemanticsofamodelinglanguageisdevelopedstartingfromitsEcore-basedmetamodel.
Thebehavioralsemanticsisde-nedinanownartifactcalledxMOF-basedcongurationwhichisautomaticallyinitial-ized.
Inthisinitializationonesubclass(BehavioredEClass)ofeachmetaclassdenedinthemetamodelisgenerated.
Theyarecalledcongurationclassesandcanbeex-tendedwithadditionalattributes,references,operations,andactivitiesforspecifyingthebehavioralsemanticsofthemetaclasses.
Alsoadditionalcongurationclassescanbedened.
Furthermore,oneBehavioredEClasscalledInitializationisgeneratedwhichcanbeusedtodenesupplementarydatathatisnecessaryasadditionalinputforex-ecutingmodelsbasedonthissemanticsspecication.
Thisclasscanbeextendedwithattributes,references,andadditionalcontainedclassescalledinitializationclasses.
Inthemodelexecutionpreparation,preparatorytasksforexecutingamodelac-cordingtothexMOF-basedbehavioralsemanticsspecicationoftheusedmodelinglanguagearecarriedout.
InEMF,modelsconsistofinstancesofthemetaclassesde-nedintheEcore-basedmetamodeloftheusedmodelinglanguage.
Asthesemanticsofthesemetaclassesisdenedbytheoperationsintroducedinthecongurationclasses,themodeltobeexecutedhastoberepresentedintermsofinstancesoftherespectivecongurationclasses.
ThisrepresentationiscalledxMOF-basedmodelandisgeneratedautomatically.
Thesupplementarydataneededasinputforexecutingamodeldenedbytheinitializationclasseshastobeinstantiatedmanuallybythemodeler.
ThexMOF-basedmodelcanbeexecutedbyleveragingthefUMLVM(modelexe-cution).
Therefore,itisautomaticallyconvertedintoanfUML-basedmodelconformingtotheformatrequiredbythefUMLVM.
DuringtheexecutionthefUMLVMinterpretstheactivitiesspecifyingthebehavioralsemanticsofthemodelinglanguageandmanip-ulatesthefUML-basedmodelaccordingly.
TheresultoftheexecutionconsistsofthemanipulatedfUML-basedmodel(fUMLextensionalvalues)representingtheruntimestateoftheexecutedmodelaftertheexecutionnished.
Forenablingitsvisualizationmodelannotationsaregeneratedfortheexecutedmodel.
ForthiswemakeuseofEMFProles[2]whichisanmechanismforannotatingEMF-basedmodels.
Fig.
2:OverviewofoursemanticsspecicationapproachbasedonfUML4DemonstrationInthedemonstrationofourtoolsupportforspecifyingthebehavioralsemanticsofmod-elinglanguages,wewilldevelopaPetriNetmodelinglanguage(PNML)followingthemethodologyintroducedinSection3.
WewillshowcasehowthefollowingtasksareaccomplishedusingourEMF-basedtoolsupport:(i)initializationofthexMOF-basedcongurationfromtheEcore-basedmetamodelofPNML,(ii)specicationofthebe-havioralsemanticsofPNMLbyextendingthexMOF-basedconguration,(iii)execu-tionofPNMLmodelsbasedonthexMOF-basedcongurationofPNML.
TheEcore-basedmetamodelofPNML(cf.
Figure3a)denesthataNetconsistsofPlacesandTransitionswhereasaTransitionisassociatedwithatleastoneinputandoneoutputPlace.
ThexMOF-basedcongurationofPNML(cf.
Figure3b)consistsofthecongurationclassesNetConguration,PlaceConguration,andTransitionCongurationgeneratedforthemetaclassesofPNML.
ForthecongurationclassTransitionCong-urationtheoperationre()wasintroducedwhosebehaviorisspeciedbytheactivitydepictedinFigure3c.
ThisactivityspeciesthatfortheoutputplacesofatransitiontheoperationaddToken()iscalledwhilefortheinputplacesremoveToken()isinvoked.
Fur-thermore,theinitializationclassTokenwasintroducedwhichhastobeusedfordeningtheinitialtokendistributioninthenettoenabletheexecutingofaPNMLmodel.
5ConclusionWehavepresentedthemetamodelinglanguagexMOFintegratingfUMLwithEcore.
Itenablestodenethebehavioralsemanticsofmodelinglanguagesinanoperationalway.
Furthermore,wegaveanoverviewaboutourmethodologyfordevelopingxMOF-basedsemanticsspecicationsandutilizingthemformodelexecutionandwepresentedaccompanyingtoolsupportforEMF.
Toevaluatetheapplicabilityofoursemanticsspecicationapproach,wecarriedoutseveralcasestudiesinwhichwedevelopedthebehavioralsemanticsspecicationsofdistinctmodelinglanguagesandutilizedthesespecicationstoexecuteconformingFig.
3:ToolsupportforspecifyingbehavioralsemanticswithfUMLmodelsusingtheimplementedtoolsupport.
Insummary,thecasestudiesconrmedthatxMOF,itsaccompanyingmethodology,anditstoolsupportareapplicablefordeningthebehavioralsemanticsofdifferentkindsofmodelinglanguages.
Regardingthesuit-abilityoffUMLassemanticsspecicationlanguage,wecometotheconclusionthatduetoitsobject-orientedandimperativenature,fUMLishighlysuitable.
References1.
B.
R.
Bryant,J.
Gray,M.
Mernik,P.
J.
Clarke,R.
B.
France,andG.
Karsai.
ChallengesandDirectionsinFormalizingtheSemanticsofModelingLanguages.
ComputerScienceandInformationSystems,8(2):225–253,2011.
2.
P.
Langer,K.
Wieland,M.
Wimmer,andJ.
Cabot.
EMFProles:ALightweightExtensionApproachforEMFModels.
JournalofObjectTechnology,11(1):1–29,2012.
3.
T.
Mayerhofer,P.
Langer,andM.
Wimmer.
TowardsxMOF:ExecutableDSMLsbasedonfUML.
InProc.
ofthe12thWorkshoponDomain-SpecicModeling,pages1–6.
ACM,2012.
4.
ObjectManagementGroup.
OMGMetaObjectFacility(MOF)CoreSpecication,Version2.
4.
1,August2011.
Availableat:http://www.
omg.
org/spec/MOF/2.
4.
1.
5.
ObjectManagementGroup.
OMGUniedModelingLanguage(OMGUML),Superstructure,Version2.
4.
1,August2011.
Availableat:http://www.
omg.
org/spec/UML/2.
4.
1.
6.
ObjectManagementGroup.
SemanticsofaFoundationalSubsetforExecutableUMLMod-els(fUML),Version1.
0,February2011.
Availableat:http://www.
omg.
org/spec/FUML/1.
0.
7.
D.
Steinberg,F.
Budinsky,M.
Paternostro,andE.
Merks.
EMF:EclipseModelingFramework.
Addison-WesleyProfessional,2ndedition,2008.
腾讯云双十一活动已于今天正式开启了,多重优惠享不停,首购服务器低至0.4折,比如1C2G5M轻量应用服务器仅48元/年起,2C4G8M也仅70元/年起;个人及企业用户还可以一键领取3500-7000元满减券,用于支付新购、续费、升级等各项账单;企业用户还可以以首年1年的价格注册.COM域名。活动页面:https://cloud.tencent.com/act/double11我们分享的信息仍然以秒...
热网互联怎么样?热网互联(hotiis)是随客云计算(Suike.Cloud)成立于2009年,增值电信业务经营许可证:B1-20203716)旗下平台。热网互联云主机是CN2高速回国线路,香港/日本/洛杉矶/韩国CN2高速线路云主机,最低33元/月;热网互联国内BGP高防服务器,香港服务器,日本服务器全线活动中,大量七五折来袭!点击进入:热网互联官方网站地址热网互联香港/日本/洛杉矶/韩国cn2...
创梦网络怎么样,创梦网络公司位于四川省达州市,属于四川本地企业,资质齐全,IDC/ISP均有,从创梦网络这边租的服务器均可以****,属于一手资源,高防机柜、大带宽、高防IP业务,另外创梦网络近期还会上线四川眉山联通、广东优化线路高防机柜,CN2专线相关业务。广东电信大带宽近期可以预约机柜了,成都优化线路,机柜租用、服务器云服务器租用,适合建站做游戏,不须要在套CDN,全国访问快,直连省骨干,大网...
无状态为你推荐
赛我网赛我网的号自己能封吗?郭彩妮台灣有什麽新的電視劇?人人时光机五月天的专辑都有哪些?1433端口1433端口怎么打开手机区号手机号码网站联盟网盟跟b2b平台有什么区别数码资源网安卓有没有可以离线刷题的软件?唱吧电脑版官方下载电脑怎么安装唱吧,要能用的,请教教程,谢谢怎么点亮qq空间图标QQ空间图标怎么点亮?奇虎论坛奇虎是中国的吗?
vps侦探 asp.net主机 精品网 wordpress技巧 好看的留言 国外php空间 国外免费空间 大容量存储 qq数据库 浙江独立 谁的qq空间最好看 双十一秒杀 hktv 鲁诺 七夕快乐英语 cloudlink 512mb 主机管理系统 免费的域名 帽子云排名 更多