Systematic Development of High-performance Distributed System Architectures

Schot, Jeroen (1990) Systematic Development of High-performance Distributed System Architectures. In: Second IEEE workshop on future trends on distributed computing systems, Sept. 30 - Oct. 2, 1990, Cairo, Egypt.

Preview

PDF
730Kb

Abstract:	The author presents a view of how performance requirements are considered in the design of distributed and contributed systems, using the formal language LOTOS that does not support the specification of performance constraints directly in language elements. The design trajectory covered in this approach is discussed in terms of specific transformation steps that are relevant to the fulfillment of non-LOTOS requirements. The following four performance issues are addressed: (1) In the first formalization step, parallelism should be preserved as much as possible. (2) During the first transformation steps, process decomposition is performed in which knowledge about implementation elements is included. (3) The selection from among different structures can be supported by queuing networks for analysis and assessment for their relative applicability. (4) During the later transformation steps the implementation of abstract interfaces as defined in the specification should be efficient; the events should be implemented using appropriate call structures, and implementation mechanisms such as buffer management are relevant
Item Type:	Conference or Workshop Item
Copyright:	©1990 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/18943
Official URL:	http://dx.doi.org/10.1109/FTDCS.1990.138365
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 119465