Extending MSC for reactive systems

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 104-111

  Yoon, Gwang Sik ^a   Kwon, Yong Rae ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; LARGE SCALE SYSTEMS; SEMANTICS;

REACTIVE SYSTEMS;

HIGH LEVEL LANGUAGES;

EID: 0035790858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. J.-R. Abrial. Development of a steamboiler control using statemate. In Formal Methods for Industrial Applications:Specifying and Programming the Steam Boiler Control, Vol. 1165 of Lecture Notes in Computer Science, pages 500-510. Springer Verlag, 1996.
2. M. A. Ardis, J. A. Chaves, L. J. Jagadeesan, P. Mataga, C. Puchol, M. G. Staskauskas, and J. V. Olnhausen. A Framework for Evaluating Specification Methods for Reactive Systems. IEEE Transactions on Software Engineering, 22(6):378-389, 1996.
3. M. Belachew, A. Gandhi, S. Gadhwala, and R. K. Shyamasundar. Msc+: A generalized hierarchical message sequence charts. In The Third International Conference on Information Technology (CIT2000), Bhubaneswar, India, pages 183-189. Tata McGraw-Hill Publishing Company Limited, Dec 2000.
4. A. W. Biermann and R. Krishnaswamy. Constructing programs from example computations. IEEE Transactions on Software Engineering, 2(3):141-153, Sept. 1976.
5. T. Cobben and A. Engels. Disrupt and interrupt in MSC: Possibilities and problems. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, number 104 in Informatik-Berichte, pages 75-83, Berlin, Germany, June 1998. Humboldt-Universität zu Berlin.
6. O. M. Group. OMG Unfied Modeling Language Specification version 1.3. http:://www.omg.org, 1999.
7. D. Harel. Statecharts: A visual formulation for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
8. D. Harel and C.-A. Kahana. On statecharts with overlapping. acm Transactions of Software Engineering and Methodology, 1(4):399-421, Oct. 1992.
9. D. Harel and H. Kugler. Synthesizing state-based object systems from 1sc specifications. Technical Report MCS99-20, Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, 1999.
10. P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima, and C. Chen. Formal approach to scenario analysis. IEEE Software, 11(2):33-41, Mar. 1994.
11. I. Kruger, R. Grosu, P. Scholz, and M. Broy. From mscs to statecharts. In Proc. DIPES'98, 1999.
12. S. Leue, L. Mehrmann, and M. Rezai. Synthesizing room models from message sequence chart specifications. Technical Report Technical Report 98-06, University of Waterloo, Dept. of Electrical and Computer Engineering, Apr. 1998.
13. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, London, UK, 1994.
14. K. Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer. Scenarios in system development: Current practice. IEEE Software, 15(2):34-45, Mar. / Apr. 1998.
15. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Proceedings of the 2000 International Conference on oftware Engineering, pages 314-323, 2000.
16. Z.120. ITU-TS Recommendation Z. 120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.
17. Z.120. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 2000.