Model-based Software Engineering (02341, spring 2017) Ekkart Kindler

Transcription

1 Model-based Software Engineering (02341, spring 2017)

2 Meta-modelling and Domain Specific Languages (DSLs) and Summary and Outlook

3 Meta-modelling (and MOF) 3

4 Class Diagrams are models too PetriNet Object ClassDiagram 1 source Node 1 target Transition Place Arc Token Class 1 start 1 end Association UML model Meta-model for UML (class diagrams) Now, the term meta model makes sense! 4

5 Meta-levels ClassDiagram PetriNet Class 1 start 1 end Association Object Node 1 source 1 target Arc :Class :Association :Association :Class Transition Place Token :Petrinet :Transition source :Arc target :Place target source :Arc :Arc :Token :Place source target :Arc source target :Transition 5

6 Levels of models ClassDiagram is an instance of PetriNet Object Class 1 start 1 end Association concrete syntax reprs. for 1 source Node 1 target Transition Place Arc Token :Class :Association :Association :Class :Petrinet :Transition source :Arc target :Place target source :Arc :Arc :Token :Place source target :Arc source target :Transition 6

7 Outset ClassDiagram M2 Unified Modelling Notation Class 1 start 1 end Association PetriNet M1 Model Object Node 1 source Arc 1 target Transition Place Token M0 User data = conforms to / is instance of 7

8 Meta Object Facility (MOF) M3 MOF notation meta-modelling notation M2 Any modelling notation modelling notation M1 Model design-time M0 User data run-time = conforms to / is instance of 8

9 The Meta Object Facility M3 MOF notation M2 Any modelling notation M1 Model M0 User data = conforms to / is instance of 9

10 Discussion: meta EMOF as instance of itself Where are the different features of the EMOF model represented in EMOF 10

11 EMOF Types Element 0..1 NamedElement name: String [0..1] annotatedelement 0.. ownedcomment 0.. Comment body: String TypedElement type 0..1 Type 11

12 EMOF Classes Type TypedElement MultiplicityElement isordered: Boolean = false isunique: Boolean = true lower: Integer = 1 upper: UnlimitedNatural = 1 Class isabstract: Boolean = false class ownedattribute 0..1 {ordered} Property isreadonly: Boolean = false default: String [0..1] iscomposite: Boolean = false isderived: Boolean = false isid: Boolean 0..1 opposite superclass class ownedoperation Operation 0..1 {ordered}

13 EMOF Classes (cntd.) TypedElement MultiplicityElement TypedElement MultiplicityElement Operation operation ownedparameter {ordered} 0.. Parameter raisedexception Type Constraint: raisedexception must actually be Class 13

14 EMOF Data Types Type NamedElement DataType PrimitiveType Enumeration enumeration ownedliteral 0..1 {ordered} 0.. Enumeration Literal 14

15 EMOF Primitive Types Boolean String Integer UnlimitedNatural ( for infinity ) 15

16 EMOF Packages NamedElement Package uri: String package ownedtype nestingpackage Type nestedpackage 16

17 Reflection package Object Element getmetaclass():class container():element equals(el:object):boolean 0..1 get(prop:property):object set(prop:property,val:object) isset(prop:property):boolean unset(prop:property) Type isinstance(o:object):boolean Package 1 package NamedElement Factory createfromstring(d:datatype,s:string):object converttostring(d:datatype,o:object):string create(mc:class):element For properties with more than one value, there exist ReflexiveCollection and ReflexiveSequence (similar to Java Collections)! 17

18 MOF in our project Type TypedElement MultiplicityElement isordered: Boolean = false isunique: Boolean = true lower: Integer = 1 upper: UnlimitedNatural = 1 Class isabstract: Boolean = false class ownedattribute Property isreadonly: Boolean = false default: String [0..1] 0..1 {ordered} 0.. iscomposite: Boolean = false isderived: Boolean = false isid: Boolean 0..1 M3 Ecore (~ EMOF) 0.. superclass M2 epnk and YAWL meta models + Annotation model (runtime simulator) M1 YAWL model M0 YAWL case (instance of a simulation) = conforms to / is instance of 18

19 MOF in our project M3 Ecore (~ EMOF) M2 M1 epnk and YAWL meta models YAWL model + Annotation model (runtime simulator) Technically the runtime model instances jump one conceptual level M0 YAWL case (instance of a simulation) = conforms to / is instance of Not a technical (Java / OO) instance; just a conceptual instance of YAWL 19

20 MBSE In addition to models and automatic code generation, MBSE provides techniques for structuring/extending (big) software (framework behind the scenes): Factories Interfaces Listeners / observers Commands Handlers Extension points 20

21 MBSE: Not covered Customizing code generation Defining own code generators (defining model to text transformations M2T) Transforminga model into another model (class diagram to database scheme, M2M) Other MBSE technologies (e.g. Microsofts Entity Framework) Techniques for developping embedded DSLs 21

22 Next week: Guest lecture by Dan True from Netcompany: How does Netcompany use models 22