Homepage for the course Process and Data Modelling, Fall 2005

This course is sponsored by Concurrency Collaboration, the National Teaching Network on Model-Based Design for Concurrency supported by IT-vest networking universities.
Course responsible: Thomas Hildebrandt ( from september 20th-october 21th Jens Chr. Godskesen will be course responsible)
Lecture plan (tentative)
Course format, teachers, content, participants etc, see:course description in the course base at mit.ITU

News

2005-11-18: Updated program for next tuesday. See lecture plan.
2005-11-08: Slides on mini projects.
2005-09-27: Slides, auxiliary (i.e. non-mandatory) literature, and examples for lecture 6 are available from the lectureplan.
2005-09-19: Links to slides for Week 3 added to lectureplan.
2005-09-06: Links to slides for Week 2 added to lectureplan.
2005-08-30: Links to slides added to lectureplan.
2005-08-23: Material for first lecture at lectureplan.
2005-08-23: List of litterature added (available in compendium)
2005-07-28: Homepage and tentative lecture plan created

Tools

During the course we will introduce you to a number of (graphical) tools for process modelling. The tools will be installed on the PCs in the exercise room. You should be able to install these tools on your own computer. The tools include:

Litterature

The 4 lectures on Software development and UML will be based on the book: 'UML distilled', 3rd edition, Martin Fowler, ISBN 0-321-19368-7

Additional course litterature will be available in a compendium. The book and the compendium can be bought from the book store at ITU, Rued Langgardsvej 7, Cph S. The Compendium contains the following material:

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.
M.M.Lehman. 'Programs, Life Cycles, and Laws of Software Evolution'. In Proceedings of the IEEE, Vol. 68, no. 9, September 1980.
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).
'UPPAAL2k: Small Tutorial'. www.uppaal.com. October 2002.
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.
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.
A. Møller and M. I. Schwartzbach. 'An Introduction to XML and Web Technologies'. Partial Draft manuscript (ch 1,2,4), July 15, 2005.
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.
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.
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.
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.

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. The papers 5, 10, and 11 in the compendium and the slides for week 12 are supplementary reading.