2IMI15: Metamodeling and Interoperability, Fall 2017-2018

Lecturer: dr. Natalia Sidorova, MF 7.105
Tutors:
ir. Bas van Zelst, MF 7.060,

              ir. Maikel van Eck, MF 7.108

Credits: 5 ECTS (=140 hours)

Timetable:             Semester A, quartile 1
Lectures:               Tuesday, 8:45 – 10:30, LAPLACE-GEBOUW -1.19
                               Friday, 13:45 – 15:30,  LAPLACE-GEBOUW -1.19

Time for questions about the assignment: TBD

Assignment deadline: October 28, 2017, 11 p.m.

Written examination: November 3, 2017, 9:00 – 12:00


The assignment is to be executed in the groups of 2-3 students. Please send an email to
Bas van Zelst before September 10 if you cannot find partners for the assignment.


The grade for the course = 0.5 * assignment grade + 0.5 * exam grade.

 

You can earn up to one bonus point by doing your homework (being not part of the assignment) regularly and well (the maximal grade you can obtain for the course is still 10).

Submit your homework via Canvas (canvas.tue.nl) before the indicated deadline. Note that in some cases the format of homework submission is indicated to be PowerPoint.

Lecture slides can be found at Canvas (canvas.tue.nl)

Reading materials: You will find the links to a selection of papers in the table below. Some of the links can only be used when you are at the TU/e campus, or by using VPN or the library proxy server.

The table below gives an approximate planning; it may still change!

No

Lecture date

Subject

Reading materials

Homework

1

September 5

Introduction to Metamodeling

1.      J. Ludewig, Models in software engineering – an introduction. Software and Systems Modeling, 2(1), 2003, pp. 5-14.

2.      Thomas Kühne, Matters of (Meta-) Modeling. Software and Systems Modeling, 5(4), 2006, pp. 369-385.

3.      W. Hesse, More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters”. Software and Systems Modeling, 5(4), 2006, pp. 387-394.

4.      Thomas Kühne, Clarifying matters of (meta-) modeling: an author’s reply. Software and Systems Modeling, 5(4), 2006, pp. 395-401.

1.      Read the four papers from the list of reading materials for Lecture 1 in the indicated order.

2.      For each of the papers [1] and [2], write down four statements which you find most interesting/ important/ arguable, clearly explaining to which of the three types (interesting, important or/and arguable) it belongs to in your opinion and why (max one page per paper).

3.      Give two examples of models which are in your view not metamodels, and two examples of metamodels; at least one model and one metamodel should be from the area of Computer Science. You are not allowed to directly use the examples from the papers. Explain why you consider them as metamodels (not just models).

Deadline: September 7, 11 p.m.

2

September 8

Basics of Metamodeling

1.      Eclipse tutorial by Luis Pedro, Matteo Risoldi, Centre Universitaire D'Informatique, Universite de Geneve, SMV technical report series, May 2008 – use the annotated version of it from Canvas (thanks to Maikel van Eck)

2.      MDA Guide, rev. 2.0

3.      Colin Atkinson, Thomas Kühne. Model-Driven Development: A Metamodeling Foundation, IEEE Software, 20(5), 2003.

4.      MOF core specification

1.      Read the annotated version of tutorial “Metamodeling with Eclipse” and then execute all the steps described in the tutorial Eclipse. Please use the annotated version of this tutorial which you can find on Canvas (folder Reading Materials). For questions, contact Maikel van Eck.

2.      Correct the metamodel of Petri nets from the lecture slides.

3.      Show how MOF is an instance of MOF itself, by mapping model elements to each other.

4.      Indicate three mistakes / incompletenesses /imprecisenesses in the UML metamodel from the slides. Explain how they can be repaired, if they can; If not – explain why not.

5.      What modification of the model and the metamodel you could make to accommodate the possibility to use synchronous communication when composing Petri net components?

 

You only send me the answers for tasks 2 and 4 with one slide per task in PowerPoint in the format of the lecture slides.

 

Deadline: September 13, 11 p.m.

3

September 12

Metamodeling and model transformations

1.      Lecture slides

2.      https://www.eclipse.org/henshin/

1.      (the homework given at the previous lecture) Submit the results of your homework.

Deadline: September 13, 11 p.m.

 

2.      Create metamodels for exercises 1-2 in the PowerPoint format: one model per slide.

Deadline: September 17, 11 p.m.

4

September 15

Henshin tutorial

1.      https://www.eclipse.org/henshin/

2.      Materials at Canvas

3.      Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer: Henshin: Advanced Concepts and Tools for In-place EMF Model Transformations. Proceedings of MoDELS'10, LNCS 6394, 121-135, Springer-Verlag, 2010.

 

1.      (the homework given at the previous lecture) Submit metamodels for exercises 1-2 in the PowerPoint format: one model per slide (which you started after the previous lecture)

2.      Read the assignment well (see Canvas)

Deadline: September 17, 11 p.m.

 

5

September 19

Discussion of the assignment

Metamodeling exercises

Lecture slides only – at Canvas

1.      Make metamodels for exercises 3-4. Do not forget to indicate your assumptions and constraints that are not captured in the metamodel (in the textual form, but try and make them precise). One model per slide in PowerPoint. If the assumptions and constraints do not fit into the space on the slide in a readable way, put them in the notes.

Deadline: September 24, 11 p.m.

6

September 22

Declarative modeling style on the case of Declare

1.      M. Pesic and W.M.P. van der Aalst. A Declarative Approach for Flexible Business Processes. In J. Eder and S. Dustdar, editors, Business Process Management Workshops, Workshop on Dynamic Process Management (DPM 2006), volume 4103 of Lecture Notes in Computer Science, pages 169-180. Springer-Verlag, Berlin, 2006.

2.      M. Pesic. Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD dissertation, Eindhoven University of Technology, 2008.

1.      (the homework given at the previous lecture) Submit metamodels for exercises 3-4 in the PowerPoint format: one model per slide (which you started after the previous lecture) Deadline: September 24, 11 p.m.

7

September 26

Metamodeling exercises

Lecture slides only – at Canvas

1.      Improve your metamodels for exercises 3-4. Do not forget to indicate your assumptions and constraints that are not captured in the metamodel (write them down in the textual form, but try and make them precise).

Format: one model per slide in PowerPoint. If the assumptions and constraints do not fit into the space on the slide in a readable way, put them in the notes.

Deadline: October 1, 11 p.m.

8

September 29

Service orientation and interoperability.

Open nets for modeling and analysis of service orchestrations

Recommended, but optional:

         Thomas Erl. Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall 2005

See http://www.ibm.com/developerworks/webservices/ for more information on SOA

Optional homework:

·         List problems you can identify in the solution proposed in the lecture slides.

·         Formulate what you need to come with a better one.

·         Max one A4!

Deadline: October 6, 11 p.m.

9

October 3

Metamodeling and model transformation exercises

Lecture slides only – at Canvas

You can start with tasks involving model transformations in your assignment.

10

October 6

Operating guidelines

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. In volume 4546 of Lecture Notes in Computer Science, pages 321–341, June 2007. Springer-Verlag.

Three weeks to go before the deadline for your assignment! Plan well! Ask questions if there are things you are not sure about!

11

October 10

Adapters: specification, construction and analysis

Gierds, C.; Mooij, A.J.; Wolf, K. Reducing Adapter Synthesis to Controller Synthesis. IEEE Transactions on Services Computing, vol.5, no.1, pp.72-85, Jan.-March 2012

Exercises partner construction a, b, c, d – see Canvas

Deadline: October 12, 11 p.m.

Exercises adapters 1, 2, 3 – see Canvas

Deadline: October 15, 11 p.m.

12

October 13

Exercise session: meta-modelling, operating guidelines + adapters

See the slides and additional exercises at Canvas

Work on your assignment!

13

October 17

Model selection, comparison, integration, …
Concluding remarks

Exam: what to expect.

See the slides at Canvas

Work on your assignment! Submit it before the deadline!

October 20

No lecture (no classes at TU/e because of the open days)