Beta 1

Title A Modelling Language for Communication-based Systems and its Application to the Danish Rejsekort
Author Knudsen, Gregers W.
Supervisor Probst, Christian W. (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2010
Abstract This thesis explores how well the Klaim modelling language can model a complex distributed system. The system chosen as the case study is the Danish Rejsekort. A payment system for public transportation built around a contactless smartcard solution. The design of an extended version of μKlaim is presented, where additional constructs are added to the language. The additional constructs are both general and specific to the domain of Rejsekortet. The design and implementation of an integrated development environment as well as a simulator for the extended μKlaim language is also presented. The possibilities of creating a general analysis framework are discussed and specific analyses are suggested for the Rejsekort system. The simulator allows for debugging models by stepwise execution, where an overview is given of the current state as well as historical states. Finally a model is created for a sub-system of the Rejsekort system using the extended μKlaim language. This model allows for simulation of a scenario where a card is purchased and used for the payment of public transportation.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-87
Original PDF ep10_87.pdf (1.95 MB)
Admin Creation date: 2010-11-30    Update date: 2010-11-30    Source: dtu    ID: 270540    Original MXD