Domain-Specific Modeling: Enabling Full Code Generation

Size: px

Start display at page:

Download "Domain-Specific Modeling: Enabling Full Code Generation"

せいことじ
5 years ago
Views:

1 1 Domain-Specific Modeling for Full Code Generation Juha-Pekka Tolvanen, Ph.D. MetaCase September 2010

2 2 -UML - -DSM

3 3

4 4

5 5 The entire history of software engineering is that of the rise in levels of abstraction C++ UML *Software Productivity Research & Capers Jones, 2002

6 DSM Percent Increase 1000 % 1000 % ( ) 900 % 900 % 800 % 750 % 700 % 600 % 500 % 500 % 600 % 500 % 600 % 400 % 300 % 200 % 100 % 0 % Embedded UI applications Mobile phone software Phone switch features Call processing services Heart rate monitor J2EE web application J2EE Web Home automation Domains 6

7 7 DSM Model Code Finished product

8 DSM Model CASE Simulink Labview Model Code Code? Finished product Finished product? 8

9 9 DSM Model CASE Simulink Labview Model 'Model' Code Code? Code Finished product Finished product? Finished product

10 UML UML 10 DSM Model CASE Simulink Labview Model 'Model' 'Model' Code Code? Code Code Finished product Finished product? Finished product Finished product

11 UML OMG 10 MDA 11 DSM Model CASE Simulink Labview Model 'Model' 'Model' MDA Model 2n Code Code? Code Code Code Finished product Finished product? Finished product Finished product Finished product

12 12 DSM Code Model DSM Finished product Code 'Model' Finished product Code 'Model' Finished product MDA Code Model Finished product Model 2 Model n CASE Simulink Labview Code Finished product Model?? Code Model Finished product 2 CASE

13 Domain Idea Solve problem in domain terms C UML UML Model Code Assembler Finished Product No need to map! DSM 13

14 14 Domain Idea :,,,,,,,,, Model-View-Controller Finished Product No need to map! DSM

15 15

16 16 DSM:

17 DSM : : : / / / 17

18 / Analysis Design Coding Maintenance Defect distribution and costs* *Molina, P., Introducing MDD, Code Generation Conference

19 19

20 20

21 21

22 22

23 23 Life style Life style

24 24 Life style Life style

25 25 IMS SIP HTTP :

26 26

27 27

28 28

29 29

30 30 B.Braun; Medical Dialysis machines Bell Labs / AT&T / Lucent; 5ESS telecommunications switch, EADS: Tetra terminals Panasonic: embedded UI Honeywell; embedded software architectures Polar Electro: heart rate monitors ORGA; SIM toolkit & JavaCard Pecunet; B2B E-Business: insurance LexiFi; mlfi, financial contracts DuPont; Activity Modeling NASA ASE group; Amphion NASA JPL; embedded measurement systems Nokia; Mobile Phone product line USAF; Message Transformation and Validation DSM

31 31 Experiences from practice

32 32 Building your modeling language

33 Domain Idea Solve problem in domain terms C UML UML Model Code Assembler Finished Product No need to map! DSM 33

34 34 Domain Idea DSM Finished Product DSM Easy! Model in DSM language Generate code Domain Framework

35 DSM

36 36 DSM environment DOMAIN- SPECIFIC Modeling LANGUAGE DOMAIN- SPECIFIC CODE GENERATOR DOMAIN FRAMEWORK

37 37 DSM Initial analysis suggested five approaches:

38 1. 38

39 2. DSL XML As opposed to generic 3GL 39

40 40 3. HW FA

41 41 4. UI Power of relationships

42 5. DSM UI 42

43 43 A object A relationship A role A property Property Role Relationship Role Property Object Object

44 Small example: 44

45 Syringe broken, operator died, patient treatment error 45

46 46 01 move(-3); filt(1); suck(5); 02 move(4); filt(0); blow(2); 03 move(1); blow(3); 04 move(-3); suck(30); 05 move(1); blow(30);

47 47 Version 1 move(-3); filt(1); suck(5); move(4); filt(0); blow(2); move(1); blow(3); move(-3); suck(30); move(1); blow(30);

48 48 Version 1:

49 Version 1: 49

50 50 Version 1: Object Object move(-3); filt(1); suck(5); move(4); filt(0); blow(2); move(1); blow(3); move(-3); suck(30); move(1); blow(30);

51 51 01 move(-3); filt(1); suck(5); 02 move(4); filt(0); blow(2); 03 move(1); blow(3); 04 move(-3); suck(30); 05 move(1); blow(30);

52 52 Version 2: 01 move(-3); filt(1); suck(5); 02 move(4); filt(0); blow(2); 03 move(1); blow(3); 04 move(-3); suck(30); 05 move(1); blow(30);

53 53 Version 2: : Take, Put, Clean : Move : Take

54 12 objects 11 relationships 24 properties 47 elements in total 5 objects 4 relationship 7 properties 16 elements in total 54

55 55 Version 2: Take (Abstract) Put Take Put Take Put Needle Clean Put

56 56

57 and, or, start, stop 57

58 58

59 59 Building a Generator How generators work? How to design a generator? Generator example

60 Three generator approaches (Simulink Labview ) DSM environment DOMAIN- SPECIFIC Modeling LANGUAGE DOMAIN- SPECIFIC CODE GENERATOR DOMAIN FRAMEWORK

61 1 ( good looking ) 61

62 62 2

63 63 "Here's one I made earlier"

64 autobuild Autobuild =

65 65 Domain Framework

66 66

67 Model Generated code Non-generated 67

68 68 Where to apply and how?

69 69 Where to apply?

70 70 DSM

71 71 MetaEdit+ DSM

72 72 MetaEdit+ DSM

73 MetaEdit+: DSM (,, ),,,,, 73

74 DSM Eclipse EMF, Eclipse GEF DSM (MetaEdit+) DSM DSM DSML 74

75 DSM Eclipse GMF, Microsoft DSL tools DSM (MetaEdit+) DSM DSM DSML 75

76 DSM DSM 1. GME MetaEdit (MetaEdit+) DSM DSM DSML 76

77 DSM 63 XML 60 C, HTML, 36 Assembler 77 Python 143 J2EE Java / 77

78 78 DSM " Antti Raunio MetaEdit+ DSL Jukka Manninen MetaEdit+ Eclipse GMF " Ulf Hesselbarth MetaEdit+ David Narraway

79 79 DSM DSM MetaEdit+ DSM DSM The ultimate refactoring!

80 80 Further reading

81 81 Further reading

82 82 MetaEdit+

83 83 Windows Linux Solaris HP-UX Mac OS X 1. SOAP Web 2. 3.

84 84

85 85 DSM : : : App units App units in month Current DSM Month

86 86 : ROI : 75% : % 7300% DSM DSM DSM 25 DSM 1 250

87 87 DSM MetaEdit

USA: MetaCase 5605 North MacArthur Blvd. 11th Floor, Irving, Texas 75038 Phone (972) 819-2039 Fax (480) 247-5501 jpt@metacase.

88 USA: MetaCase 5605 North MacArthur Blvd. 11th Floor, Irving, Texas Phone (972) Fax (480) Europe: MetaCase Ylistönmäentie 31 FI Jyväskylä, Finland Phone Fax 当浅 88

XJTAG

XJTAG LDRA/ T-VEC/ MetaEdit+ Domain Specific Modeling Ashling/Jtag ARC SmartCards LAUTERBACH /Jtag ARM PowerPC K MIPS XJTAG HW Domain-Specific Modeling Domain-Specific Modeling Software Technology 30 Copyright