Playing with time: On the specification and execution of time-enriched LSCs

Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS

Volumn 2002-January, Issue , 2002, Pages 193-202

  Harel, D ^a   Marelly, R ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

TECHNOLOGY TRANSFER;

LIVE SEQUENCE CHART; OBJECT SYSTEMS; SEQUENCE DIAGRAMS; SINGLE CLOCK; TIMING CONSTRAINTS; USER FRIENDLY;

FLOWCHARTING;

EID: 84952775450     PISSN: 15267539     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MASCOT.2002.1167077     Document Type: Conference Paper

References (23)

1. R. Alur and T.A. Henzinger, "Logics and models of real time: A survey", In Real-Time: Theory in Practice, REX Workshop, Lecture Notes in Computer Science, Vol. 600, pp. 74-106, Springer-Verlag, 1991.
2. R. Alur and T.A. Henzinger, "Real-time system = discrete system + clock variables", Software Tools for Technology Transfer 1:86-109, 1997.
3. Theories and Experiences for Real-time System Development (T. Rus, C. Rattray, eds.), AMAST Series in Computing 2, World Scientific, pp. 1-29, 1994.
4. R. Alur and T.A. Henzinger, "A really temporal logic", Proc. 30th Ann. Symp. on Foundations of Computer Science, pp. 164-169, IEEE Computer Society Press, 1989.
5. R. Alur, G.J. Holzmann, and D. Peled, "An analyzer for message sequence charts", Software Concepts and Tools 17:2 (1996),70-77.
6. H. Ben-Abdallah and S. Leue, "Timing constraints in message sequence charts specifications", Proc. 10th Int. Conf. on Formal Description Techniques (FORTE/PSTV'97), Chapman & Hall, 1997.
7. G. Berry, and G. Gonthier, "The Esterel Synchronous Programming Language: Design, Semantics, Implementation", Science of Computer Programming 19 (1992), 87-152.
8. G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language for Object-Oriented Development (Version 0.91 Addendum), RATIONAL Software Corporation, 1996.
9. S. Bornot and J. Sifakis, "An Algebraic Framework for Urgency", Information and Computation 163 (2000), 172-202.
10. A. K. Chandra and P. M. Merlin, "Optimal implementation of conjunctive queries in relational databases", Proc. 9th ACM Symposium on the Theory of Computing, 1977, pp. 77-90.
11. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts", Formal Methods in System Design 19:1 (2001).
12. Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, pp. 293-312, 1999.
13. I. Greenwald, "Development of the vulva", In C. elegans II (D.L. Riddle, T. Blumenthal, B.J. Meyer, and J.R. Priess, eds.), Cold Spring Harbor Laboratory Press, pp. 519-541., 1997.
14. D. Harel and R. Marelly, "Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach", Tech. Report MCS01-15, The Weizmann Institute of Science, 2001. Submitted.
15. J. Klose and H. Wittke, "An automata based interpretation of live sequence charts", In Proc. 7th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), 2001.
16. R. Koymans, J. Vytopil, and W.-P. de Roever, "Real-Time Programming and Asynchronous Message Passing", In Proc. 2nd Ann. Symp. on Principles of Distributed Computing, pp. 187-197. ACM Press, 1983.
17. R. Marelly, D. Harel, and H. Kugler, "Multiple Instances and Symbolic Variables in Executable Sequence Charts", Proc. 17th Ann. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'02), Seattle, WA, 2002. Also available as Tech. Report MCS02-05, The Weizmann Institute of Science, 2002.
18. N. Meng-Siew. Reasoning with timing constraints in message sequence charts, Master's thesis, University of Stirling, Scotland, U.K., August 1993.
19. A. Pnueli and W.-P. de Roever, "Rendez-vous with ADA: A Proof-Theoretical View", Proc. SIGPLAN AdaTEC Conference on Ada, pp. 129-137. ACM Press 1982.
20. A. Pnueli and E. Harel, "Applications of temporal logic to the specification of real-time systems", In Formal Techniques in Real-Time and Fault-tolerant Systems, (M. Joseph, ed.), Lecture Notes in Computer Science, Vol. 331, pp. 84-98. Springer-Verlag, 1988.
21. J. Sifakis. "Modeling Real-Time Systems - Challenges and Work Directions", Proc. 1st Int. Workshop on Embedded Software (EMSOFT 2001), Lecture Notes in Computer Science, Vol. 2211, Springer-Verlag, 2001.
22. Documentation of the Unified Modeling Language (UML), available from the Object Management Group(OMG), http://www.omg.org.
23. Z.120 ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), ITU-TS, Geneva, 1996.