Formal specification and use case generation for a mobile telephony system

Computer Networks

Volumn 30, Issue 11, 1998, Pages 1045-1063

  Tuok, Randall ^a   Logrippo, Luigi ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Formal specification; GSM; LOTOS; Mobile communication system; Scenario; Use case

Indexed keywords

EID: 0000196463     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(97)00140-2     Document Type: Article

References (7)

1. B. Bolognesi, E. Brinksma, Introduction to the ISO specification language LOTOS, Comput. Networks ISDN Syst. 14 (1987) 25-59.
2. R.J.A. Buhr, R.S. Casselman, A Use Case Map Approach to High Level Design of Object Oriented Systems, Prentice-Hall, Englewood Cliffs, NJ, 1996.
3. D.W. Bustard, A.C. Winstanley, Making changes to formal specifications - requirements and an example, IEEE Trans. Software Engrg. 20 (1994) 562-568.
4. J.M. Caroll, Making Use a design representation, Comm. ACM 37 (12) (1994) 28-35.
5. R.C. Cam, S.T. Vuong, A formal specification in LOTOS of a simplified cellular mobile communication system, in: S.T. Vuong (Ed.), Formal Description Techniques II, North-Holland, Amsterdam, 1990, pp. 485-499.
6. N. Dershowitz, J.-P. Jouannard, Rewrite systems, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, MIT Press/Elsevier, 1990, pp. 243-320.
7. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 1, Sprinser, Berlin, 1985.