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.
VoLLcloud7折月付$3，香港CMI云服务器原生IP解锁，香港VoLLcloud
vollcloud怎么样?vollcloud LLC创立于2020年，是一家以互联网基础业务服务为主的 技术型企业，运营全球数据中心业务。VoLLcloud LLC针对新老用户推出全场年付产品7折促销优惠，共30个，机会难得，所有产品支持3日内无条件退款，同时提供产品免费体验。目前所有产品中，“镇店之宝”产品性价比高，适用大部分用户基础应用，卖的也是最好，同时，在这里感谢新老用户的支持和信任，我们...
美国G口/香港CTG/美国T级超防云/物理机/CDN大促销 1核 1G 24元/月
[六一云迎国庆]转盘活动实物礼品美国G口/香港CTG/美国T级超防云/物理机/CDN大促销六一云 成立于2018年，归属于西安六一网络科技有限公司，是一家国内正规持有IDC ISP CDN IRCS电信经营许可证书的老牌商家。大陆持证公司受大陆各部门监管不好用支持退款退现，再也不怕被割韭菜了！主要业务有：国内高防云，美国高防云，美国cera大带宽，香港CTG,香港沙田CN2,海外站群服务，物理机，...
远程登录VNC无法连接出现
今天有网友提到自己在Linux服务器中安装VNC桌面的时候安装都没有问题，但是在登录远程的时候居然有出现灰色界面，有三行代码提示"Accept clipboard from viewers,Send clipboard to viewers,Send primary selection to viewers"。即便我们重新登录也不行，这个到底如何解决呢？这里找几个可以解决的可能办法，我们多多尝试。...
无状态为你推荐
-
伪静态伪静态和真静态哪种静态方式好迅雷云点播账号求个迅雷VIP 是VIP就可以 只用来看云点播 改密码是孙子。 谢了 ！ 362135668@qq.com淘宝网页显示不正常淘宝网页不能正常显示创维云电视功能创维云电视是指什么系统分析员如何成为系统分析师？什么是云平台什么是家庭云平台？网站营运网络运营主要做些什么？王炳坤非诚勿扰、名叫周末的男嘉宾在哪一期。。。防钓鱼游戏中的防钓鱼检查是什么?小米3大概要多少钱小米3换个屏幕大概多少钱？不要什么大概好像，答案准确点！