Formal description techniques for distributed computing systems, the challenges for the 1990s


Share/Save/Bookmark

Vissers, Chris A. and Lagemaat, Jeroen van de and Ferreira Pires, L. (1990) Formal description techniques for distributed computing systems, the challenges for the 1990s. In: Second IEEE workshop on future trends on distributed computing systems, Sept. 30 - Oct. 2, 1990, Cairo, Egypt (pp. pp. 465-471).

open access
[img]
Preview
PDF
679kB
Abstract:The authors discuss research into how formal description techniques (FDTs) can be used both to support the complete design trajectory, including implementation and product testing, and to represent effectively the design concepts of the complete design trajectory for specification, at a high level of abstraction, of distributed systems. The discussion covers a number of such research activities conducted within the framework of the ESPRIT II project 2304, LOTOSPHERE. The topics covered include: aspects of design methodology, correctness-preserving transformation, the reflection of design criteria, the role of predefined specification and implementation constructs, and formal approaches to conformance testing. Some insight is given into the development of a comprehensive tool set that supports these aspects of design methodology. In conclusion, data obtained from the application of these methods and tools to some realistic pilot implementations are provided
Item Type:Conference or Workshop Item
Copyright:©1990 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/56076
Official URL:http://dx.doi.org/10.1109/FTDCS.1990.138364
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page