Reuse and Validation of Requirements for Mobile Systems

In the mobile wireless communication domain, different systems apply common solutions to similar functional and architectural design problems. The recognition of these commonalities is a starting point towards ironing out differences and possibly towards finding better ways to interwork different systems and to develop new ones. There is therefore a need for recognizing and reusing these commonalities. The concept of pattern, which is used in the software community to describe programming solutions to specific recurring problems, can be adopted for this purpose. This paper proposes an approach for reuse and validation of a set of solutions for mobility and radio resource management functions, solutions that have been identified as common among a number of second and third generation systems. The focus is on the early development stages. A visual technique called Use Case Maps (UCMs) is applied to graphically specify reusable requirements. LOTOS methods are used for validation.

[1]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[2]  Daniel Amyot,et al.  Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system , 2000, Comput. Commun..

[3]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[4]  Luigi Logrippo,et al.  An Introduction to LOTOS: Learning by Examples , 1992, Comput. Networks ISDN Syst..

[5]  Andrew Miga,et al.  Application of Use Case Maps to System Design With Tool Support , 1998 .

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[7]  BolognesiTommaso,et al.  Introduction to the ISO specification language LOTOS , 1987 .

[8]  Jack M. Holtzman,et al.  Wireless Intelligent ATM Network and Protocol Design for Future Personal Communication Systems , 1997, IEEE J. Sel. Areas Commun..

[9]  Rossana M. C. Andrade,et al.  Applying Use Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks , 2000 .

[10]  Donald C. Cox,et al.  Signaling Alternatives in a Wireless ATM Network , 1997, IEEE J. Sel. Areas Commun..

[11]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[12]  Michael D. Gallagher,et al.  Mobile Telecommunications Networking with Is-41 , 1997 .

[13]  Tommaso Bolognesi,et al.  LOTOSphere: Software Development with LOTOS , 1995, Springer US.

[14]  Raymond J. A. Buhr,et al.  Use Case Maps as Architectural Entities for Complex Systems , 1998, IEEE Trans. Software Eng..

[15]  Arkady Grinberg Seamless networks: interoperating wireless and wireline networks , 1996 .

[16]  CoplienJames,et al.  Commonality and Variability in Software Engineering , 1998 .

[17]  Luigi Logrippo,et al.  Reusability at the Early Development Stages of Mobile Wireless Communication Systems , 2000 .

[18]  Sven Strauss,et al.  The Gsm System For Mobile Communications , 2016 .

[19]  Daniel Hoffman,et al.  Commonality and Variability in Software Engineering , 1998, IEEE Softw..