Composing Synchronization and Real-time Constraints

Bergmans, Lodewijk and Aksit, Mehmet (1996) Composing Synchronization and Real-time Constraints. Journal of Parallel and Distributed Computing, 36 (1). pp. 32-52. ISSN 0743-7315

Preview

PDF
512Kb

Abstract:	There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented languages have been introduced for building object-oriented programs with real-time behavior. Composing and reusing object-oriented programs with both synchronization and real-time constraints has not been addressed adequately, although most real-time systems are concurrent. This paper analyzes the origins of the problems in composing and reusing synchronization and real-time specifications, first as separate concerns, and later as composed behavior. To overcome the so-called inheritance anomaly problems, this paper proposes modular and composable synchronization and real-time specification extensions to the object-oriented model. The applicability of the proposed mechanisms is illustrated through a number of examples.
Item Type:	Article
Copyright:	© 1996 Elsevier
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/18003
Official URL:	http://dx.doi.org/10.1006/jpdc.1996.0088
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 118522