The Art of Model Transation with Operational QVT.ppt

23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-1-,theartofmodeltransformationwithoperationalqvt,sergeyboykoradomildvorakalexanderigdalovborlandsoftwarecorporation,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-2-,qvtokeyconcepts,operationalqvt(qvto)operateswithemfmodelsusesoclformodelnavigationmaingoal-modelmodificationandtransformationrequiredanexplicitandcompletealgorithmmodel-to-modelmapping,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-3-,qvtostructure,qvtoperationalpackagegeneralstructuringelementsandtop-levelconstructionsimperativeoclpackageextensiontooclexpressionsandtypesystemstandardlibrary,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-4-,qvtoperationalpackage,transformationdeclarationimperativeoperations(mappings,helpers,queries,constructors)intermediatedataobjectcreationandupdatemechanismtraceresolutionexpressions,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-5-,operationaltransformation1,modeltypeecoreuses/emf/2002/ecore;modeltypeumluses/uml2/2.0.0/uml;transformationecore2uml(ininmodel:ecore,outoutmodel:uml);main()inmodel.rootobjects()epackage-mapepackage2model();mappingepackage:epackage2model():modelname:=;,asimpletransformationexample,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-6-,operationaltransformation2,thecontentofthetransformationdefinitionmaybeplacedwithinthetransformationelement:modeltypeecoreuses/emf/2002/ecore;modeltypeumluses/uml2/2.0.0/uml;transformationecore2uml(ininmodel:ecore,outoutmodel:uml)main()inmodel.rootobjects()epackage-mapepackage2model();mappingepackage:epackage2model():modelname:=;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-7-,imperativeoperations,defineanimperativebodyenrichedsignaturetypesofqvtoimperativeoperationsentryoperationmappingshelpersqueriesconstructors,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-8-,entryoperation,anentryoperationistheentrypointfortheexecutionofatransformation.main()inmodel.rootobjects()epackage-mapepackage2model();typicallyreferstomodelparametersandinvokestop-levelmappings.,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-9-,helpersandqueries,ahelperisanoperationthatperformsacomputationononeormoresourceobjectsandprovidesaresult.itisillegaltocreateorupdateobjectinstancesexceptforpre-definedtypeslikesets,tuples,andforintermediateproperties.helperepackage:somehelper1():set(string)if(=a)thenreturnsetb;endif;returns;aqueryisa“read-only”helperwhichisnotallowedtocreateorupdateanyobjects.queryepackage:getnameatob():stringif(=a)thenreturnb;endif;;helperepackage:somehelper2():set(string)=s;queryepackage:getname():string=;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-10-,constructors,aconstructorisanoperationthatdefineshowtocreateandpopulatethepropertiesofaninstanceofagivenclass.constructoreclass:eclass(s:string,op:eoperation)name:=s;eoperations+=op;callingtheconstructor:neweclass(“aclass,neweoperation();,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-11-,mappings,amappingbetweenoneormoresourcemodelelementsintooneormoretargetmodelelements.:=*mapping?(:)?(?)(:param_list)?*?mosttypicalcase:mapping:():mappingecore:epackage:epackage2package():uml:packagename:=;epackage.mapepackage2package();/callingamappingforasinglecontextepackages-mapepackage2package();/callingamappingconsequentlyforacollectionofcontexts,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-12-,mappingparametersdirectionkind,mappingepackage:somemapping(ina:eclass):packagename:=;mappingepackage:somemapping(ina:eclass,inoutb:eattribute):modelname:=+;:=+123;mappinginoutepackage:epackage2package():packagename:=+123;:=+456;mappingparameterdirectionkindinobjectpassedforread-onlyaccess,thedefaultdirectioninoutobjectpassedforupdate,retainsitsvalueoutparameterreceivesnewvalue(notnecessarilynewlycreatedobject),23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-13-,mappingswhenclause,mappingepackage:epackage2package():pnullname:=;,=null(conditionnotsatisfied)mappingnotexecutednullreturnedmappingnotexecutedexceptionthrown,when-clausecontainsabooleancondition,invocation:-instandardmodewhen-clauseactsasaguardwhichfiltersinputparametersa.mapepackage2package();-instrictmodewhen-clauseactsasapre-conditionwhichmustalwaysholda.xmapepackage2package();,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-14-,mappingbodygeneralform,mappingepackage:mymapping():packageinitvartmp:=self.mapothermapping();if(=aaa)thenresult:=objectpackage;endif;populationobjectresult:packagename:=;endassert(null);,initsectioncomputationpriortotheinstantiationoftheoutputs,populationsectionpopulationoftheoutputs,end(termination)sectioncomputationsbeforeexitingthebody,implicitinstantiationsectioninstantiationofoutparameters(results)thatstillhaveanullvalue,predefinedvariablesinmappings:selfreferstothecontextresultreferstotheresult,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-15-,mappingbodypopulationkeywordomitted,mappingepackage:mymapping():packageinitvartmp:=self.mapothermapping();if(=aaa)thenresult:=objectpackage;endif;name:=;endassert(null);,directaccesstopropertiesoftheresultwithinthepopulationsectionwithoutthepopulationkeyword!,omittedpopulationkeywordisthemosttypicalcase!,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-16-,overridingmappings,simpleoverriding:mappingenamedelement:makeclass():eclassname:=ne:+;mappingeclassifier:makeclass():eclassname:=classifier:+;mappingeclass:makeclass():eclassname:=class:+;mappingedatatype:makeclass():eclassname:=dt:+;,-overrides,overrides,overrides,overrides,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-17-,mappingextension-inherits,abstractmappingeclassifier:makeclassifier():eclassifiername:=+1;mappingeclass:makeclass():eclassinheritseclassifier:makeclassifierinitvartmp:=2;name:=name+tmp;evaluationresult:=+12,executionflow:initsection(ofeclass:makeclass)instantiationsection(ofeclass:makeclass)inheritedmapping(s)(eclassifier:makeclassifier)mappingpopulationandterminationsections(ofeclass:makeclass),implicitinstantiation,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-18-,mappingextension-merges,abstractmappingeclassifier:makeclassifier():eclassifiername:=name+1;mappingeclass:makeclass():eclassmergeseclassifier:makeclassifierinitvartmp:=2;name:=+tmp;evaluationresult:=+21,executionflow:mergingmapping(eclass:makeclassifier)mergedmapping(s)(eclassifier:makeclassifier),23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-19-,mappingextension-disjuncts,mappingeclass:makeaclass():ec.startswith(a)name:=+a;mappingeclass:makebclass():ec.startswith(b)name:=+b;mappingeclass:makeclass():eclassdisjunctseclass:makeaclass,eclass:makebclassevaluationresults:objecteclassname:=cclass.mapmakeclass()=null;objecteclassname:=aclass.mapmakeclass().name=aclassa;objecteclassname:=bclass.mapmakeclass().name=bclassb;,executionflow:when-clausesofthedisjunctedmappingsareevaluated(-ofeclass:makeaclass-ofeclass:makebclass)2.ifallwhen-clausesarenotsatisfiednullisreturned3.otherwise,thefirstmappingwithatruewhen-clauseisexecuted,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-20-,traceabilityconcept,tracecontainsinformationaboutmappedobjectstraceconsistsoftracerecordsatracerecordiscreatedwhenamappingisexecutedtracerecordskeepreferencetotheexecutedmappingandthemappingparametervaluesatracerecordiscreatedaftertheimplicitinstantiationsectionofthemappingisfinishedmappingepackage:mymapping():packageinitpopulationendusage:prohibitduplicateexecutionwiththesameparametersusedinresolveexpressionsmaybeserializedafterthetransformationexecution,implicitinstantiationsection,atracerecordiscreatedhere!,trace,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-21-,resolveexpressions1,aresolveexpressionisanexpressionthatinspectstracerecordstoretrievesourceortargetobjectswhichparticipatedinthepreviousmappingexecutions.resolveresolvestargetobjectsforagivensourceobjectinv(invresolve)resolvessourceobjectsforagiventargetobjectone(resolveone)findsthefirstmatchingobjectin(resolvein)inspectstracerecordsforagivenmappingonlylate(lateresolve)performsresolutionandassignmenttosomemodelobjectpropertyafterthetransformationexecutionmappingepackage:mymapping():package24=16combinations,e.g.invresolveoneorlateinvresolveonein,sourceobjectstargetobjects,epackage.resolve(package),23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-22-,resolveexpressions2,mappingeclassifier:c2c():eclassname:=mapped+;/somewhereinthecodevarorig:=objecteclassname:=original;varmapped:=orig.mapc2c();/insomeotherplacevarres1:=orig.resolve(eclass);varres2:=resolveonein(eclassifier:c2c,t:eclass|.startswith(mapped);varres3:=mapped.invresolvein(eclassifier:c2c,eclass);resolveexpressionsareausefulinstrumentofretrievingtraceinformation!,filteringconditiontypebooleanexpression,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-23-,objectexpression,anobjectexpressionisaninlineinstantiationfacility.objectx:x/anexplicitvariablehereobjecty/noreferredvariablehereobjectx:/thetypeofxisskippedherewhenalreadyknownifxexiststhenitisupdated,otherwisecreatedandupdatedobjectepackagename:=pack;nsuri:=;eclassifiers+=objecteclassname:=clazz;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-24-,modelextents,amodelextentisacontainerformodelobjects.foreachmodelparameterthereisamodelextent.modeltypeecoreuses/emf/2002/ecore;transformationtransf(inm:ecore,outx:ecore,outy:ecore);main()vara:=objectepackagexname:=a;varb:=objectepackageyname:=b;mappingeclass:toclass():eclassyname:=;refertomodelextentswithmodel_parameter_name,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-25-,intermediateproperties,anintermediatepropertyisapropertydefinedasanextensionofthetypereferredbythecontext.typicallydefinedasclassextensionsofmodelmetaclassescreatedtemporarilybyatransformationnotapartoftheoutputusedforintermediatecalculationsassociatedwiththeinstancesoftheextendedclassintermediatepropertyeclass:intermprop:string;main()objecteclassname:=original;intermprop:=abc;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-26-,intermediateclasses,aermediateclassmyepackageextendsepackagemyname:string;mappingeclassifier:c2c():eclassobjectmyepackagename:=name;myname:=somethoughtfulname;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-27-,imperativeoclpackage,assignmentsvariablesloops(while,foreach)loopinterruptconstructs(break,continue)conditionalexecutionworkflowconvenientshorthandnotationmutablecollections,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-28-,assignments,assignmenttovariablesassignmenttoproperties(includingcomplexnestedconstructions)mappingeclassifier:c2c():eclassname:=;mappingepackage:p2p():epackagename:=nsprefix:=nsuri:=aaa;eclassifiers+=self.eclassifiers-mapc2c();eclassifiers+=objecteclassname:=a;esuperpackage.esuperpackage.esubpackages-any(true).name:=a;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-29-,variablesinqvto,oclvariablesinletexpression:leta:string=aain/*someexpressionwitha*/;qvtoextendsoclwithvariableinitializationexpressionsandassignmentstovariables:vara:string:=a;/fullnotationvarb:=b;/typededucedfromtheinitializationexpressionvarc:string;/defaultvalueassignedmappingepackage:p2p():epackagevartmp:=a+;/variabledeclarationandinitializationname:=tmp;/variablereadaccesstmp:=tmp+b/variablemodificationeclassifiers+=self.eclassifiers-mapc2c();eclassifiers+=objecteclassname:=tmp;/anotheraccess,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-30-,whileloop,ocliteratorexpressionsiteratethroughcollectionsandcannotbeinterruptedbybreak,continueorreturnstatements.theyareratherspecific,e.g.:collection-collect(v:type|expression-with-v)whileloopisajava-likeimperativecyclethatcanbeinterruptedbybreak,continueandreturn.,mappingepackage:p2p():epackagewhile(i:=0;iforeach(i|i=b)/foreachwithaconditionres:=res+i;foroneequivalenttoforeachwithabreakstatement:,abc-foreach(i|i=b)res:=res+i;break;,abc-forone(i|i=b)res:=res+i;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-32-,loopinterruptionbreakandcontinue,breakandcontinueusedwithinwhile,foreachloopsandimperativeiteratorsvari:integer:=0;while(iswitch(i)case(cond_with_i_1)case(cond_with_i_2);else;,23march,2009,theartofmodeltransformationwithoperationalqvt-sergeyboyko,radomildvorak,alexanderigdalov,-35-,imperativeiterators,newinqvto:xcollectxselectcollectselectcollectoneselectonecollec