Automatic refinement of distributed systems specifications using program transformations

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 (...

Full description

Saved in:
Bibliographic Details
Main Authors: Lima De Santana, A.C., Do Prado, A.F., De Souza, W.L., Sant'Anna, M.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Carbon capture and storage
Computer languages
Electrical capacitance tomography
Formal specifications
ISO
LAN interconnection
Open systems
Protocols
Testing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0730-3157
DOI:10.1109/CMPSAC.1998.716651