Formal methods for telecommunication system requirements: A survey of standardized languages

Annals of Software Engineering

Volumn 3, Issue , 1997, Pages 157-187

  Ardis, Mark A ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031499659     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018981703781     Document Type: Article

References (22)

1. Aho, A.V. and J.D. Ullman (1972), The Theory of Parsing, Translation, and Compiling, Prentice-Hall, Englewood Cliffs, NJ.
2. Ardis, M. (1994), "Lessons from Using Basic LOTOS," In Proceedings of the 16th International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 5-14.
3. Ardis, M., J.A. Chaves, L.J. Jagadeesan, P. Mataga, C. Puchol, M. Staskauskas, and J. VonOlnhausen (1996), "A Framework for Evaluating Specification Methods for Reactive Systems," IEEE Transactions on Software Engineering 22, 6, 378-389.
4. Bellcore (1991), "Synchronous Optical Network (SONET) Transport Systems: Common Generic Criteria," Technical Report TR-NWT-000253, Issue 2, Bellcore, Red Bank, NJ.
5. Berry, G. and G. Gonthier (1992), "The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation," Science of Computer Programming 19, 87-152.
6. Bolognesi, T. and E. Brinksma (1987), "Introduction to the ISO Specification Language LOTOS," Computer Networks and ISDN Systems 14, 25-59.
7. Chaves, J.A. (1992), "Formal Methods at AT&T - an Industrial Usage Report," In Proceedings of Formal Description Techniques IV, North-Holland, Amsterdam, pp. 83-90.
8. Cleaveland, R., J. Parrow, and B. Steffen (1993), "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Finite-State Systems," ACM Transactions on Programming Languages and Systems 15, 1, 36-72.
9. Dauphin, M., G. Fonade, and R. Reed (1993), "SPECS: Making Formal Techniques Usable," IEEE Software 10, 6, 55-57.
10. Harel, D. (1987), "Statecharts, a Visual Formalism for Complex Systems," Science of Computer Programming 8, 231-274.
11. Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ.
12. Holzmann, G.J. (1992), "Practical Methods for the Formal Validation of SDL Specifications," Computer Communications 15, 2, pp. 129-134.
13. ISO (1989), "ESTELLE - A Formal Description Technique Based on an Extended State Transition Model," International Standard ISO 9074, International Organization for Standardization, Geneva, Switzerland.
14. ISO (1989), "LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behavior," International Standard ISO 8807, International Organization for Standardization, Geneva, Switzerland.
15. ITU-T (1993), "Message Sequence Chart (MSC)," Recommendation Z.120, International Telecommunication Union, Geneva, Switzerland.
16. ITU-T (1993), "Specification and Description Language SDL," Recommendation Z.100, International Telecommunication Union, Geneva, Switzerland.
17. Jones, C.B. (1990), Systematic Software Construction Using VDM, Prentice-Hall, Englewood Cliffs, NJ.
18. Mataga, P.A. and P. Zave (1995), "Multiparadigm Specification of an AT&T Switching system," In Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, Eds., Prentice-Hall, Englewood Cliffs, NJ, pp. 375-398.
19. Milner, R. (1980), A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer, Berlin, Germany.
20. Peterson, J.L. (1977), "Petri Nets," ACM Computing Surveys 9, 3, 223-252.
21. Spivey, J.M. (1992), The Z Notation: A Reference Manual, Second Edition, Prentice Hall International, Englewood Cliffs, NJ.
22. Vissers, C.A., G. Scollo, M. van Sinderen, and E. Brinksma (1991), "Specification Styles in Distributed Systems Design and Verification," Theoretical Computer Science 89, 179-206.