 |
|
Jansen, D.N.
(2003)
Extensions of Statecharts with probability, time, and stochastic timing.
PhD thesis, University of Twente.
CTIT Ph.D.-thesis series No. 03-57
ISBN 3-9522850-0-5
 Full text available as: Official URL: http://purl.org/utwente/58230 AbstractStatecharts are a graphical language to describe the behaviour of a (computer) system. Statecharts are, among others, used as a part of the UML (Unified Modelling Language).
This thesis describes three extensions related to statecharts. One of them is a real-time property language that fits well with statecharts. The two others extend the statechart language itself with probabilistic choice and stochastic timing. All languages have formal semantics that allow for automated analysis, for example model checking.
The thesis shows how to apply these extensions with several examples: the real-time workflow of a travel office; a game taken from theoretical biology; whether a gambling machine satisfies the legal requirements; the efficiency of an automatic teller machine; and as the largest case study a part of a real-time network protocol where communication may fail with some probability. For all of these case studies, the system behaviour is described by one or several statecharts and analysesd using model checking or simulation. | Item Type: | PhD Thesis |
|---|
| Supervisors: | Wieringa, R.J. |
|---|
| Assistant Supervisors: | Katoen, J.P. |
|---|
| Research Group: | EWI-IS: Information Systems, EWI-FMT: Formal Methods and Tools |
|---|
| Research Program: | CTIT-ISTRICE: Integrated Security and Privacy in a Networked World |
|---|
| Research Project: | DEIRDRE: Deontic Integrity Rules, Deadlines and Real Time in Databases |
|---|
| ID Code: | 1292 |
|---|
| Deposited On: | 19 January 2009 |
|---|
| More Information: | statistics |
|---|
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item
|
|
|
Nederlands
Contact
Sitemap
Search
Organisation