Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

We argue that the specification of an object's functional behavior and the timing constraints imposed on it may be separated. Specifically, we describe RTsynchronizer, a high-level programming language construct for specifying real-time constraints between objects in a distributed concurrent system. During program execution, RTsynchronizers affect the scheduling of distributed objects to enforce real-time relations between events. Objects in our system are defined in terms of the actor model extended with timing assumptions. Separation of the functional behaviors of actors and the timing constraints on patterns of actor invocation provides at least three important advantages. First, it simplifies code development by separating design concerns. Second, multiple timing constraints can be independently specified and composed. And finally, a specification of timing constraints can be reused even if the representation of the functional behavior of actors has changed, and conversely.A number of examples are given to illustrate the use of RTsynchronizers. These examples illustrate how real-time constraints for periodic events, simultaneous events, exception handling, and producer-consumer may be specified.

REFERENCES

• 1: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 2: Gul Agha , Svend Frølund , WooYoung Kim , Rajendra Panwar , Anna Patterson , Daniel Sturman, Abstraction and Modularity Mechanisms for Concurrent Computing, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.2, p.3-14, May 1993 [doi>10.1109/88.218170]
• 3: Gul Agha , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott, Towards a Theory of Actor Computation, Proceedings of the Third International Conference on Concurrency Theory, p.565-579, August 24-27, 1992
• 4: Gul Agha , Peter Wegner , Akinori Yonezawa, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 5: C. Hewitt, Viewing Control Structures as Patterns of Passing Messages, Journal of Artificial Intelligence Voh 8, 1977, pp. 323-364.
• 6: William D Clinger, Foundations of Actor Semantics, Massachusetts Institute of Technology, Cambridge, MA, 1981
• 7: Akinori Yonezawa , Jean-Pierre Briot , Etsuya Shibayama, Object-oriented concurrent programming ABCL/1, Conference proceedings on Object-oriented programming systems, languages and applications, p.258-268, September 29-October 02, 1986, Portland, Oregon, United States
• 8: Mehmet Aksit , Jan Bosch , William van der Sterren , Lodewijk Bergmans, Real-Time Specification Inheritance Anomalies and Real-Time Filters, Proceedings of the 8th European Conference on Object-Oriented Programming, p.386-407, July 04-08, 1994
• 9: Mehmet Aksit , Ken Wakita , Jan Bosch , Lodewijk Bergmans , Akinori Yonezawa, Abstracting Object Interactions Using Composition Filters, Proceedings of the Workshop on Object-Based Distributed Programming, p.152-184, July 26-27, 1993
• 10: Satoshi Matsuoka , Akinori Yonezawa, Analysis of inheritance anomaly in object-oriented concurrent programming languages, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 11: B. Dasarathy, Timing Constraints of Real-Time Systems: constructs for expressing them, methods for validating them, IEEE Transactions of Software Engineering, January, 1985, pp. 80-86.
• 12: Yutaka Ishikawa , Hideyuki Tokuda, Object-oriented real-time language design: constructs for timing constraints, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.289-298, September 1990, Ottawa, Canada
• 13: Yutaka Ishikawa , Hideyuki Tokuda , Clifford W. Mercer, An Object-Oriented Real-Time Programming Language, Computer, v.25 n.10, p.66-73, October 1992 [doi>10.1109/2.161281]
• 14: L. Y. Liu, and R. K. Shyamasundar, RT-CDL: A real-time design language and its semantics, Information Processing, 1989, pp. 21-26.
• 15: Niklaus Wirth, Toward a discipline of real-time programming, Communications of the ACM, v.20 n.8, p.577-583, Aug. 1977 [doi>10.1145/359763.359798]
• 16: Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993 [doi>10.1145/162685.162711]
• 17: Svend Frølund , Gul Agha, A Language Framework for Multi-Object Coordination, Proceedings of the 7th European Conference on Object-Oriented Programming, p.346-360, July 26-30, 1993
• 18: Svend Frølund, Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages, Proceedings of the European Conference on Object-Oriented Programming, p.185-196, June 29-July 03, 1992
• 19: T. Baker, W. Halang, S. Natarajan, and O. Pazy, Languages: ADA ? Object-Oriented ? IFAC Real Time Programming, Georgis, USA, 1991.
• 20: Dennis Kafura, ACT++: building a concurrent C++ with actors, Journal of Object-Oriented Programming, v.3 n.1, p.25-37, May/Jun. 1990
• 21: Bran Selic , Garth Gullekson , Paul T. Ward, Real-time object-oriented modeling, John Wiley & Sons, Inc., New York, NY, 1994
• 22: Mathai Joseph, Problems, Promises and Performance: Some Questions for Real-time System Specification, Proceedings of the Real-Time: Theory in Practice, REX Workshop, p.315-324, June 03-07, 1991
• 23: Niklaus Wirth, Toward a discipline of real-time programming, Communications of the ACM, v.20 n.8, p.577-583, Aug. 1977 [doi>10.1145/359763.359798]
• 24: K. Lin, J. W. S. Liu, FLEX: A Language for Real.Time Systems Programming, Technical Report No. 1634, UIUC
• 25: F. Jahanian and A. K. Mok, Modechart: A Specification Language for Real-Time System, IEEE transactions on Software Engineering, 1988
• 26: Carlo Ghezzi , Dino Mandrioli , Sandro Morasca , Mauro Pezzè, A Unified High-Level Petri Net Formalism for Time-Critical Systems, IEEE Transactions on Software Engineering, v.17 n.2, p.160-172, February 1991 [doi>10.1109/32.67597]
• 27: N. A. Lynch and M. R. Tuttle,An Introduction to input/output atuomata, CWI Quarterly, 2(3):219-246, September, 1989
• 28: R. Alur and T. A. Henzigner, A really temporal logic, Proc. 30th Annual Symp. Foundations of Computer Science, IEEE Computer Science Press, PP. 164-169, 1989
• 29: Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.3 PROGRAMMING LANGUAGES
  D.4 OPERATING SYSTEMS
      D.4.1 Process Management
          Subjects: Synchronization
      D.4.7 Organization and Design
          Subjects: Real-time systems and embedded systems; Distributed systems

General Terms:
Design, Languages, Performance, Theory