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.
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.
hypervmart：英国/荷兰vps,2核/3GB内存/25GB NVMe空间/不限流量/1Gbps端口/Hyper-V,$10.97/季
hypervmart怎么样?hypervmart是一家国外主机商，成立于2011年，提供虚拟主机、VPS等，vps基于Hyper-V 2012 R2，宣称不超售，支持linux和windows，有荷兰和英国2个数据中心，特色是1Gbps带宽、不限流量。现在配置提高，价格不变，性价比提高了很多。(数据中心不太清楚，按以前的记录，应该是欧洲)，支持Paypal付款。点击进入：hypervmart官方网...
星梦云60元夏日促销，四川100G高防4H4G10M，西南高防月付特价
星梦云怎么样?星梦云好不好，资质齐全，IDC/ISP均有，从星梦云这边租的服务器均可以备案，属于一手资源，高防机柜、大带宽、高防IP业务，一手整C IP段，四川电信，星梦云专注四川高防服务器,成都服务器,雅安服务器 。官方网站：点击访问星梦云官网活动方案：1、成都电信年中活动机（封锁UDP，不可解封）：机房CPU内存硬盘带宽IP防护流量原价活动价开通方式成都电信优化线路4vCPU4G40G+50...
易探云2核2G5M仅330元/年起，国内挂机宝云服务器,独立ip
易探云怎么样?易探云是国内一家云计算服务商家，致力香港服务器、国内外服务器租用及托管等互联网业务，目前主要地区为运作香港BGP、香港CN2、广东、北京、深圳等地区。目前，易探云推出深圳或北京地区的适合挂机和建站的云服务器，国内挂机宝云服务器（可选深圳或北京地区）,独立ip;2核2G5M挂机云服务器仅330元/年起！点击进入：易探云官方网站地址易探云国内挂机宝云服务器推荐：1、国内入门型挂机云服务器...
无状态为你推荐
-
苏州商标注册在江苏怎么注册商标啊??不兼容安卓手机软件不兼容怎么办？畅想中国未来的中国是什么样子的怎么点亮qq空间图标怎样点亮qq空间的图标blogcn南京明城墙(太平门一带某些地区)的城砖上为什么会有一些小洞(每块砖两个洞洞……)?如何清理ie缓存怎么清理IE缓存php购物车PHP中用json实现购物车功能，怎么实现微信怎么看聊天记录什么方法可以知道微信的聊天记录freebsd安装FreeBSD下如何安装ports的方法去鼠标加速度怎样去除电脑鼠标加速？