Abstract
Modern telecommunications systems are so complicated that informal languages are no longer sufficient for expressing their requirements. A brief introduction to the nature of requirements for telecommunication systems is given in this paper. The three standardized formal languages for telecommunications, Estelle, LOTOS, and SDL, are described and compared. Each language is evaluated, and a comparison of all three is offered. Throughout the paper a common example is used.
Similar content being viewed by others
References
Aho, A.V. and J.D. Ullman (1972), The Theory of Parsing, Translation, and Compiling, Prentice-Hall, Englewood Cliffs, NJ.
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.
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.
Bellcore (1991), “Synchronous Optical Network (SONET) Transport Systems: Common Generic Criteria,” Technical Report TR-NWT-000253, Issue 2, Bellcore, Red Bank, NJ.
Berry, G. and G. Gonthier (1992), “The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation,” Science of Computer Programming 19, 87–152.
Bolognesi, T. and E. Brinksma (1987), “Introduction to the ISO Specification Language LOTOS,” Computer Networks and ISDN Systems 14, 25–59.
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.
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.
Dauphin, M., G. Fonade, and R. Reed (1993), “SPECS: Making Formal Techniques Usable,” IEEE Software 10,6, 55–57.
Harel, D. (1987), “Statecharts, a Visual Formalism for Complex Systems,” Science of Computer Programming 8, 231–274.
Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ.
Holzmann, G.J. (1992), “Practical Methods for the Formal Validation of SDL Specifications,” Computer Communications 15,2, pp. 129–134.
ISO (1989), “ESTELLE — A Formal Description Technique Based on an Extended State Transition Model,” International Standard ISO 9074, International Organization for Standardization, Geneva, Switzerland.
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.
ITU-T (1993), “Message Sequence Chart (MSC),” Recommendation Z.120, International Telecommunication Union, Geneva, Switzerland.
ITU-T (1993), “Specification and Description Language SDL,” Recommendation Z.100, International Telecommunication Union, Geneva, Switzerland.
Jones, C.B. (1990), Systematic Software Construction Using VDM, Prentice-Hall, Englewood Cliffs, NJ.
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.
Milner, R. (1980), A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer, Berlin, Germany.
Peterson, J.L. (1977), “Petri Nets,” ACM Computing Surveys 9,3, 223–252.
Spivey, J.M. (1992), The Z Notation: A Reference Manual, Second Edition, Prentice Hall International, Englewood Cliffs, NJ.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ardis, M.A. Formal methods for telecommunication system requirements: A survey of standardized languages. Annals of Software Engineering 3, 157–187 (1997). https://doi.org/10.1023/A:1018981703781
Issue Date:
DOI: https://doi.org/10.1023/A:1018981703781