Title :
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
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;
Conference_Titel :
Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International
Conference_Location :
Vienna
Print_ISBN :
0-8186-8585-9
DOI :
10.1109/CMPSAC.1998.716651
