Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Real-time specification inheritance anomalies and real-time filters

  • Conference paper
  • First Online:
Object-Oriented Programming (ECOOP 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 821))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Aksit & A. Tripathi, Data Abstraction Mechanisms in Sina/ST, OOPSLA '88, pp. 265–275, September 1988.

    Google Scholar 

  2. M. Aksit, J.W. Dijkstra & A. Tripathi, Atomic Delegation: Object-oriented Transactions, IEEE Software, Vol. 8, No. 2, March 1991.

    Google Scholar 

  3. M. Aksit, L.Bergmans & S. Vural, An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach, ECOOP '92, LNCS 615, pp 372–395, Springer-Verlag, 1992.

    Google Scholar 

  4. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, A. Yonezawa, Abstracting Object-Interactions Using Composition-Filters, in: Object-based Distributed Processing, R. Guerraoui, O. Nierstrasz & M. Riveill (eds.), to be published in the Lecture Notes in Computer Science series, Springer-Verlag, 1994

    Google Scholar 

  5. J. Allen, Maintaining Knowledge about Temporal Intervals, Communications of the ACM, Vol. 26(110), pp. 832–843, ACM, 1983.

    Google Scholar 

  6. L. Bergmans, M. Aksit, K. Wakita & A. Yonezawa, An Object-Oriented Model for Extensible Synchronization and Concurrency Control, Memoranda Informatica 92-87, University of Twente, January 1992.

    Google Scholar 

  7. E. Brorsson, C. Eriksson & J. Gustafsson, RealTimeTalk: An Object-Oriented Language for Hard Real-Time Systems, Proceedings of IFAC International Workshop on Real-Time Programming, 1992.

    Google Scholar 

  8. B. Dasarathy, Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them, IEEE Transactions on Software Engineering, 11(1), pp. 80–86, IEEE, 1985.

    Google Scholar 

  9. M. Ellis & B. Stroustrup, The Annotated C++ Reference Manual, Addison-Wesley, 1990.

    Google Scholar 

  10. A. Goldberg & D. Robson, Smalltalk-80 — The Language, Addison-Wesley, 1989.

    Google Scholar 

  11. W. A. Halang & A. D. Stoyenko, Constructing Predictable Real-Time Systems, Kluwer Academic Publishers, Dordrecht-Hingham, 1991.

    Google Scholar 

  12. Y. Ishikawa, H. Tokuda & C.W. Clifford, Object-Oriented Real-Time Language Design, Carnegie Mellon University, USA, 1990.

    Google Scholar 

  13. K.J. Lin, J.W.S. Liu, K.B. Kenny & S. Natarajan, FLEX: A Language for Programming Flexible Real-Time Systems, Foundations of Real-Time Computing: Formal Specifications and Methods, pp. 251–290, (eds.) A.M. van Tilborg, G.M. Koob, Kluwer Academic Publishers, 1991.

    Google Scholar 

  14. S. Matsuoka, K. Wakita & A. Yonezawa, Inheritance Anomaly in Object-Oriented Concurrent Programming Languages, to appear in Research Directions in Concurrent Object-Oriented Programming, (eds.) G. Agha, P. Wegner & A. Yonezawa, MIT Press, April 1993

    Google Scholar 

  15. V.M. Nirkhe, S.K. Tripathi & A.K. Agrawal, Language Support for the Maruti Real-Time System, Proc. 1990 Real-Time Systems Symposium, pp. 257–266, IEEE Computer Society Press, 1990.

    Google Scholar 

  16. K. Schwan & H. Zhou, Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads, IEEE Transactions on Software Engineering, 18(8), pp. 736–748, 1992.

    Article  Google Scholar 

  17. W.E.P. Sterren, Design of a Real-Time Object-Oriented Language, M.Sc. Thesis, Department of Computer Science, University of Twente, The Netherlands, Februari 1993.

    Google Scholar 

  18. K. Takashio & M. Tokoro, DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems, Proceedings of OOPSLA'92, pp. 276–294, ACM Press, 1992.

    Google Scholar 

  19. P. Wegner, Dimensions of Object-Based Language Design, pp. 168–182, OOPSLA '87, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, P.O. Box 217, 7500, AE Enschede, The Netherlands

    Mehmet Aksit, Jan Bosch & Lodewijk Bergmans

  2. Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600, MB Eindhoven

    William van der Sterren

Authors
  1. Mehmet Aksit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Bosch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. William van der Sterren
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lodewijk Bergmans
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mario Tokoro Remo Pareschi

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aksit, M., Bosch, J., van der Sterren, W., Bergmans, L. (1994). Real-time specification inheritance anomalies and real-time filters. In: Tokoro, M., Pareschi, R. (eds) Object-Oriented Programming. ECOOP 1994. Lecture Notes in Computer Science, vol 821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052193

Download citation

  • DOI: https://doi.org/10.1007/BFb0052193

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58202-1

  • Online ISBN: 978-3-540-48567-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation