/IPDM /Lecture Plan

Process and Data Models

(Tentative) Lecture Plan: Fall 2005

Material for lectures: LB = Lecture Book. Comp = Compendium.

Event

Date

Topic

Material

Lecture 1

30/8

Overview of course and introduction to Process and Data Modelling (9.15-12) Lecturer: TH + PC

[ LB, Ch 1][introslides][Comp 1, slides][Comp 6, Sec. 1-1.3]

Lecture 2

6/9

The SW development process briefly
Lecturer: YD

[ Ch 2] [Slides 4-on-1 page]

UML Data and Process Models

Lecture 3

13/9

UML Class, object, package and deployment diagrams
Lecturer: SEB

[Ch 3, 6-8][Library Example][Slides 4-on-1 page]

Lecture 4

20/9

Usecases and Sequence diagrams
State Machine Diagrams, Activity Diagrams, Interaction Diagrams
Lecturer: SEB

[Ch 4, 9-15] [slides, exercises]

Lecture 5

27/9

UML - applied
Lecturer: YDI

slides

Do not get scared. The last third of the slides is optional.

Formal Process Models: Tools and Applications

Lecture 6

4/10

Automata, Communication and Concurrency. The UPPAAL tool
Lecturer: JCG

[Comp 3: 'UPPAA in a Nutshell'], skip 4.2-4
[Comp 4: 'UPPAA2k: Small Tuturial']
Slides

Uppall examples

Aux. literature (Ariane 5, Mars Rover Pathfinder, Therac 25)

Lecture 7

11/10

Model Checking and Extended Communicating Automata. (UPPAAL tool)
Lecturer: JCG

Slides

Uppall examples

Holiday

18/10

Fall break

Semistructured Process and Data Models (XML)

Lecture 8

25/10

XML Data and Process Modelling
Lecturer: TH

[Comp 7: 'An Introduction to XML ...', page 33-58, 95-99 and 118-129]
[Comp 8: 'Don't go with the flow']
[Comp 9: 'Analysis of Webservices Composition Languages'] slides in pdf (updated after lecture), slides in Powerpoint (updated after lecture) exercises

Tools and Applications Continued

Lecture 9

1/11

Business Process Modelling
Lecturer: SB

[slides (powerpoint)] [Exercises (word)]

Lecture 10

8/11

Coloured Petri Nets and the CPN tool
Lecturer: TH + Lars Kristensen and Lisa Wells from the CPN group, Aarhus University

 [Comp 6, Sec. 1-2][Exercises][Sample Protocol]

Lecture 11

15/11

Mini Project

Lecture 12

22/11

Seminar on Process and Data Models in Practice and Research:
9-11: Model Driven Architecture in Practice (Mikkel Lauritsen, Intentia)
11-12: Design-for-change (Yvonne Dittrich, DUIT)
12-13: Workflow and Coordination Models (Kjeld Schmidt, DUIT)
13-14: Languages and Architectures for Pervasive Business Processes (Thomas Hildebrandt)
14-15: Course conclusion and evaluation

Slides on Model Driven Architecture in Practice (powerpoint)slides on design for change, slides on pervasive business processes, paper on pervasive business processes research project

Curriculum

The Curriculum for the course is the slides, examples and exercises for week 1-11 available at the lecture plan, Ch 1-4 and Ch 6-15 of the book 'UML distilled', 3rd edition, Martin Fowler, ISBN 0-321-19368-7 and paper 1-4, 6 (only ch 1-2), 7-9 in the compendium (as listed below). The papers 5, 10, and 11 in the compendium and the slides for week 12 are supplementary reading.
  1. P.H. Carstensen and C. Sørensen. 'Let's Talk About Bugs!'. In Scandinavian Journal of Information Systems, Vol. 7, No. 1, 1995, pp. 33-54.
  2. M.M.Lehman. 'Programs, Life Cycles, and Laws of Software Evolution'. In Proceedings of the IEEE, Vol. 68, no. 9, September 1980.
  3. K. G. Larsen, P. Pettersson and W. Y. I. Springer. `UPPAAL in a Nutshell', International Journal of Software Tools for Technology Transfer, 1, 134-152, (1997).
  4. 'UPPAAL2k: Small Tutorial'. www.uppaal.com. October 2002.
  5. L. M. Kristensen, J. B. Jørgensen and K. Jensen. Springer. 'Application of Coloured Petri Nets in System Development', In Proceedings of ACPN 2003, LNCS 3098, pp. 626-685, 2004.
  6. K. Jensen and L. M. Kristensen, 'Coloured Petri Nets, Modelling and Validation of Concurrent Systems', Partial Draft Manuscript (to be published by Springer), August 15, 2005.
  7. A. Møller and M. I. Schwartzbach. 'An Introduction to XML and Web Technologies'. Partial Draft manuscript (ch 1,2,4), July 15, 2005.
  8. W.M.P. van der Aalst. 'Don't go with the flow: Web services composition standards exposed', Jan/Feb 2003 issue of IEEE Intelligent Systems, 2003.
  9. P. Wohed, W.M.P. van der Aalst, M. Dumas and A.H.M. ter Hofstede. 'Analysis of Web Services Composition Languages: The Case of BPEL4WS'. In Proceedings of 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag, Berlin, 2003.
  10. V. Wulf. '"Let's see your Search-Tool!" - On the Collaborative use of Tailored Artifacts'. In Proceedings of Group'99, ACM-Press, New York, pp. 50-60.
  11. M. Divitini and C. Simone. Kluwer Academic Publishers. 'Supporting Different Dimensions of Adaptability in Workflow Modeling'. In Journal of Computer Supported Cooperative Work, Vol. 9, pp. 365-397, 2000.

Updated 2/8-2005
Thomas Hildebrandt