Capture, reuse, and validation of requirements and analysis patterns 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 reconciling differences and leading possibly to better ways to interwork these systems and to develop new ones. There is therefore a need for capturing these commonalities that can be fulfilled by the use of the pattern concept, which has been applied to document recurring problems and solutions in software engineering. This research develops a method to extract such common problems and solutions and to document them as patterns. These behavioral and structural patterns are grouped into a pattern language in order to describe how they work together to solve recurring problems in the mobile communication domain. The examples given are related to mobility and radio resource management functions in second and third generation systems. The pattern language for Mobility and Radio Resource management (MoRaR) makes it possible to generate different requirements and analysis models for mobile systems. In addition, this thesis proposes an approach for reuse and validation of the MoRaR pattern language that includes a combination of different techniques at the early stages of the system development process and evolution. Use Case Maps (UCMs) describe the requirements and the analysis models, which the Language Of Temporal Ordering Specifications (LOTOS) is applied to formally specify and to validate these models. Message Sequence Charts (MSCs) are used to represent the LOTOS validation traces at the design stage. These techniques provide confidence in the correctness of the pattern reuse. According to the system needs, mobile system designers are able to reuse and to validate each pattern individually or a set of the patterns described within the MoRaR pattern language. Three case studies are considered in this thesis to show the application of the approach for reuse and validation: the development of a UCM framework for mobile system requirements and analysis models; the addition of a second generation feature and a generic reference model of a third generation system to the framework; and the addition of patterns to a typical wireless mobile ATM network.

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

[2]  Daniel Amyot,et al.  Formal Support for Design Techniques: A Timethreads-LOTOS Approach , 1995, FORTE.

[3]  Daniel Amyot,et al.  On the Extension of UML with Use Case Maps Concepts , 2000, UML.

[4]  Daniel Amyot,et al.  Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example , 1997 .

[5]  Linda Rising,et al.  The Pattern Almanac 2000 , 2000 .

[6]  Ana Moreira,et al.  Adding rigour to object-oriented analysis , 1996, Softw. Eng. J..

[7]  Darrel C. Ince,et al.  Object oriented design with applications: Booch, G Benjamin Cummings, Redwood City, CA, USA (1991) £25.95 pp 58( , 1992, Microprocess. Microsystems.

[8]  Greg Mas.  An Overview of Selected Call Processing Patterns , 1999 .

[9]  Upkar Varshney.  Supporting Mobility with Wireless ATM , 1997, Computer.

[10]  M. Duell,et al.  Managing change with patterns , 1999, IEEE Commun. Mag..

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

[12]  James Coplien,et al.  Industrial experience with design patterns , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[13]  O. Coplien,et al.  Software Patterns , 1996 .

[14]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[15]  W. Mohr,et al.  Research activities on UMTS radio interface, network architectures, and planning , 1998, IEEE Commun. Mag..

[16]  Ralf Jurgen Schroder.  Object oriented data concepts for SDL , 1998 .

[17]  Nathan J. Muller.  Mobile Telecommunications Factbook , 1998 .

[18]  Daniel Amyot,et al.  Formalization of Timethreads Using LOTOS , 1994 .

[19]  Dennis L. DeBruler,et al.  A generative pattern language for distributed processing , 1995 .

[20]  R. Pressman.  Software Engineering: a Practioner''s approach , 1987 .

[21]  Ender Ayanoglu,et al.  Wireless ATM: limits, challenges, and proposals , 1996, IEEE Wirel. Commun..

[22]  Stéphane Ducasse,et al.  A Pattern Language for Reverse Engineering , 1999, EuroPLoP.

[23]  Greg Utas.  A Pattern Language of Feature Interaction , 1998, FIW.

[24]  Curt M. White.  Data Communications and Computer Networks: An Osi Framework , 1994 .

[25]  Thomas J. Mowbray,et al.  CORBA design patterns , 1997 .

[26]  Ellen Kayata Wesel.  Wireless Multimedia Communications , 1997 .

[27]  Masahiro Umehira,et al.  ATM wireless access for mobile multimedia: concept and architecture , 1996, IEEE Wirel. Commun..

[28]  Luigi Logrippo,et al.  Understanding GPRS: the GSM packet radio service , 2000, Comput. Networks.

[29]  Donna M. Hlavacek,et al.  Alternative methods for introducing new wireless intelligent network services using triggers and queries , 1997, Bell Labs Technical Journal.

[30]  Wayne C. Lim.  Managing software reuse: a comprehensive guide to strategically reengineering the organization for reusable components , 1998 .

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

[32]  Igor Faynberg,et al.  The development of the wireless intelligent network (WIN) and its relation to the international intelligent network standards , 1997, Bell Labs Technical Journal.

[33]  Daniel Amyot,et al.  Formal methods for mobility standards , 1999, 1999 IEEE Emerging Technologies Symposium. Wireless Communications and Systems (IEEE Cat. No.99EX297).

[34]  Ian Sommerville,et al.  Software engineering, 4th Edition , 1992, International computer science series.

[35]  Eric Greenberg.  Network application frameworks: design and architecture , 1999 .

[36]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[37]  Gerard Meszaros.  Design patterns in telecommunications system architecture , 1999, IEEE Commun. Mag..

[38]  Zhimei. Yi,et al.  CNAP specification and validation: A design methodology using LOTOS and UCM. , 2000 .

[39]  Luigi Logrippo,et al.  Structural Models for Specifying Telephone Systems , 1997, Comput. Networks ISDN Syst..

[40]  Ricardo Dahab,et al.  Tropyc: A Pattern Language for Cryptographic Software , 1998 .

[41]  Rainer Händel,et al.  ATM Networks: Concepts, Protocols, Applications , 1998 .

[42]  Eduardo B. Fernandez,et al.  The Authenticator Pattern , 1999 .

[43]  Dean Kelley.  Automata and formal languages: an introduction , 1995 .

[44]  Wolfgang Pree.  Essential Framework Design Patterns , 2001 .

[45]  Michel A. Reniers,et al.  High-level message sequence charts , 1997, SDL Forum.

[46]  Thomas Walter,et al.  TTCN: Towards a Formal Semantics and Validation of Test Suites , 1996, Comput. Networks ISDN Syst..

[47]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[48]  Mark A. Ardis,et al.  A Framework for Evaluating Specification Methods for Reactive Systems Experience Report , 1996, IEEE Trans. Software Eng..

[49]  Panagiotis Demestichas,et al.  Issues in the design of future mobile communication systems , 1999, 1999 IEEE International Conference on Communications (Cat. No. 99CH36311).

[50]  Torben Worm.  Using metapatterns with SDL , 1999, SDL Forum.

[51]  Daniel Hoffman,et al.  Software product lines: a case study , 2000 .

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

[53]  Gerard Meszaros,et al.  A pattern language for improving the capacity of reactive systems , 1996 .

[54]  王进,et al.  Wireless intelligent network multitasking processing method , 2001 .

[55]  P. T. Barry,et al.  Abstract syntax notation-one (ASN.1) , 1992 .

[56]  Rocco De Nicola,et al.  Testing Equivalence for Processes , 1983, ICALP.

[57]  Ivar Jacobson,et al.  The object advantage - business process reengineering with object technology , 1994 .

[58]  Rom Langerak,et al.  Bundle event structures: a non-interleaving semantics for LOTOS , 1992, FORTE.

[59]  Robert L. Probert,et al.  TTCN: The International Notation for Specifying Tests of Communcations Systems , 1992, Comput. Networks ISDN Syst..

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

[61]  Luigi Logrippo.  Immaturity and Potential of Formal Methods: A Personal View , 2000, FIW.

[62]  Nigel Jefferies,et al.  Secure provision of UMTS services over diverse access networks , 1998 .

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

[64]  P. Borsook.  Data communications , 1994, IEEE Spectrum.

[65]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[66]  Jm Jan Smits,et al.  Mobile Telecommunications: Standards, Regulation, and Applications , 1998 .

[67]  Glynn Winskel,et al.  An Introduction to Event Structures , 1989 .

[68]  Eckhardt Holz.  Application of UML in the SDL Design Process , .

[69]  Dan Craigen,et al.  Industrial applications of formal methods to model, design and analyze computer systems: an international survey , 1995 .

[70]  Dipankar Raychaudhuri,et al.  Wireless ATM networks: architecture, system design and prototyping , 1996, IEEE Wirel. Commun..

[71]  Luigi Logrippo,et al.  Prototyping and formal requirement validation of GPRS: a mobile data packet radio service for GSM , 1999, Dependable Computing for Critical Applications 7.

[72]  Andrew S. Tanenbaum,et al.  Computer Networks, 3rd Edition , 1996, Prentice-Hall international editions.

[73]  W. D. Ambrosch A. Maher B. Sasscer.  The Intelligent Network , 1989, Springer Berlin Heidelberg.

[74]  Daniel Amyot,et al.  Specification and validation of telecommunications systems with use case maps and lotos , 2001 .

[75]  Anthony S. Acampora.  Wireless ATM: a perspective on issues and prospects , 1996, IEEE Wirel. Commun..

[76]  Malathi Veeraraghavan,et al.  Mobility and Connection Management in a Wireless ATM LAN , 1997, IEEE J. Sel. Areas Commun..

[77]  Fred Halsall,et al.  Data communications, computer networks and open systems (3. ed.) , 1995, Electronic-systems engineering series.

[78]  Wolfgang Pree,et al.  Design Patterns for Object-Oriented Software Development , 1994, Proceedings of the (19th) International Conference on Software Engineering.

[79]  Gerard J. Holzmann,et al.  Formal Methods for Early Fault Detection , 1996, FTRTFT.

[80]  Wolfgang Pree,et al.  Framework Patterns , 1996 .

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

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

[83]  Lu Zhongwan.  Mathematical Logic for Computer Science , 1988 .

[84]  D. R. Wilson.  Signaling System No.7, IS-41 and cellular telephony networking , 1992 .

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

[86]  I R Graham.  Requirements engineering and rapid development: an object-oriented approach , 1998 .

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

[88]  Harry Rudin,et al.  Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995) , 1996, Comput. Networks ISDN Syst..

[89]  Linda Rising,et al.  The Pattern Almanac , 2000 .

[90]  Niklaus Wirth,et al.  On the Composition of Well-Structured Programs , 1974, CSUR.

[91]  M. W. Oliphant,et al.  An introduction to GSM , 1995 .

[92]  Christopher Alexander,et al.  The Timeless Way of Building , 1979 .

[93]  Ekkart Rudolph,et al.  Tutorial on Message Sequence Charts , 1996, Comput. Networks ISDN Syst..

[94]  A. Munro,et al.  Services and applications: requirements and realizations in the UMTS era , 1998 .

[95]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[96]  M. Laitinen,et al.  Integration of intelligent network services into future GSM networks , 1995 .

[97]  William J. Brown,et al.  AntiPatterns and Patterns in Software Configuration Management , 1999 .

[98]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[99]  Gonzalo León,et al.  An Industrial Experience on Development with LOTOS and SDL , 1993, Formal Techniques for (Networked and) Distributed Systems.

[100]  Matthias Jarke,et al.  Scenarios in System Development: Current Practice , 1998, IEEE Softw..

[101]  Luis Ferreira Pires,et al.  Architectural notes: a framework for distributed systems development , 1994 .

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

[103]  Luigi Logrippo,et al.  Goal oriented execution for LOTOS , 1992, FORTE.

[104]  R. J. A. Buhr,et al.  Use Case Maps for Object-Oriented Systems , 1995 .

[105]  Max Jacobson,et al.  A Pattern Language: Towns, Buildings, Construction , 1981 .

[106]  John Visser,et al.  Framework for IMT-2000 networks , 2000, Comput. Networks.

[107]  Dyfed Bowen.  Open Distributed Processing , 1991, Comput. Networks ISDN Syst..

[108]  Charles E. Perkins,et al.  Mobile IP; Design Principles and Practices , 1997 .

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

[110]  F. Bordeleau,et al.  The UCM-ROOM Design Method: from Use Case Maps to Communicating State Machines , 1997 .

[111]  Robert S. Hanmer,et al.  An input and output pattern language: lessons from telecommunications , 2001 .

[112]  Martin de Prycker,et al.  Asynchronous Transfer Mode, Solution for Broadband Isdn , 1991 .

[113]  Xiao Jun Chen,et al.  Deriving use cases for distributed systems from knowledge requirements , 2000, Ann. des Télécommunications.

[114]  Yousuke Yamamoto,et al.  OpenWebServer: an adaptive Web server using software patterns , 1999, IEEE Commun. Mag..

[115]  Upkar Varshney,et al.  Mobile and Wireless Networks , 2000 .

[116]  J. F. Huber,et al.  UMTS, the mobile multimedia vision for IMT-2000: a focus on standardization , 2000, IEEE Commun. Mag..

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

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

[119]  Ronald J. Leach,et al.  Software Reuse: Methods, Models, and Costs , 1997 .

[120]  Peter J. C. Brown,et al.  A fast algorithm for selective refinement of terrain meshes , 1997, Comput. Networks ISDN Syst..

[121]  Linda Rising,et al.  Patterns: a way to reuse expertise , 1999, IEEE Commun. Mag..

[122]  J. Hodges,et al.  Accelerating wireless intelligent network standards through formal techniques , 1999, 1999 IEEE 49th Vehicular Technology Conference (Cat. No.99CH36363).

[123]  Diego Latella,et al.  Correctness Preserving Transformations for the Early Phases of Software Development , 1992 .

[124]  Rolv Bræk.  SDL Basics , 1996, Comput. Networks ISDN Syst..

[125]  Thomas Haug,et al.  The GSM System for Mobile Communications , 1992 .

[126]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[127]  Edward Yourdon,et al.  Object-oriented design , 1991, Yourdon Press Computing Series.

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

[129]  Carl A. Sunshine,et al.  Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.

[130]  Daniel Amyot,et al.  Feature-Interaction Visualisation and Resolution in an Agent Environment , 1998, FIW.

[131]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[132]  Ioannis N. Kriaras,et al.  Third-generation mobile network architectures for the universal mobile telecommunications system (UMTS) , 1997, Bell Labs Technical Journal.

[133]  Øystein Haugen,et al.  Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[134]  Gerard G. Meszaros,et al.  A pattern language for pattern writing , 1997 .

[135]  Donald C. Cox,et al.  Rerouting for handoff in a wireless ATM network , 1996, Proceedings of ICUPC - 5th International Conference on Universal Personal Communications.

[136]  Gérard Boudol.  Flow Event Structures and Flow Nets , 1990, Semantics of Systems of Concurrent Processes.

[137]  Ken Krechmer.  Recommendations for the global information highway: a matter of standards , 1996, STAN.

[138]  Ralph E. Johnson,et al.  Surveying current research in object-oriented design , 1990, CACM.

[139]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[140]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[141]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[142]  Daniel Amyot,et al.  An Evaluation of Scenario Notations for Telecommunication Systems Development , 2001 .

[143]  Randall. Tuok,et al.  Modeling and derivation of scenarios for a mobile telephony system in LOTOS. , 1996 .

[144]  Luigi Logrippo,et al.  A Validation Environment for LOTOS , 1993, PSTV.

[145]  Daniel Amyot,et al.  Description of Wireless Intelligent Network Services with Use Case Maps , 1999 .

[146]  Kenneth J. Turner,et al.  Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .

[147]  Robert S. Hanmer,et al.  Fault-tolerant telecommunication system patterns , 1996 .

[148]  Luigi Logrippo,et al.  The ISO Reference Model for Open Distributed Processing: An Introduction , 1995, Comput. Networks ISDN Syst..

[149]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[150]  Ellen Kayata Wesel,et al.  Wireless Multimedia Communications: Networking Video, Voice and Data , 1997 .