Specification of real-time interaction constraints

Proceedings - 1st International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 1998

Volumn 1998-April, Issue , 1998, Pages 206-214

  Nielsen, Brian ^a   Ren, Shangping ^b   Agha, Gul ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS; SPECIFICATIONS;

COORDINATION LANGUAGE; FORMAL SEMANTICS; FUNCTIONAL BEHAVIORS; OBJECT ORIENTED; REAL TIME BEHAVIOR; REAL TIME CONSTRAINTS; REAL TIME INTERACTIONS; REAL-TIME DOMAINS;

REAL TIME SYSTEMS;

EID: 84885426020     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.1998.666790     Document Type: Conference Paper

References (19)

1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Los Alamitos, California, 1986. ISBN 0-262-01092-5.
2. G. Agha. Concurrent Object-Oriented Programming. Communications of the ACM, 33(9):125-141, September 1990.
3. G. Agha. Modeling Concurrent Systems: Actors, Nets, the Problem of Abstraction and Composition. In 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, June 1996.
4. G. Agha, I. A. Mason, S. F. Smith, C. L. Talcott. A Foundation for Actor Computation. Journal of Functional Programming, page 68pp, To be published.
5. M. Akşit, J. Bosch, W. van der Sterren, L. Bergmans. Real-Time Specification Inheritance Anomalies and Real-Time Filters. In Proceedings ECOOP, pages 386-407, 1994.
6. R. Alur, C. Courcoubetis, D. Dill. Model-checking for real-time systems. In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, pages 414-425, 1990.
7. S. Frølund. Constraint-Based Synchronization of Distributed Activities. PhD thesis, Department of Computer Science, University of Illinois at Urbana Champaign, September 1994.
8. R. Gerber and I. Lee. Communicating Shared Resources: A Model for Distributed Real-Time Systems. In Proc. Real-Time Systems Symposium, pages 68-78, Santa Monica, CA, USA, 1989. IEEE.
9. R. Gerber and I. Lee. A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Transactions on Software Engineering, 18(9):768-784, September 1992.
10. B. Kirk, L. Nigro, F. Pupo. Using Real Time Constraints for Modularisation. In Joint Modular Language Conference, March 1997. Linz.
11. X. Nicollin, J. Sifakis, S. Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE Transactions on Software Engineering, 18(9):805-816, September 1992.
12. S. Ren. An Actor-Based Framework for Real-Time Coordination. PhD thesis, Department Computer Science. University of Illinois at Urbana-Champaign, 1997. PhD. Thesis.
13. S. Ren and G. Agha. RT-Synchronizer: Language Support for Real-Time Specifications in Distributed Systems. ACM Sigplan Notices, 30(11), November 1995. Proceedings of the ACMSigplan 1995Workshop on Languages, Compilers, Tools for Real-Time Systems.
14. M. Saksena, P. Freedman, P. Rodziewicz. Guidelines for Automated Implementation of Executable Object Oriented Models for Real-Time Embedded Control Software. In 18th IEEE Real-Time Systems Symposium, pages 240-251. IEEE, December 1997.
15. I. Satoh and M. Tokoro. Semantics for a Real-Time Object-Oriented Programming Language. In Int. Conf. on Computer Languages, pages 159-170, Toulouse, France, 1994. IEEE.
16. S. Schneider. An Operational Semantics for Timed CSP. Information and Computation, 116:193-213, 1995.
17. B. Selic, G. Gullekson, P. T. Ward. Real-time Objectoriented Modeling. Wiley Professional Computing. JohnWiley & Sons, Inc., New York, 1994. ISBN 0-471-59917-4.
18. L. Sha, R. Rajkumar, S. S. Sathaye. Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real-Time Systems. Proceedings of the IEEE, 82(1):68-82, January 1994.
19. P. Zhou and J. Hooman. A Proof Theory for Asynchronously Communicating Real-Time Systems. In Proc. Real-Time Systems Symposium, pages 177-186, Phoenix, AZ, USA, 1992. IEEE.