Title :
Automatic translation of a timed process algebra into dynamic state graphs
Author :
Pardo, J. José ; Valero, Valentín ; Cuartero, Fernando ; Cazorla, Diego
Author_Institution :
Departamento de Informatica, Univ. de Castilla-La Mancha, Albacete, Spain
Abstract :
In this paper we consider a timed process algebra based on classical LOTOS operators in order to specify the behaviour of concurrent systems and, concretely, those systems for which time becomes an important factor to take into account, such as real-time systems. One of the main goals of this paper is to define a translation into a kind of dynamic state graph, which is currently supported by a tool (TPAL), which allows it to simulate the execution of a specification by means of these dynamic state graphs.
Keywords :
concurrency theory; formal specification; process algebra; specification languages; LOTOS operators; TPAL tool; automatic translation; concurrent systems; dynamic state graph; dynamic state graphs; real-time systems; specification execution simulation; timed process algebra; Algebra; Analytical models; Automata; Carbon capture and storage; Delay effects; Fault tolerant systems; Mobile agents; Proposals; Real time systems; System recovery;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991460
