Composing synchronization and real-time constraints

Journal of Parallel and Distributed Computing

Volumn 36, Issue 1, 1996, Pages 32-52

  Bergmans, Lodewijk ^a   Akşit, Mehmet ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030578278     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1996.0088     Document Type: Article

References (55)

1. 1. G. Agha, An overview of actor languages. ACM SIGPLAN Notices 21, 10 (Oct. 1986), 58-67.
2. 2. M. Akşit and A. Tripathi, Data abstraction mechanisms in Sina/ST. Proc. of the OOPSLA '88 Conference. ACM SIGPLAN Notices 23, 11 (Nov. 1988), 265-275.
3. 3. M. Akşit, On the design of the object-oriented language Sina. Ph.D. thesis, Univ. of Twente, 1989.
4. 4. M. Akşit, J. W. Dijkstra, and A. Tripathi, Atomic delegation: Object-oriented transactions. IEEE Software 8, 2 (Mar. 1991), 84-92.
5. 5. M. Akşit, L. Bergmans, and S. Vural, An object-oriented language-database integration model: The composition-filters approach. Proc. of the ECOOP '92 Conference. Lecture Notes in Computer Science, Vol. 615. Springer-Verlag, Berlin/New York, 1992, pp. 372-395.
6. 6. M. Akşit and L. Bergmans, Obstacles in object-oriented software development. Proc. of the OOPSLA'92 Conference. ACM SIGPLAN Notices 27, 10 (Oct. 1992), 341-358.
7. 7. M. Akşit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa, Abstracting object-interactions using composition-filters. In Object-Based Distributed Processing (R. Guerraoui, O. Nierstrasz, and M. Riveill, Eds.). Lecture Notes in Computer Science, Vol. 791. Springer-Verlag, Berlin/New York, 1993, pp. 152-184.
8. 8. M. Akşit, J. Bosch, W. v.d. Sterren, and L. Bergmans, Real-time specification inheritance anomalies and real-time filters. Proc of the ECOOP '94 Conference. Lecture Notes in Computer Science, Vol. 821. Springer Verlag, Berlin/New York, July 1994, pp. 386-407.
9. 9. J. Allen, Maintaining knowledge about temporal intervals. Comm. ACM 26, 110, (1983), 832-843.
10. 10. P. America, POOL-T: A parallel object-oriented language. In Object-Oriented Concurrent Programming (A. Yonezawa and M. Tokoro, Eds.). The MIT Press, Cambridge, MA, 1987, pp. 199-220.
11. 11. P. America, A parallel object-oriented language with inheritance and subtyping. Proc. of the OOPSLA/ECOOP '90 Conference. ACM SIGPLAN Notices 25, 10 (Oct. 1990), 161-168.
12. 12. C. Atkinson, S. Goldsack, A. Di Maio, and R. Bayan, Object oriented concurrency and distribution in DRAGOON. J. Object-Oriented Programming March/April (1991), 11-18.
13. 13. L. Bergmans, Composing concurrent objects. Ph.D. thesis, Univ. of Twente, 1994.
14. 14. J. van den Bosch and C. Laffra, PROCOL - A parallel object language with protocols. Proc. of the OOPSLA '89 Conference. ACM SIGPLAN Notices 24, 10 (1989), 95-102.
15. 15. J-P. Briot and A. Yonezawa, Inheritance and synchronization in concurrent OOP. Proc of the ECOOP'87 Conference. Springer-Verlag, Berlin/New York, 1987, pp. 32-40.
16. 16. J.-P. Briot, Actalk: A testbed for classifying and designing Actor languages in the Smalltalk-80 environment. Proc. of the ECOOP '89 Conference, Cambridge Univ. Press, Nottingham, July 10-14, 1989, pp. 109-129.
17. 17. E. Brorsson, C. Eriksson, and J. Gustafsson, RealTimeTalk: An object-oriented language for hard real-time systems. Proc. of IFAC International Workshop on Real-Time Systems, Brugge, 1991.
18. 18. D. Caromel, Concurrency: An object-oriented approach. TOOLS-2 (J. Bezivin, B. Meyer, and J. M. Nerson, Eds.). 1990, pp. 183-197.
19. 19. B. Dasarathy, Timing constraints of real-time systems: Constructs for expressing them, methods for validating them. IEEE Trans. Software Eng. 11, 1 (1985), 80-86.
20. 20. D. Decouchant, P. Le Dot, M. Riveill, C. Roisin, and X. Rousset de Pina, A synchronization mechanism for an object-oriented distributed system. Proc. of the 11th IEEE Conference on Distributed Computing, May 1991.
21. 21. W. van Dijk and J. Mordhorst, CFIST, composition filters in Smalltalk. Graduation report, HIO Enschede, May 1995.
22. 22. S. Frølund, Inheritance of synchronization constraints in concurrent object-oriented programming languages. Proc. of the ECOOP '92 Conference. Lecture Notes in Computer Science, Vol. 615. Springer-Verlag, Berlin/New York, 1992, pp. 185-196.
23. 23. S. Frølund and G. Agha, A language framework for multi-object coordination. Proceedings of the ECOOP '93 Conference. Lecture Notes in Computer Science, Vol. 707, Springer-Verlag, Kaiserlautern, Germany, July 1993, pp. 346-360.
24. 24. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, 1995.
25. 25. M. Glandrup, Extending C++ using the concepts of composition filters. M.Sc. thesis, University of Twente, Nov. 1995.
26. 26. A. Goldberg and D. Robson, Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.
27. 27. Y. Ishikawa, H. Tokuda, and C. W. Clifford, Object-Oriented Real-Time Language Design. Carnegie-Mellon Univ. 1990.
28. 28. I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaard, Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley/ACM Press, Reading, MA/New York, 1992.
29. 29. P. Koopmans, On the definition and implementation of the Sina/St language. M.Sc. thesis, Univ. of Twente, July 1995.
30. 30. D. G. Kafura and K. H. Lee, Inheritance in Actor based concurrent object-oriented languages. Proceedings of ECOOP '89. Cambridge Univ. Press, Nottingham, July 10-14, 1989, pp. 131-145.
31. 31. D. G. Kafura and K. H. Lee, ACT++: Building a concurrent C++ with Actors. J. Object-Oriented Programming 3, 1 (May/June 1990), pp. 25-37.
32. 32. K. J. Lin, J. W. S. Liu, K. B. Kenny, and S. Natarajan, FLEX: A language for programming flexible real-time Systems. In Foundations of Real-Time Computing: Formal Specifications and Methods. (A. M. van Tilborg and G. M. Koob, Eds.). Kluwer, Dordrecht, 1991, pp. 251-290.
33. 33. K.-P. Löhr, Concurrency annotations. Proc. of the OOPSLA '92 Conference. ACM SIGPLAN Notices 27, 10 (Oct. 1992), 327-340.
34. 34. C. V. Lopes and K. Lieberherr, Abstracting process-to-function relations in concurrent object-oriented applications. Proc. of the ECOOP '94 Conference. Lecture Notes in Computer Science, Vol. 821. Springer Verlag, July 1994, pp. 81-99. Berlin/New York.
35. 35. S. Matsuoka, K. Wakita, and A. Yonezawa, Synchronization constraints with inheritance: What is not possible - So what is? Internal report, Tokyo Univ., 1990.
36. 36. S. Matsuoka, T. Watanabe, and A. Yonezawa, Hybrid group reflective architecture for object-oriented concurrent reflective programming. Proc. of the ECOOP '91 Conference. Lecture Notes in Computer Science, Vol. 512. Springer-Verlag, Berlin/New York, 1991. pp. 213-250.
37. 37. S. Matsuoka and A. Yonezawa, Inheritance anomaly in object-oriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming (G. Agha, P. Wegner, and A. Yonezawa, Eds.). MIT Press, Cambridge, MA, Apr. 1993, pp. 107-150.
38. 38. S. Matsuoka, K. Taura, and A. Yonezawa, Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages. Proc. of the OOPSLA '93 Conference. ACM SIGPLAN Notices 28, 10 (Oct. 1993), 109-126.
39. 39. C. McHale, Synchronization in concurrent object-oriented languages: Expressive power, genericity and inheritance. Ph.D. thesis, Trinity College, Univ. of Dublin. 1994.
40. 40. J. E. B. Moss, Nested Transactions: An Approach to Reliable Computing. MIT Press, Cambridge, MA, 1985.
41. 41. C. Neusius, Adapting synchronization counters to the requirements of inheritance. ACM SIGPLAN OOPS Messenger 2, 4 (Oct. 1991).
42. 42. O. M. Nierstrasz, Active objects in Hybrid. Poc. of the OOPSLA '87 Conference. ACM SIGPLAN Notices 22, 12 (Dec. 1987), 243-253.
43. 43. O. Nierstrasz, The next 700 concurrent object-oriented languages - Reflections on the future of object-based concurrency. In Object Composition. Centre Universitaire d'Informatique, Univ. of Geneva, June 1991, pp. 165-187.
44. 44. V. M. Nirkhe, S. K. Tripathi, and A. K. Agrawal, Language support for the Maruti real-time system. Proc. 1990 Real-Time Systems Symposium. IEEE Comput. Soc. Press, Los Alamitos, CA, 1990, pp. 257-266.
45. 45. Proc. of the OOPSLA'94 Conference. ACM SIGPLAN Notices 29, 10 (Oct. 1994).
46. 46. Proc. of the OOPSLA'95 Conference. ACM SIGPLAN Notices 30, 10 (Oct. 1995).
47. 47. G. A. Pascoe, Encapsulators: A new software paradigm in Smalltalk-80. Proc. of the OOPSLA '86 Conference. ACM SIGPLAN Notices 21, 11 (Nov. 1986), 341-346.
48. 48. S. C. Reghizzi, G. G. de Paratesi, and S. Genolini, Definition of reusable concurrent software components. Proc. of the ECOOP'91 Conference. Lecture Notes in Computer Science, Vol. 512. Springer-Verlag, Berlin/New York, 1991, pp. 148-166.
49. 49. P. Robert and J.-P. Verjus, Toward autonomous descriptions of synchronization modules. Information Processing 77, North-Holland, Amsterdam, 1977, pp. 981-986.
50. 50. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.
51. 51. B. Stroustrup, The C++ Programming Language. Addison-Wesley, Reading, MA, 1986.
52. 52. K. Takashio and M. Tokoro, DROL: An object-oriented programming language for distributed real-time systems. Proc of the OOPSLA '92 Conference. ACM SIGPLAN Notices 27, 10 (Oct. 1992) 276-294.
53. 53. C. Tomlinson and V. Singh, Inheritance and synchronization with enabled-sets. Proc. of the OOPSLA '89 Conference. ACM SIGPLAN Notices 24, 10 (Oct. 1989), 103-112.
54. 54. T. Watanabe and A. Yonezawa, Reflection in an object-oriented concurrent language. Proc. of the OOPSLA '88 Conference. ACM SIGPLAN Notices 23, 11 (Nov. 1988), 306-315.
55. 55. A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda, Modeling and programming in an object-oriented concurrent language ABCL/ 1. In Object-Oriented Concurrent Programming (A. Yonezawa and M. Tokoro, Eds.). The MIT Press, Cambridge, MA, 1987, pp. 55-89.