|
| Final Report of the COST-247 Action |
Probabilistic Extensions of TE-LOTOS
Zbigniew Huzar(1), Jan Magott(2)
| Computer Science Department |
| Faculty of Informatics and Management, |
| Technical University of Wroceaw, Poland |
| Tel: (48) (71) 3203431 |
| Fax: (48) (71) 211018 |
| ~ |
| (2) Institute of Engineering Cybernetics |
| Faculty of Electronics, |
| Technical University of Wroceaw, Poland |
| ~ |
| E-mail: z.huzar@ci.pwr.wroc.pl , magott@ict.pwr.wroc.pl |
TE-LOTOS is a candidate for a timed extension of formal description language LOTOS. In the present paper, we extend TE-LOTOS with a possibility of probabilistic generation of the timing restrictions of the actions, and probabilistic generation of the delay time. The action denotation is extended with probability distributions for action timing constraints. Additionally, probabilities are used to solve non-determinism in choice behaviour expressions in stochastic or deterministic way.
This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).
COST-247 Working Group(s):
Web Links :
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page