Multiple instances and symbolic variables in executable sequence charts

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2002, Pages 83-100

  Marelly, Rami ^a   Harel, David ^a   Kugler, Hillel ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPHICAL USER INTERFACES; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING; SEMANTICS;

EXECUTABLE SEQUENCE CHARTS; LIVE SEQUENCE CHARTS; PLAY-ENGINE TOOL;

SOFTWARE ENGINEERING;

EID: 0038147995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/582419.582429     Document Type: Conference Paper

References (27)

1. R. Alur, G. Holzmann, and D. Peled. An analyzer for message sequence charts. Software Concepts and Tools, 17(2):70-77, 1996.
2. D. Amyot and A. Eberlein. An Evaluation of Scenario Notations for Telecommunication Systems Development. Proc. 9th Int. Conf. on Telecommunication Systems, 2001.
3. H. Ben-Abdallah and S. Leue. Mesa: Support for scenario-based design of concurrent systems. in: B. Steffen (ed.), Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, Lisbon, Portugal, March/ April 1998, Vol. 1384 of Lecture Notes in Computer Science, pp. 118-135, Springer Verlag, 1998.
4. H. Ben-Abdallah and S. Leue. Timing constraints in message sequence chart specifications. in: Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, November 1997, Chapman & Hall, 1997.
5. W. Cunningham and K. Beck. A Diagram for Object-Oriented Programs. In Proc. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '86), Portland, Oregon, 1986.
6. M. Boger, T. Baier, F. Wienberg, and W. Lamersdorf. Extreme Modeling. In Extreme Programming and Flexible Processes in Software Engineering - XP2000. Addison Wesley, 6 2000.
7. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19 (1), 2001. Preliminary version n Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), (P. Ciancarini, A. Fantechi and R. Goerrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293-312.
8. W. Damm and J. Klose. Verification of a Radio-based Signalling System using the Statemate Verification Environment. Formal Methods in System Design, 19(2):121-141, 2001.
9. R. Dromey. Genetic Software Engineering. Manuscript, 2001.
10. I. Greenwald. Development of the vulva. In: Riddle, DL., Blumenthal, T., Meyer, BJ., and Priess, JR. editors. C. elegans II. Cold Spring Harbor, NY: Cold Spring Harbor Laboratory Press, p. 519-541., 1997.
11. D. Harel and E. Gery. Executable Object Modeling with Statecharts. IEEE Computer, pages 31-42, 1997.
12. D. Harel and H. Kugler. Synthesizing State-Based Object Systems from LSC Specifications. Int. J. of Foundations of Computer Science (IJFCS), February 2000. (Also, Proc. Fifth Int. Conf. on Implementation and Application of Automata (CIAA 2000), July 2000, Lecture Notes in Computer Science, Springer-Verlag, 2000).
13. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart Play-Out of Behavioral Requirements. In Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD'02), 'Portland, Oregon, 2002. To appear. Also available as Tech. Report MCS02-08, Weizmann Institute of Science, 2002.
14. D. Harel and R. Marelly. Specifying and Analyzing Behavioral Requirements: The Play-In/Play-Out Approach. Tech. Report MCS01-15, The Weizmann Institute of Science, 2001. Submitted.
15. D. Harel and R. Marelly. Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In Proc. 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'02), Fort Worth, Texas, 2002. To appear.
16. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, 1998. Early version titled The Languages of Statemate, Technical Report, I-Logix, Inc., Andover, MA (250 pp.), 1991.
17. I-Logix, Inc., products web page. http://www.ilogix.com/fs_prod.htm.
18. I. Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading, MA, 1992.
19. J. Klose and B. Westphal. Relating LSC Specifications to UML Models. In Proc. of the Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT 2002), Grenoble, France, 2002.
20. J. Klose and H. Wittke. An automata based interpretation of live sequence chart. In Proc. 7th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), 2001.
21. M. Lettrari and J. Klose. Scenario-Based Monitoring and Testing of Real-Time UML Models. Proc. 4th Int. Conf. on the Unified Modeling Language, Toronto, October 2001.
22. Rational, Inc., web page, http://www.rational.com.
23. J. Robinson, Logic: Form and Function, chapter 11, pages 182-198. North-Holland, 1979.
24. B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, New York, 1994.
25. Documentation of the Unified Modeling Language (UML), available from the Object Management Group(OMG). http://www.omg.org.
26. Web page http://www.extremeprogramming.org.
27. Z.120 ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.