Kursusbasen

Kursusoversigt

Kursusbeskrivelse

Kursusnavn (dansk):	Proces- og datamodellering
Kursusnavn (engelsk):	Process and Data Modelling
Semester:	Forår 2007
Udbydes under:	cand.it., internet- og softwareteknologi (int)
Omfang i ECTS:	7,50
Kursussprog:	Engelsk
Kursushjemmeside:	http://www.itu.dk/courses/IPDM/F2007/index.html
Min. antal deltagere:	12
Forventet antal deltagere:	30
Maks. antal deltagere:	80
Formelle forudsætninger:	Basic knowledge of databases and it-systems in general is assumed either as a prerequisite or obtained in parallel with this course, as for instance in the course on Design of User Interfaces and Data.
Læringsmål:	Modelling plays a central role in any kind of engineering as a means of communicating, prototyping and verifying designs. Modelling for software engineering is becoming more and more prominent through the advocation of model-based design and model-driven development, and has become a crucial skill for programmers as well as it-architects, business managers and project leaders. The aim of the course is to introduce the student to principles, techniques and applications of modelling in the design, development and analysis of applications and IT-systems in general. After the course the student will be able to use and choose between different modelling techniques for design and development of IT-systems, to apply informal models as sketches in the design and development of applications and IT-systems in organisations, understand the basic formal models that underpin programming languages and it systems, and be able to explain the use of process models in service oriented architectures and process aware information systems. Detailed description of goals: You should be able to explain the main software development process models find and describe objects in a problem domain (OO Analysis) define software objects, their interrelation and collaboration using UML notation explain the concept, architecture and goals of business process management systems identify workflows and services in a problem domain describe workflows and services using UML notation use formal mathematical notations for logic, proofs, relations and functions understand the fundamental formal models of computation (regular languages, finite state machines, context free languages and turing machines) and their limitations use formal grammars to describe (programming) languages explain how formal models can be used to verify and check properties of critical parts of it systems
Fagligt indhold:	The course introduces you to the use and application of modelling in the design, development and integration of IT-systems. In particular, the course covers the classical object oriented modelling techniques and notations, the fundamental formal models of data and computation as well as modelling techniques and notations for process and service oriented computing used in web-services and business process management systems. Overview of course: Principles Informal and formal process models Software Development Process Models Object Orientation (OO) Service Oriented Architecture (SOA) and Process-aware Information Systems Fundamental models, formal concepts and notations used in computer science Applications: UML applied in OO Analysis and Design UML applied in Workflow and Business Process Management (BPM) Applications of Formal Models to Verification and Model Checking Note that relational data models, databases and design of user interfaces is covered in the course Design of User Interfaces and Data and that implementation of objects and processes is covered in courses on OO programming and web-services.
Læringsaktiviteter:	14 ugers undervisning bestående af forelæsninger og øvelser The course will have 14 weeks of lectures and exercise classes. --------------------- I intro-ugen (uge 5) er der ændrede kursustidspunkter: Link til skemaoplysninger In the intro week (week 5) the course time table is changed: Link to the time table ---------------------- Information om studiestruktur / Information about study structure ITO Dette kursus er en del af ITO¿s obligatoriske moduler, som du kan finde beskrevet her: ITO studiestruktur For at blive cand.it. i ITO skal du bestå ITO¿s obligatoriske moduler, og desuden gennemføre en 22,5 ECTS specialisering samt to 7,5 ECTS valgfag. This course is part of the ITO mandatory modules ¿ find them described here (in Danish): ITO studiestruktur In order to graduate as a MSc in ITO, you need to pass the ITO mandatory modules, and also take a 22,5 ECTS specialization and two 7,5 ECTS electives SDT Dette kursus er en del af SDT¿s obligatoriske moduler, som du kan finde beskrevet her: SDT studiestruktur For at blive cand.it. i SDT skal du bestå SDT¿s obligatoriske moduler, og desuden gennemføre en 22,5 ECTS specialisering samt to 7,5 ECTS valgfag. This course is part of the SDT mandatory modules ¿ find them described here: SDT studiestruktur In order to graduate as a MSc in SDT, you need to pass the SDT mandatory modules, and also take a 22,5 ECTS specialization and two 7,5 ECTS electives.
Eksamensform og -beskrivelse:	X. experimental examination form (7-scale; external exam), 13-skala, Ekstern censur
Litteratur udover forskningsartikler:	UML Distilled Third Edition - A Brief Guide to the standard object modeling Language, ISBN 0-321-19368-7 Compendium on Formal Concepts in Computer Science and hand outs. The course web page will provide a list of additional relevant books in the area.

Afholdelse (tid og sted)

Kurset afholdes på følgende tid og sted:

Ugedag	Tidspunkt	Forelæsning/Øvelser	Sted	Lokale
Tirsdag	10.00-12.00	Forelæsning	ITU	3A12
Tirsdag	13.00-15.00	Øvelser	ITU	3A12, 3A50, 3A52

Eksamen afholdes på følgende tid og sted:

Eksamensdato	Tidspunkt	Eksamenstype	Sted	Lokale
2007-06-12	Tidspunkt oplyses senere	Mundtlig eksamen	ITU	Lokale oplyses senere
2007-06-13	Tidspunkt oplyses senere	Mundtlig eksamen	ITU	Lokale oplyses senere
2007-06-14	Tidspunkt oplyses senere	Mundtlig eksamen	ITU	Lokale oplyses senere