oping无状态

无状态  时间:2021-02-27  阅读:()
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.

杭州王小玉网-美国CERA 2核8G内存19.9元/月,香港,日本E3/16G/20M CN2带宽150元/月,美国宿主机1500元,国内宿主机1200元

官方网站:点击访问王小玉网络官网活动方案:买美国云服务器就选MF.0220.CN 实力 强 强 强!!!杭州王小玉网络 旗下 魔方资源池 “我亏本你引流活动 ” mf.0220.CNCPU型号内存硬盘美国CERA机房 E5 2696v2 2核心8G30G总硬盘1个独立IP19.9元/月 续费同价mf.0220.CN 购买湖北100G防御 E5 2690v2 4核心4G...

RackNerd :美国大硬盘服务器促销/洛杉矶multacom数据中心/双路e5-2640v2/64G内存/256G SSD+160T SAS/$389/月

大硬盘服务器、存储服务器、Chia矿机。RackNerd,2019年末成立的商家,主要提供各类KVM VPS主机、独立服务器和站群服务器等。当前RackNerd正在促销旗下几款美国大硬盘服务器,位于洛杉矶multacom数据中心,亚洲优化线路,非常适合存储、数据备份等应用场景,双路e5-2640v2,64G内存,56G SSD系统盘,160T SAS数据盘,流量是每月200T,1Gbps带宽,配5...

wordpress简洁英文主题 wordpress简洁通用型高级外贸主题

wordpress简洁英文主题,wordpress简洁通用大气的网站风格设计 + 更适于欧美国外用户操作体验,完善的外贸企业建站功能模块 + 更好的移动设备特色模块支持,更高效实用的后台自定义设置 + 标准高效的代码程序功能结构,更利于Goolge等国际搜索引擎的SEO搜索优化和站点收录排名。点击进入:wordpress简洁通用型高级外贸主题主题价格:¥3980 特 惠 价:¥1280安装环境:运...

无状态为你推荐
万维读者网用QQ邮箱向《读者》投稿具体格式不兼容WIN7 64位系统与某些软件不兼容怎么办?申请证书一、如何申请证书?蘑菇街美丽说蘑菇街美丽说唯品会天猫京东。女生买衣服,哪个好mate8价格现在买华为mate8高配划算吗电子商务网站模板做电子商务网站用什么cms或者模版比较好?电子商务网站模板网页制作模板分词技术怎么在SEO中学会运用关键词分词技术gbk编码表GB GBK utf8码的区别发邮件怎么发怎么发邮箱
江西服务器租用 3322动态域名 秒解服务器 59.99美元 免备案cdn lighttpd 国外空间 服务器架设 eq2 php免费空间 圣诞促销 七夕快乐英文 刀片服务器的优势 asp免费空间申请 如何注册阿里云邮箱 网站在线扫描 四川电信商城 linode支付宝 lamp兄弟连 江苏徐州移动 更多