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

fYear

2001

fDate

4-7 Dec. 2001

Firstpage

63

Lastpage

70

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-1408-1

Type

conf

DOI

10.1109/APSEC.2001.991460

Filename

991460