Understanding and comparing model-based specification notations

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2003-January, Issue , 2003, Pages 188-199

  Niu, J ^a   Atlee, J M ^a   Day, N A ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Artificial intelligence; Automata; Carbon capture and storage; High temperature superconductors; Logic; Natural languages; Petri nets; Software engineering; Solids; Thyristors

Indexed keywords

ARTIFICIAL INTELLIGENCE; CARBON; CARBON CAPTURE; COMPUTATIONAL LINGUISTICS; HIGH TEMPERATURE ENGINEERING; HIGH TEMPERATURE SUPERCONDUCTORS; PETRI NETS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; SOLIDS; SPECIFICATIONS; THYRISTORS;

AUTOMATA; LOGIC; MODEL-BASED NOTATIONS; MODEL-BASED SPECIFICATIONS; NATURAL LANGUAGES; OPERATIONAL SEMANTICS; SDL; TEMPLATE-BASED APPROACHES;

SEMANTICS;

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

References (19)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, USA, 1986.
2. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computing, 8:231-274, 1987.
3. D. Harel et al. On the formal semantics of statecharts. In Symp. on Logic in Comp. Sci., pages 54-64, 1987.
4. D. Harel and A. Naamad. The Statemate semantics of statecharts. ACM Trans. on Soft. Eng. Meth., 5(4):293-333, 1996.
5. C. L. Heitmeyer and R. D. Jeffords. The SCR tabular notation: A formal foundation, 2003. NLR/MR/5546-03-8678.
6. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Trans. on Soft. Eng. Meth., 5(3):231-261, 1996.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, UK, 1985.
8. ISO8807. LOTOS - a formal description technique based on the temporal ordering of observational behaviour. Technical report, ISO, 1988.
9. ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union - Standardization Sector, 1999.
10. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for process-control systems. IEEE Trans. on Soft. Eng., 20(9), September 1994.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1991.
12. R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
13. T. Murata. Petri Nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541-580, April 1989.
14. J. Niu, J. M. Atlee, and N. A. Day. Composable semantics for model-based notations. In Proc. of the ACM SIGSOFT FSE-10, pages 149-158, 2002.
15. J. Niu, J. M. Atlee, and N. A. Day. Template semantics for model-based notations. Technical Report CS-2003-19, University of Waterloo, School of Computer Science, 2003. Submitted for publication.
16. Object Management Group. Unified Modelling Language (UML), v1.4, 2001. Internet: www.omg.org.
17. J. L. Peterson. Petri Nets. ACM Computing Surveys, 9(3):223-252, September 1977.
18. A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In Proceedings of the Symposium on Theoretical Aspects of Computer Software, volume 526 of LNCS, pages 244-264. Springer-Verlag, 1991.
19. M. von der Beeck. A comparison of statecharts variants. In Formal Techniques in Real Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 128-148. Springer, 1994.