Kursusnavn (dansk):  Modeller og sprog for distribuerede og mobile systemer 
Kursusnavn (engelsk):  Models and Languages for Distributed and Mobile Systems 
Semester:  Forår 2003 
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:  10 
Maks. antal deltagere:  100 
Formelle forudsætninger: 
 Mathematical maturity as obtained from a bachelor in engineering, computer science or a similar background. In particular, the student should be familiar with sets, relations, and propositional logic.
At ITC these subjects are covered by the course in ITmathematics. The courses Distributed Systems and Concurrency provide examples of use of the theory covered in this course which might help, but they are not required to follow the course. 
Læringsmål:  After the course the student should
 recognize several models, model and specification languages in which the structure and behaviour of concurrent, distributed and mobile systems can be described
 be able to point out different forms and characteristics of distribution and mobility, and explain how these can be formally described and analyzed,
 be able to apply models in the design phase of distributed and mobile systems
 know how to express that systems have the same observable behavior in all contexts
 be able to apply the techniques to specify and analyze fundamental properties of basic concurrent, distributed and mobile systems
 be able to compare and evaluate new models (e.g. calculi for concurrency and mobility) and modellanguages for distributed and mobile systems proposed in e.g. research papers, in terms of expressiveness.

Fagligt indhold:  The course will cover the following topics
 models and (model/specification) languages for concurrent, distributed and mobile systems, including e.g.
 UML State diagrams, UML Collaboration diagrams and Sequence Diagrams,
 Automata,
 Labelled transition systems,
 CCS,
 temporal logic,
 the picalculus
 formal semantics: transition systems and bisimulation
 characteristics of distribution and mobility

Læringsaktiviteter:  The course will interact with research projects on Location Dependent Communication and Location Based Services at ITC when appropriate. There will be weekly handin exercises, of which approval of 60% is required to be admitted to the exam. 
Eksamensform og beskrivelse:  X. experimental examination form (7scale; external exam), 13skala, Ekstern censur By the end of the 12week course period, a list of exam topics with exercises will be given. At the exam you will get one of the topics and then have 20 minutes to prepare yourself for the succeeding oral examination (2530 minutes), at which you are expected to present your solution at the blackboard and answer to related questions.

Litteratur udover forskningsartikler:  In the course we will use the following material:
 Book: Communicating and mobile systems: the picalculus, Robin Milner, ISBN 0 521 65869 1 (paperback)
 Notes/Papers on UML
 Notes/Papers on Temporal Logics
 Research Papers on Models and Languages for Distributed and Mobile Systems

 