Automatic Implementation of Distributed Systems Formal Specifications

The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have been proposed. This paper defends the transformational approach as a good strategy to carry out the automatic implementation of DS's expressed in FDTs, focusing Mondel as FDT, and the DRACO-PUC environment as transformational system.

• Type: Conference
• Year: 2000
• Where: IPPS
• Authors: Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna
• Keywords: Distributed And Parallel Computing, Formal Description Techniques, IPPS 2000, Quality-assured Development Process, Requirement Compliance