Protocol design and implementation using formal methods

Sinderen van, Marten and Ferreira Pires, Luis and Vissers, Chris A. (1992) Protocol design and implementation using formal methods. The Computer Journal, 35 (5). pp. 478-491. ISSN 0010-4620

PDF
73Kb

Abstract:	This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on design methods for synthesizing protocols by successive application of correctness-preserving LOTOS transformations. This transformational approach is described in some detail and is illustrated with a protocol design example. The paper concludes with some suggestions for relating design methods to milestones in the protocol design and implementation processes.
Item Type:	Article
Copyright:	© 1992 Oxford University Press
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS) Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/64452
Official URL:	http://dx.doi.org/10.1093/comjnl/35.5.478
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page

Metis ID: 118619