Refinement-based requirements modeling using triggered message sequence charts

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2003-January, Issue , 2003, Pages 95-104

  Sengupta, B ^a   Cleaveland, R ^a  

^a USA   (United States)

Author keywords

Bridges; Computer science; Constraint theory; Heart; Robustness

Indexed keywords

BRIDGES; COMPUTER SCIENCE; CONSTRAINT THEORY; HEART; REQUIREMENTS ENGINEERING; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS; SPECIFICATIONS;

CAPTURING SYSTEM; CASE-STUDIES; CONSTRAINT-BASED; GLOBAL SYSTEMS; INCREMENTAL DEVELOPMENT; MESSAGE SEQUENCE CHARTS; REQUIREMENTS MODELS; SEMANTIC REFINEMENT;

FLOWCHARTING;

EID: 84942852453     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2003.1232741     Document Type: Conference Paper

References (22)

1. Integrated medical systems inc.-lstat. URL:http://www.lstat.com/lstat.html.
2. Steam-boiler control specification problem. URL:http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html.
3. Message sequence charts (MSC). ITU-TS Recommendation Z.120, 1996.
4. J. R. Abrial, E. Börger, and H. Langmaack. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS volume 1165, 1996.
5. R. Bharadwaj and C. Heitmeyer. Developing high assurance avionics systems with the scr requirements method. Proceedings of 19th Digital Avionics Systems Conference, 2000.
6. B.Sengupta and R.Cleaveland. Towards formal but flexible scenarios. 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, 2003.
7. B.Sengupta and R.Cleaveland. TRIM: A tool for triggered message sequence charts. Proceedings of 15th Computer Aided Verification Conference (CAV'03), 2003.
8. R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, 1993.
9. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1), 2001.
10. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Mehtodology 5, 3, pages 231-261, July, 1996.
11. M. Hennessy. Algebraic theory of processes. The MIT Press, 1988.
12. G. Kiczales and et. al. Aspect-oriented programming. Proceedings of the 11th European Conference on Object-Oriented Programming, 1997.
13. I. Kruger. Distributed system design with message sequence charts. PhD Thesis, Technical University of Munich, 2000.
14. P. B. Ladkin and S. Leue. Interpreting message flow graphs. Formal Aspects of Computing, 7(5):473-509, 1995.
15. N. Leveson and et. al. Requirements specifications for process control systems. IEEE Transactions on Software Engineering, pages 684-706, Sept. 1994.
16. R.Cleaveland, E.Madelaine, and S.Sims. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 1995, LNCS volume 1019:153-173.
17. R.Cleaveland and S.Sims. The ncsu concurrency workbench. CAV 1996, LNCS volume 1102:394-397.
18. M. A. Reniers. Message sequence chart: Syntax and semantics. PhD Thesis, Eindhoven University of Technology, 1998.
19. B. Sengupta. Triggered message sequencecharts. Ph.D Thesis, SUNY Stony Brook, 2003.
20. B. Sengupta and R. Cleaveland. Triggered message sequence charts. ACM SIGSOFT 2002, 10th International Symposium on the Foundations of Software Engineering.
21. S.Uchitel, J.Kramer, and J.Magee. Negative scenarios for implied scenario elicitation. ACM SIGSOFT 2002, 10th International Symposium on the Foundations of Software Engineering.
22. J. Whittle and J. Schumann. Generating statechart designs from scenarios. International Conference on Software Engineering, 2000.