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.