Automatic Translation of a Timed Process Algebra into Dynamic State Graphs

Authors:
J. Jose Pardo;Valentin Valero;Fernando Cuartero;Diego Cazorla
Affiliations:
-;-;-;-
Venue:
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Year:
2001

Citing 0
Cited 2

Translating TPAL Specifications into Timed-Arc Petri Nets

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we consider a Timed Process Algebra onthe basis of the classical LOTOS operators, in order tospecify the behaviour of concurrent systems and, concretely,those systems for which time becomes an important factorto be taken into account, such as real-time systems. One ofthe main goals of this paper is to define a translation intoa kind of dynamic state graph, which is currently supportedby a tool (TPAL),which allows us to simulate the executionof a specification by means of these dynamic state graphs.