next up previous

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: ,


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