Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system

Computer Communications

Volumn 23, Issue 12, 2000, Pages 1135-1157

  Amyot, D ^a   Logrippo, L ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; PACKET NETWORKS; TELECOMMUNICATION SERVICES;

GENERAL PACKET RADIO SERVICES (GPRS); USE CASE MAPS (UCM);

MOBILE TELECOMMUNICATION SYSTEMS;

EID: 0033738127     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(99)00242-X     Document Type: Article

References (43)

1. Amyot D., Bordeleau F., Buhr R.J.A., Logrippo L. Formal support for design techniques: a Timethreads-LOTOS approach. von Bochman G., Dssouli R., Rafiq O. FORTE VIII,Eigth International Conference on Formal Description Techniques. 1995;57-72 Chapman and Hall, London. http://www.csi.uottawa.ca/~damyot/phd/forte95/forte95.pdf.
2. D. Amyot, L. Logrippo, R.J.A. Buhr, Spécification et conception de systèmes communicants: une approche rigoureuse basée sur des scénarios d'usage, in: CFIP 97, Ingénierie des protocoles, Liège, Belgique, September 1997 http://www.csi.uottawa.ca/~damyot/cfip97/cfip97.pdf.
3. D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, Z. Yi, Formal methods for mobility standards. IEEE 1999 Emerging Technology Symposium on Wireless Communications & Systems, Dallas, USA, April 1999 http://www.UseCaseMaps.org/pub/ets.99.pdf.
4. D. Amyot, R. Andrade, Description of Wireless Intelligent Network services with Use Case Maps, in: SBRC '99, 17th Brazilian Symposium on Computer Networks, Salvador, Brazil, May 1999 http://www.UseCaseMaps.org/pub/sbrc99.pdf.
5. D. Amyot, R.J.A. Buhr, T. Gray, L. Logrippo, Use Case Maps for the capture and validation of distributed systems requirements, in: RE'99, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, June 1999, pp. 44-53 http://www.UseCaseMaps.org/pub/re99.pdf.
6. Ardis M.A., Chaves J.A., Jagadeesan L.J., Puchol C., Staskauskas M.G., Olnhausen J.V. A framework for evaluating specification methods for reactive systems - experience report. IEEE Transactions on Software Engineering. 22:(6):1996;378-389.
7. Bolognesi T., van de Lagemaat J., Vissers C. LOTOSphere: Software Development with LOTOS. 1995;Kluwer Academic, Dordrecht.
8. F. Bordeleau, R.J.A. Buhr, The UCM-ROOM design method: from use case maps to communicating state machines, Conference on the Engineering of Computer-Based Systems, Monterey, USA, March 1997 http://www.UseCaseMaps.org/pub/UCM-ROOM.pdf.
9. Brinksma E. A theory for the derivation of tests. Aggarwal S., Sabnani K. Protocol Specification, Testing and Verification VIII. 1988;63-74 North-Holland, Amsterdam.
10. Buhr R.J.A., Casselman R.S. Use Case Maps for Object-Oriented Systems. 1995;Prentice-Hall, Englwood cliffs, NJ.
11. Buhr R.J.A., Amyot D., Elammari M., Quesnel D., Gray T., Mankovski S. High level, multi-agent prototypes from a scenario-path notation: a feature-interaction example. Nwana H.S., Ndumu D.T. PAAM'98, Third Conference on Practical Application of Intelligent Agents and Multi-Agents, London, UK. 1998;277-295. http://www.UseCaseMaps.orgpub/4paam98.pdf.
12. R.J.A. Buhr, Use Case Maps as Architectural Entities for Complex Systems, in: IEEE Transactions on Software Engineering, 24 (12) December 1998, pp. 1131-1155. http://www.UseCaseMaps.org/pub/tse98final.pdf.
13. A. Cockburn, Using Goal-Based Use Cases, in: JOOP, November/December 1997, pp. 56-62.
14. J.-P. Courtiat, P. Dembinski, G.J. Holzmann, L. Logrippo, H. Rudin, P. Zave, Formal methods after 15 years: status and trends, A Paper Based on Contributions of the Panelists at the FORmal TEchnique'95 Conference, Montreal, October 1995, Conputer Networks and ISDN Systems, vol. 28, Elsevier, Amsterdam, 1996, pp. 1845-1855.
15. A. Eberlein, F. Halsall, Telecommunications Service Department: A Design Methodology and its Intelligent Support, in: Journal of Engineering Applications of Artificial Intelligence 10 (6), 1997, pp. 647-663.
16. ETSI, Digital Cellular Telecommunications System (Phase 2+), General Packet Radio Service (GPRS), Service Description Stage 1 (GSM 02.60), Version 2.0.0, November 1996.
17. B. Ghribi, L. Logrippo, Prototyping and formal requirement validation of GPRS: a mobile data packet radio service for GSM, Seventh International Conference on Dependable Computing for Critical Applications (IFIP/IEEE), San Jose, CA, 1999, pp. 99-118.
18. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall, Englewood Cliffs, NJ.
19. Hsia P., Samuel J., Gao J., Kung D., Toyoshima Y., Chen C. Formal approach to scenario analysis. IEEE Software. March:1994;33-40.
20. IEEE Transactions on Software Engineering, Special Issue on Scenario Management 24 (12), December 1998.
21. ISO, Information Processing Systems, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807, Geneva, 1989.
22. ISO/ITU-T, Open Distributed Processing, Reference Model, ISO 10746, ITU Recommendation X.901-904, Geneva, 1995.
23. ISO/EIC, Proposed ITU-T Z.500 and Committee Draft on Formal Methods in Conformance Testing (FMCT), ISO JTC1/SC21/WG7, ITU-T SG 10/Q.8, CD-13245-1, Geneva, 1996.
24. ITU, Recommendation Z.100, Specification and Description Language (SDL), ITU, Geneva, 1994.
25. ITU, Q.1200 General Series, Intelligent Networks Recommendation Structure, Geneva, 1995.
26. ITU, Recommendation Z. 120: Message Sequence Chart (MSC), ITU, Geneva, 1996.
27. Jacobson I., Christerson M., Övergaard P. Object-Oriented Software Engineering, A Use Case Driven Approach. 1993;Addison-Wesley/ ACM Press, New York.
28. A. Miga, Application of Use Case Maps to system design with tool support, M. Eng. thesis, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, 1998 http://www.UseCaseMaps.org/tools/ucmnav/.
29. Milner R. Communication and Concurrency. 1989;Addison-Wesley, Reading, MA.
30. Moreira A.M.D., Clark R.G. Adding rigour to object-oriented analysis. Software Engineering Journal. 11:(5):1996;270-280.
31. M. Mouly, M.-B. Pautet, The GSM System for Mobile Communications, Cell. & Sys, 1992.
32. Pressman R.S. Software Engineering - A Practitioner's Approach. 4th ed. 1997;McGraw-Hill, New York.
33. Probert R.L. Optimal insertion of software probes in well-delimited programs. IEEE Transactions on Software Engineering. 8:(1):1982;34-42.
34. B. Regnell, K. Kimbler, A. Wesslén, Improving the use case driven approach to requirements engineering, Proceedings of the Second International Symposium on Requirements Engineering, York, UK, March 1995, pp. 40-47.
35. Regnell B., Runeson P. Combining scenario-based requirements with static verification and dynamic testing. Dubois E., Opdahl A.L., Pohl K. Proceedings of the Fourth International Workshop on Requirements Engineering - Foundations for Software Quality, (REFSQ'98), Pisa, Italy. 1998.
36. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. Object-Oriented Modeling and Design. 1991;Prentice-Hall, Englewood Cliffs, NJ.
37. Quemada, J., Azcorra, A., Pavón, S. (1995). The LOTOSPhere design methodology. In [7], 29-58.
38. Somé S., Dssouli R., Vaucher J. Toward an Automation of Requirements Engineering using Scenarios. Journal of Computing and Information. 2:(1):1996;1110-1132.
39. TIA/EIA, Wireless Intelligent Networks (WIN), TR-45.2.2.4, PN-3661 Ballot Version, May 1998.
40. UML Revision Task Force, OMG Unified Modeling Language Specification, version 1.3, June 1999 http://www.omg.org/cgi-bin/doc?ad/99-06-08.
41. Use Case Maps Web Page and User Group, 1999 http://www.UseCaseMaps.org.
42. C.A. Vissers, G. Scollo, M. van Sinderen, E. Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science '89, 1991, pp. 179-206.
43. Weidenhaupt K., Pohl K., Jarke M., Haumer P. Scenarios in System Development: Current Practice. IEEE Software. March/April:1998;34-45.