MSC+: From requirement to prototyped systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2001, Pages 117-124

  Belachew, M ^b   Shyamasundar, R K ^a  

^a TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

^b UNIVERSITY OF MUMBAI   (India)

Author keywords

hMSCs; MSCs; Preemption; Requirement Specification

Indexed keywords

COMPLEX REACTIVE SYSTEMS; DESIGN AND IMPLEMENTATIONS; HMSCS; MSCS; PREEMPTION; REQUIREMENT SPECIFICATION; SCENARIO-BASED SPECIFICATIONS; SOFTWARE DEVELOPMENT PROCESS;

ESTERS; FLOWCHARTING; REAL TIME SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING; TRANSLATION (LANGUAGES);

SPECIFICATIONS;

EID: 84884693749     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2001.934013     Document Type: Conference Paper

References (20)

1. +: A Generalized Hierarchical Message Sequence Charts. The Third International Conference on Information Technology (CIT2000) Eds. R K Ghosh & Durgamadhab Misra. Tata McGraw-Hill Publishing Company Limited, pages 183-189, December 21-23, 2000. Bhubaneswar, India.
2. +-Tool). Technical Project Report, School of Technology and Computer Science. Tata Institute of Fundamental Research, 1999.
3. Mesfin Belachew, R.K. Shyamasundar, and V.N. Joshi. Designing of Reactive System using Extended Message Sequence Charts. Advances in Computational Engineering & Science, (Alturi, S.N and Brust, F.W. Eds), Tech Science Press, Vol. II:1574-1579, 2000. Proceeding ICES'2K, Los Angeles, CA, USA.
4. G. Berry. A Quick Guide to Esterel Version 5.10, release 1.0. Technical Report, 1997. Ecole des Mines and INRIA.
5. G. Berry and G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantic, Implementation. Science of Computer Programming, 19(2):87-152, 1992. (Pubitemid 23582985)
6. G. Berry, S. Ramesh, and R.K. Shyamasundar. Communicating Reactive Process. ACM, pages 85-99, 1993. In Proceding of 20th ACM Conference on Principles of Programming Language. Charleston, Virginia.
7. Gérard Berry. Preemption in Concurrent Systems. LNCS 761, Proc. 20th FSTTCS, pages 72-93, 1993.
8. Werner Damm and David Harel. LSCs : Breathing Life in to Message Sequence Charts. Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed System. P. Ciancarini, A. Fantechi and R. Gorrieri, eds., Kluwer Academic Publishers, pages 293-312, 1999.
9. E. Rudolphand P. Graubmaann and J. Grabowiski. Tutorial on Message Sequence Charts. In computer Networks and ISDN system, SDL and MSC, 28, 1996.
10. ITU-TS. Recommendation Z.120 : Message Sequence Chart. Geneva, 1996.
11. Lalita J. Jagadeesan, Carlos Puchol, and James Von Olnhausen. A Formal Approach to Reactive System Software: A Telecommunications Application in Esterel. International Workshop on Industrial-Strength Formal Methods, Boca Raton, FL, April 1995.
12. S. Maum. The Formalization of Message Sequence Charts. Computer Networks and ISDN system, Elsevier Science Publishers B.V., 28(12):1643-1657, 1996.
13. S. Maum and M.A. Reniers. An algebraic semantic of message sequence charts. The computer journal, 37(4):269-277, 1994.
14. S. Mauw and M.A. Reniers. Operational semantics for MSC'96. In A. Cavalli and D. Vincent, editors, SDL'97: Time for Testing - SDL, MSC and Trends, Tutorials of the Eighth SDL Forum, Evry, pages 135-152, September 1997. France.
15. P. K. Pandya. DCVALID: A Tool for Modelchecking DC Formulae. Technical Report, TIFR. http://www.tcs.tifr.res.in/pandya/, 2000.
16. B. Rajan and R.K. Shyamasundar. An Implementation of Communicating Reactive Process. Intl. Conf. on Parallel and Distributed Computing and Networks, Singapore, 1997.
17. C. Rolland, C. Souveyet, and C. Ben Achour. Guiding Goal Modeling Using Scenarios. IEEE Trans. on Software Engineering, 24(12):1055-1071, 1998. (Pubitemid 128741295)
18. R.K. Shyamasundar. Programming Dynamic Real-Time Systems in CRP. CSA Jubilee 95, 1995.
19. S.Mauw and M.A.Reniers. High-level Message Sequence Charts. Proceding of the Eighth SDL Forum. pages 291-306. September, 1997. In A.Cavalli and A.Sarma, editors, SDL'97: Time for Testing-SDL, MSC and Trends, Evry, France.
20. A. van Lamsweerde and L. Willemet. Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. on Software Engineering, 24(12):1089-1114, 1998.