today 1,700 special programming languages used to communicate in over 700 application areas.

Transcription

1 today 1,700 special programming languages used to communicate in over 700 application areas. Computer Software Issues, an American Mathematical Association Prospectus, July 1965, quoted in P. J. Landin s famous article The Next 700 Programming Languages,

2 Feature Modeling in Generative Software Development Krzysztof Czarnecki University of Waterloo

3 Overview Generative Software Development Example Staged Configuration using Feature Models FeaturePlugin Summary 3

4 Generative Software Development Is a product-line engineering approach Product-line development Product development Automates product development Based on a product specification in a set of domain-specific languages 4

5 Product Line Approach Product Line Development (Domain Engineering) Analysis: Product-line scoping and defining a set of reusable, configurable requirements for the products in the product line Design: Developing a common architecture for the products in the product line and devising a production plan Implementation: Provisioning the production assets, for example, reusable components, domain-specific languages, generators, a reuse infrastructure, and a production process Product Development (Application Engineering) Creating concrete products using the production assets from Product Line Development Also allow for custom development 5

6 Different Forms of DSLs Wizard Configuration tool Library in a programming language page MainPage () { filename = index.html placeholders { header = fragmentcall { include = Header() } leftnavigation = fragmentcall { include = LeftNavigation(nil) } rightnavigation = fragmentcall { include = RightNavigation() } body = fragment { filename = main/main.html filterelement = body } footer = fragmentcall { include = Footer () } } } Textual DSL 6 Visual DSL

7 Advantages of DSLs Over General- Purpose Languages (GPLs) Domain-specific abstractions Pre-defined abstractions to directly represent concepts from the application domain Domain-specific concrete syntax Natural notation for a domain avoiding syntactic clutter that often results when using GPLs Domain-specific error checking Analysers that find more errors than similar analysers for GPLs and report errors in a language familiar to the domain expert Domain-specific optimizations Code optimization based on domain-specific knowledge which is usually not available to a GPL compiler Domain-specific debugging, version control, etc. Opportunities for improving all aspects of a development environment 7

8 Modeling and DSLs Models are abstract representations of systems Answer questions of interest to stakeholders Capture stakeholder intentions more directly Without accidental implementation details Model driven development makes them source artifacts Fully integrated with the code and other source artifacts Not documentation that becomes obsolete as software is cut Used across the software life cycle Requirements, design, development, deployment, testing, debugging, maintenance, enhancement DSLs are perfect for model driven development Capture more information with higher fidelity than general purpose modeling languages designed for documentation 8

9 Feature-Oriented Approach Domain analysis Problem-space view Feature Models Solution-space view Architectural patterns Variability mechanisms DSL Mapping Family architecture DSL Technology Generator Technology 9 Component technology

10 Overview Generative Software Development Example Staged Configuration using Feature Models FeaturePlugin Summary 10

11 Feature Diagram mandatory feature OrderProcessing Transaction Approval Basket Fulfillment Payment Tax Invoice ShipmentCost Shipping ElectronicDelivery PayByBill Online Printed PackageTrackingNo PackageSlip PayOnDelivery CreditCard FrequentFlyer alternative features optional feature «implies» «excludes» No decision regarding the mechanism for implementing variability! 11

12 Cardinality-Based Feature Modeling EShop PasswordPolicy Shipping Inclusive-or group Expiration Chars ShippingGateway CustomMethods InDays(Integer) Never lower <2..4> special Group cardinality [0..*] Method(String) Feature cardinality Feature attribute upper digit FlatRate(Float) 12

13 Mapping Feature Variations To Software System Variability Ordering process Catalog browsing Targeting & Profiling... Security polices Transaction polices Caching polices Presentation policies... Information Model Web Content & Navigation Webpage Layout 13

14 Mapping Feature Variations To Software System Variability Ordering process Catalog browsing Targeting & Profiling... Security polices Transaction polices Caching polices Presentation policies... Information Model Web Content & Navigation Webpage Layout 14

15 Mapping Feature Variations To Software System Variability Ordering process Catalog browsing Targeting & Profiling... Security polices Transaction polices Caching polices Presentation policies... Information Model Web Content & Navigation Webpage Layout See webml.org 15

16 Mapping Feature Variations To Software System Variability Ordering process Catalog browsing Targeting & Profiling... Security polices Transaction polices Caching polices Presentation policies... Consistency management & reconciliation Information Model Web Content & Navigation Webpage Layout Refinements - Model-to-model transformations Database Model EJB Component Model Web Component Model <<EntityBean>> Customer <<PrimaryKey>> oid : java.lang.long +lastname : java.lang.string +firstname : java.lang.string 1..n +owner 0..n +account 16 <<EntityBean>> Account +number : java.lang.string +balance : java.math.bigdecimal +book(amount : java.math.bigdecimal)

17 Mapping Feature Variations To Software System Variability Ordering process Catalog browsing Targeting & Profiling... Security polices Transaction polices Caching polices Presentation policies... Consistency management & reconciliation Information Model Web Content & Navigation Webpage Layout Refinements - Model-to-model transformations Parameterization of transformations Database Model EJB Component Model Web Component Model Refinements - Model-to-code transformations EJB Class Model SQL Source Code EJB Source Code 17 JSP/HTML source code

18 Configuration and Generation For Embedded Systems System Variability ControlFunctions Diagnosis Plant UML/RT Matlab SL/SF Code 18 Code

19 Feature-Based Configuration of Satellite Software General-purpose ConfigEditor Statically configure save Satellite configuration in XML Family Architecture of Satellite Com Systems (Ada83 templatized using TL) Generate DSL definition (FM in XML format) Dynamically configure Concrete Satellite Communication Ground station 19

20 #for i "/Satellite/PUS/Service/Sub"# with service#"$i/../id"#_#"$i/id"#; #end# separate (app) procedure decode(o :in out ptr ; p :in...) is no_service : exception;... begin for i in o.service'range loop... end loop;... case s.typ is #for i "/Satellite/PUS/Service"# when #"$i/id"# => case s.sub is #for j "$i/sub"# when #"$j/id"# => service#"$j/../id"#_#"$j/id"#(o, p); #end# when others => null; end case; #end# when others => null; end case; exception... end decode; Generation Using Template Craig Cleaveland, Program Generators with XML and Java. Prentice-Hall 2001, 20 Language with service014_001; with service014_002; with service001_001; with service001_002; with service001_007; with service001_009; with service004_023; with service004_024; with service004_025; with service004_026; separate (app) procedure decode(o :in out ptr ; p :in...) is no_service : exception;... begin for i in o.service'range loop... end loop;... case s.typ is when 014 => case s.sub is when 001 => service014_001(o, p); when 002 => service014_002(o, p); when others => null; end case; when 001 => case s.sub is when 001 => service001_001(o, p); when 002 => service001_002(o, p); when 007 => service001_007(o, p); when 009 => service001_009(o, p); when others => null; end case; when 004 => case s.sub is when 023 => service004_023(o, p); when 024 => service004_024(o, p); when 025 => service004_025(o, p); when 026 => service004_026(o, p); when others => null; end case; when others => null; end case; exception... end decode;

21 Overview Generative Software Development Example Staged configuration using Feature Models FeaturePlugin Summary 21

22 Staged Configuration Using Specialization Specialization transforms a new feature diagram into a new one denoting a subset of configurations of the original diagram <1..1> f f Specialize Specialize Derive configuration <1..1> [0..2] [0..2] f (f, {(f 2, ), (f 4, )}) f 1 f 2 f 3 f 4 f 2 f 3 f 4 f 2 f 4 <1..1> f [0..2] (f, {(f 2, ), (f 4, )}) f 1 f 2 f 3 f 4 22

23 Staged Configuration Example: Policy Specialization Decisions taken in stages Time, e.g., Phases in product lifecycle Roles, e.g., Component integrator, deployer, administrator, maintainer Context/target, e.g., Multiple deployment contexts 23

24 Software Supply Chains 24

25 Staged Configuration Using Multi- Level Configuration Each stage has a separate feature model Each role performs configuration (not specialization) within a stage Manual configuration of one stage automatically specializes the feature model of the next stage 25

26 Multilevel Configuration Different roles will have different perspectives on the variability Product-line perspective System configuration perspective Just annotating features with binding times is not enough! 26

27 Multilevel Configuration 27

28 Overview Generative Software Development Example Staged configuration using Feature Models FeaturePlugin Summary 28

29 FeaturePlugin Eclipse Plugin for Feature Modeling Cardinality-based feature modeling Configuration support Configuration Specialization Global constraints Synchronization User-extensible notation Defining additional information for a project Meta-level also defined as feature models Alternative renderings Explorer view & feature maps Feature trees & tables 29

30 FeaturePlugin Eclipse Plugin for Feature Modeling and Configuration 30 gp.uwaterloo.ca/fmp

31 FeaturePlugin 31

32 Mapping Features to Workflow 32

33 Structure Spectrum of DSLs Routine configuration Creative construction Wizards Feature-based configuration Graph-like language (with user-defined elements) scr1 Eshop scr2 scr3 Catalog Payment Shipp InventoryTracking scr4 scr5 scr6 scr7 scr8 Check Debit Card Credit Card PO Cust Serv scr11 scr12 scr9 scr10 Path through a decision tree 33 Fedex UPS Subtree of a feature tree Subgraph of an (infinite) graph

34 Designing DSLs Complex design space Textual, diagrammatic, form-based, grid-based, etc. Hierarchical, graph-like, spatial, etc. Declarative vs. procedural Dynamic vs. static Usability Mental walkthroughs Cognitive patterns Experience from visualization (architecture visualization, program understanding) 34

35 Target Audiences for DSLs Different audiences Software engineers Traditional engineers (control, mechanical, ) Business people (accounting, marketing, management, ) Analysts (consultants with DS expertise) Scientists (biology, chemistry, physics, ; computational science) Casual computer users (my mom ) Criteria Level of software development skills Depth of application-domain expertise Vastly varying requirements 35

36 Target Audiences for DSLs High Degree of Software Development Skills None Typical programmers & software architects End-user programming Skilled analysts Traditional engineers Business people, financial experts, scientists, etc. Low Degree of Application Domain Expertise High 36

37 Tools for Implementing DSLs To be defined Abstract syntax (e.g., using a class diagram) Rendering and editing Semantics (e.g., by translation) Other issues Serialization, language evolution, consistency management and change propagation, etc. Tools for DSLs become mainstream Direct metamodeling Microsoft, Xactium,, (EMF) UML profiling IBM Rational Modeller, Softeam, 37

38 Overview Generative Software Development Example Staged Configuration using Feature Models FeaturePlugin Summary 38

39 Key Concepts in Generative Software Development Product lines Cornerstone of systematic software reuse Domain-specific languages Optimal support for application developers Mappings Design knowledge capture Feature modeling Family scoping, DSL & architecture development 39

40 Further Information Czarnecki & Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Greenfield & Short. Software Factories: Assembling Applications With Patterns, Models, Frameworks and Tools. Wiley, th Int. Conference on Generative Programming and Component Engineering (GPCE), Sep 29 - Oct 1, 2005, Tallinn, Estonia (co-located with ICFP) 40

41 Questions 41