Real-time specification inheritance anomalies and real-time filters

Aksit, Mehmet and Bosch, Jan and Sterren van der, William and Bergmans, Lodewijk (1994) Real-time specification inheritance anomalies and real-time filters. In: 8th European Conference on Object-Oriented Programming, ECOOP, July 4–8, 1994, Bologna, Italy.

PDF
Restricted to UT campus only: Request a copy
1072Kb

Abstract:	Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In applications developed by current real-time object-oriented languages, however, changing application requirements or changing real-time specifications in sub-classes may require excessive redefinitions although this seems to be intuitively unnecessary. We refer to this as the real-time specification inheritance anomaly. This paper introduces three kinds of real-time specification inheritance anomalies that one may experience while constructing object-oriented programs. As a solution to these anomalies, the concept of real-time composition filters is introduced. Filters affect the real-time characteristics of messages that are received or sent by an object. Through proper configuration of filters, one can specify real-time constraints, and reuse of these constraints without causing inheritance anomalies.
Item Type:	Conference or Workshop Item
Copyright:	© 1994 Springer-Verlag
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/18782
Official URL:	http://dx.doi.org/10.1007/BFb0052172
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 119304