Model-Driven Development in the context of Software Product Lines
20 likes1,386 views
The document discusses domain-specific languages (DSLs) and their application in product line engineering, focusing on variability configuration and customization through model-driven development (MDD). It highlights the importance of capturing domain knowledge and the various methodologies and tools available for DSL creation and implementation. Additionally, it addresses challenges and mechanisms for managing variability in software systems.
Model-Driven Development in the context of Software Product Lines
- 1. Domain Specific LanguagesUsingforProduct Line EngineeringSPLC 2009 TutorialMarkusVoelterIndependent/Itemiswww.voelter.devoelter@acm.org
- 2. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 3. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 5. Variation Point… a pointwhere a variationcanoccur… must beboundforeachproduct… bind when?… bind how?
- 6. Binding Time
- 8. VariabilityMechanismsRemoval… optionallytakeaway from overall wholeChallenge:overallwholecanget bigandunwieldy
- 9. VariabilityMechanismsInjection… optionallyaddto minimal core
- 10. VariabilityMechanismsInjection… optionallyaddto minimal coreChallenge:howtopointintothecoreandaddsomethingtoit
- 12. VariabilityMechanismsParametrization… definevaluesforpredefined paramsChallenge:typesforparameterscanbe non trivial (DSLs)
- 14. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 17. ConfigurationFeature ModelsRobin DR-400An aircraft with a low wing, piston engine and made of metal, wood and cloth
- 18. ConfigurationFeature ModelsAirbus A 320An aircraft with low wing, jet engine(s) and made of metal.
- 19. ConfigurationFeature ModelsSchleicher ASW 27An aircraft with shoulder wing, no engine and made of plastic
- 22. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 23. Customization… „real languages“… instantiation… connections
- 28. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 31. abstractionscomputing C
- 32. abstractionscomputing? Java
- 33. abstractionscomputing? SQL
- 35. ?
- 37. generalpurpose
- 38. domainspecific
- 40. DSLA DSL is a focussed, processablelanguage for describing a specific concern when building a system in a specific domain. The abstractions and notations used are natural/suitablefor the stakeholders who specify that particular concern.
- 41. execute?
- 42. map
- 43. DSL Program(aka Model)mapautomated!GPL Program
- 48. Meaningful Validationmoresemantics in the model
- 52. Abstraction w/oRuntime Overheadgenerator „optimizesaway“
- 54. Everythingis a modelincludingforexamplehardware (some) hardware
- 55. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 57. EMFEcore meta meta model +Editing Transactions Validation Query Distribution/Persistence
- 58. EMFMetamodel As Treecan also be editedas UML-like diagram
- 60. GMFGraphical Box/Line editors based on EMF
- 61. TMF / XtextBuilding Textual Editors
- 62. TMF / XtextBuilding Textual Editors
- 63. M2MModel-to-Model Transformations INRIA’s ATL QVTXtend
- 64. M2TModel-to-Text Transformations JET: Java Emitter TemplatesXpand: oAW’s template engine
- 65. M2TModel-to-Text Transformations Extensions to modularize complex expressions
- 66. openArchitectureWarewww.openarchitectureware.orgOne Stop Toolkit for DSLs + XVersion 5.0 is currentLively ecosystem of tools and extensionsProven track record in various domains & project contextsStable, productive and helpful developer, support and user communitiesIntegration with Eclipse:Part of Eclipse, Working GroupUses EMF as a basisGraphical editors based on GMFAll editors and tooling based on Eclipse
- 68. SpecifyGrammar
- 72. Generated Editor
- 74. Generated EditorSyntax ColoringCustom KeywordColoring
- 78. Generated EditorGoto Definition Find ReferencesCross-File ReferencesModel as EMF
- 79. Generated Editor
- 80. XtextOverview
- 81. DEMOBuilding a sample textual DSL and code generator for a simple domain using Eclipse TMF/openArchitectureWare
- 83. Another Tool…?
- 85. released inQ3 2009licensed underApache 2.0
- 86. Build new standalone DSLsBuild DSLs that reuse partsof other languagesJava++(MPS comes with BaseLanguage)extend base languagebuild DSLs that reuse partsof BaseLanguage
- 87. Language Extension ExampleOldNewJavaJava + ExtensionReadWriteLock l = …l.readLock().lock();try { //code} finally { l.readLock().unlock();}ReadWriteLock l = …lock (l) { //code}
- 88. Structure Editor Typesystem Generator
- 89. Structure Editor Typesystem Generator
- 90. Structure Editor Typesystem Generator
- 91. Structure Editor Typesystem Generator
- 92. Structure Editor Typesystem Generator
- 93. Structure Editor Typesystem Generator
- 94. Structure Editor Typesystem Generator
- 95. Structure Editor Typesystem Generator
- 96. Language Extension ExampleResult behaves like a nativebase language construct
- 97. Language Extension ExampleResult behaves like a nativebase language construct
- 98. Language Extension ExampleTranslated to regular Java codebased on the generatorpackage jaxdemo.sandbox.sandbox;import java.util.concurrent.locks.Lock;public class DemoClass { private Lock lock; public DemoClass() { try { this.getLock().lock(); SharedResouce.instance().doSomething(); } finally { this.getLock().unlock(); } } private Lock getLock() { return this.lock; }}
- 102. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 103. Two Levelsproblemspace vs. softwarespaceProblem Space:ConfigurationSoftware Space:Customization
- 104. Two Levelsproblemspace vs. softwarespace
- 105. Two LevelsRemoval#ifdefined (ACE_HAS_TLI)staticssize_tt_snd_n( ACE_HANDLE handle,constvoid *buf, size_tlen, int flags,ACE_Time_Value *timeout = 0,size_t *bytes_transferred = 0);#endif /* ACE_HAS_TLI */
- 106. Model-BasedImplementation… customization in problem space… Problem-Space DSL
- 109. MDSD - Thumbnail
- 111. Two LevelsRemoval
- 112. Two LevelsRemoval
- 113. Two LevelsRemoval
- 114. Two LevelsRemoval
- 115. Two LevelsInjection
- 116. Two LevelsInjectionaspect (*) compnent {providesmon: IMonitoring }
- 118. Manual CodeVariabilitypublic class LightDriverImplementation extends LightDriverImplBase { @Override protected String getIdInternal() { return getConfigParamValueForId(); } …//# dimmableLights @Override protected int setLightLevelInternal(int level) { state().setEffectiveLightLevel(level); return level; }//~# dimmableLights}
- 120. DEMOExtending the sample DSL to include feature-based variability connected to an external feature model
- 121. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 122. MD-PLE – Thumbnail IImoreoptions
- 123. TransformationVariabilitycreate System transformPs2Cbd( Building building ): …hasFeature("burglarAlarm") ? ( handleBurglarAlarm() -> this) : this;handleBurglarAlarm( System this ): let conf = createBurglarConfig(): ( configurations.add( conf ) -> … conf.connectors.add( connectSimToPanel( createSimulatorInstance(), createControlPanelInstance() ) ) ->hasFeature( "siren" ) ? conf.addAlarmDevice("AlarmSiren") : null ->hasFeature( "bell" ) ? conf.addAlarmDevice("AlarmBell") : null ->hasFeature( "light" ) ? conf.addAlarmDevice("AlarmLight") : null);
- 125. GeneratorVariability
- 126. DEMOIntroducing Variability into the Code Generator built before
- 127. VariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & Wrapup
- 128. DSLs can be used to effectivelydescribe customization variab.Transformation and Generationcan be used to map PS to SSConfiguration and Customizationcan be sensibly combinedVarious Tools are available,http://eclipse.org/modelinghttp://dslvariantmanagement.googlecode.com/
- 129. Domain Specific LanguagesUsingVariabilityConfigurationCustomizationMDD IntroMDD ToolingModel VariabilityTransformation Var.Summary & WrapupforProduct Line EngineeringTHE END.Thankyou.Questions?MarkusVoelterIndependent/Itemiswww.voelter.devoelter@acm.org