Automatic refinement of distributed systems specifications using program transformations

Author

De Santana, Antonio Carlos Lima ; Prado, Antonio Francisco do ; De Souza, Wanderley Lopes ; Sant´Anna, Marcelo

Author_Institution

Dept. de Comput., Univ. Federal de Sao Carlos, Brazil

fYear

1998

fDate

19-21 Aug 1998

Firstpage

154

Lastpage

163

Abstract

Formal specification techniques and automatic refinement tools for distributed systems have become key issues in current computing technology. The paper reports the development of a refinement tool based on the Extended State Transition Language (Estelle). Estelle is a format description technique (FDT) for distributed systems and communication protocols standardized by ISO. The refinement approach addresses an OO execution metamodel which is instantiated using C++. Transformations are used as the main technology behind the construction of this tool

Keywords

distributed processing; formal specification; protocols; software tools; C++; Estelle; Extended State Transition Language; ISO standardization; OO execution metamodel; automatic refinement; automatic refinement tools; communication protocols; distributed systems specifications; formal specification techniques; format description technique; program transformations; Automata; Carbon capture and storage; Computer languages; Electrical capacitance tomography; Formal specifications; ISO; LAN interconnection; Open systems; Protocols; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International

Conference_Location

Vienna

ISSN

0730-3157

Print_ISBN

0-8186-8585-9

Type

conf

DOI

10.1109/CMPSAC.1998.716651

Filename

716651