| Kursusnavn (dansk): | Proces- og datamodellering |
| Kursusnavn (engelsk): | Process and Data Modelling |
| Semester: | Efterår 2005 |
| Udbydes under: | cand.it., internet- og softwareteknologi (int) |
| Omfang i ECTS: | 7,50 |
| Kursussprog: | Engelsk |
| Kursushjemmeside: | https://learnit.itu.dk |
| Min. antal deltagere: | 0 |
| Forventet antal deltagere: | 30 |
| Maks. antal deltagere: | 80 |
| Formelle forudsætninger: | No prerequisites. It is recommended, but not required, to follow an introductionary OO-programming course in parallel.
|
| Læringsmål: | Process and data modeling is used in different modes: As a sketch, as a blueprint or formal specification, and perhaps even as a programming language. In addition, all modes may be applied in forward-engineering or reverse-engineering direction.
The aim of the course is to introduce the student to principles, techniques and applications of process and data modelling in the design and development of applications and IT-systems in general. After the course the student will be able to use and choose between data- and process modelling techniques for design and development of IT-systems, to apply models as sketches in the design and development of applications and IT-systems and be able to explain the use of models as a specification or programming language.
|
| Fagligt indhold: | The course is expected to include the following topics:
Principles:
The SW Development Process
Declarative vs. Imperative descriptions
Formal vs. semi-formal model languages
Statical (data) vs. dynamical (process) models
Linear time (sequence diagrams)/branching time (automata)
Causality and Independence
Abstraction and compositionality
Design-for-change
Techniques and languages:
Parts of UML (usecases, class-, object-, sequence-, state-transition-,activity-, cooperation-, interaction- diagrams)
Petri Nets
Applications:
Workflow modelling
Model Driven Architecture/Model-based design
Model Checking and test generation
|
| Læringsaktiviteter: | 12 forelæsninger og 12 øvelsesgange NB! In the introductory week, meaning from 29 August to 2 September 2005, exercises from 13:00 to 16:00 are cancelled. This means, that there will be only lectures from 9:00 to 12:00.
The course will have 11 lectures (including guest lectures on e.g. models in practice) and 1 week with project work (2nd last week). |
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Ekstern censur 2 weeks before the exam a list of questions is made public.
At the exam you are expected to give a 15 minute presentation (prepared before the exam) answering a randomly drawn question. The presentation weights 80% of the final mark.
You will then get questions in other parts of the material. The answers to the aditional questions weight 20% of the final mark.
|
| Litteratur udover forskningsartikler: | UML distilled, 3rd edition, Martin Fowler, ISBN 0-321-19368-7
Additional material on workflow modelling, design-for-change, model-checking and Petri nets. |
| | |
Kursusoversigt