Real-time specification inheritance anomalies and real-time filters

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 821 LNCS, Issue , 1994, Pages 386-407

  Aksit, Mehmet ^a   Bosch, Jan ^a   van der Sterren, William ^b   Bergmans, Lodewijk ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS; SPECIFICATIONS;

APPLICATION REQUIREMENTS; INHERITANCE ANOMALY; INHERITANCE MECHANISMS; OBJECT-ORIENTED PROGRAM; REAL TIME CHARACTERISTICS; REAL TIME CONSTRAINTS; REAL TIME SPECIFICATIONS; REAL-TIME COMPOSITION;

OBJECT ORIENTED PROGRAMMING;

EID: 85027520683     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0052193     Document Type: Conference Paper

References (19)

1. M. Aksit & A. Tripathi, Data Abstraction Mechanisms in Sina/ST, OOPSLA ‘88, pp. 265–275, September 1988.
2. M. Aksit, J.W. Dijkstra & A. Tripathi, Atomic Delegation: Object-oriented Transactions, IEEE Software, Vol. 8, No. 2, March 1991.
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.
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
5. J. Allen, Maintaining Knowledge about Temporal Intervals, Communications of the ACM, Vol. 26(110), pp. 832–843, ACM, 1983.
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.
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.
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.
9. M. Ellis & B. Stroustrup, The Annotated C++ Reference Manual, Addison-Wesley, 1990.
10. A. Goldberg & D. Robson, Smalltalk-80 — The Language, Addison-Wesley, 1989.
11. W. A. Halang & A. D. Stoyenko, Constructing Predictable Real-Time Systems, Kluwer Academic Publishers, Dordrecht-Hingham, 1991.
12. Y. Ishikawa, H. Tokuda & C.W. Clifford, Object-Oriented Real-Time Language Design, Carnegie Mellon University, USA, 1990.
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.
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
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.
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.
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.
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.
19. P. Wegner, Dimensions of Object-Based Language Design, pp. 168–182, OOPSLA ‘87, 1987.