Modeling and derivation of scenarios for a mobile telephony system in LOTOS.

ion Level The abstraction level of a specification determines the amount of detail it contains. A chosen abstraction level must balance the ease of the specification process and the amount of detail

[1]  Steve Rudkin.  Inheritance in LOTOS , 1991, FORTE.

[2]  Mazen. Haj-Hussein.  An interactive system for LOTOS applications, ISLA. , 1989 .

[3]  Tommaso Bolognesi,et al.  From timed Petri nets to timed LOTOS , 1990, PSTV.

[4]  Juha Rapeli,et al.  UMTS: targets, system concept, and standardization in a global framework , 1995, IEEE Wirel. Commun..

[5]  João Schwarz Dasilva,et al.  The European research program for advanced mobile systems , 1995, IEEE Wirel. Commun..

[6]  Luis Ferreira Pires,et al.  LOTOSphere: an attempt towards a design culture , 1992 .

[7]  Jan van Katwijk,et al.  Application and benefits of formal methods in software development , 1992, Softw. Eng. J..

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

[9]  Juan Quemada,et al.  Transforming LOTOS Specifications with LOLA - The Parameterised Expansion , 1988, FORTE.

[10]  Guy Leduc.  An Upward Compatible Timed Extension to LOTOS , 1991, FORTE.

[11]  Tomás de Miguel,et al.  From LOTOS to C , 1988, FORTE.

[12]  Joachim Parrow,et al.  Algebraic descriptions of mobile networks: An example , 1990, PSTV.

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

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

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

[16]  Björn Regnell,et al.  Improving the use case driven approach to requirements engineering , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[17]  Kenjiroh Yamanaka,et al.  Incremental specification in LOTOS , 1990, PSTV.

[18]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[19]  Henk Eertink,et al.  Symbolic execution of LOTOS specifications , 1992, Formal Techniques for (Networked and) Distributed Systems.

[20]  Giuseppe Scollo,et al.  Lotos specifications, their implementations and their tests , 1995 .

[21]  M. Souheil. Gallouzi.  Trace analysis of LOTOS behaviours. , 1989 .

[22]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[23]  Luigi Logrippo,et al.  Derivation of Test Cases for LAP-B from a LOTOS Specification , 1989, FORTE.

[24]  Arturo Azcorra,et al.  The Lotosphere Design Methodology , 1995 .

[25]  Son T. Vuong,et al.  A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System , 1989, Formal Techniques for (Networked and) Distributed Systems.

[26]  Luigi Logrippo,et al.  The University of Ottawa LOTOS Toolkit , 1990, FORTE.

[27]  Ravi Jain,et al.  Two user location strategies for personal communications services , 1994, IEEE Personal Communications.

[28]  J. Regnier,et al.  Personal communication services-the new POTS , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.

[29]  Adam C. Winstanley,et al.  Making Changes to Formal Specifications: Requirements and an Example , 1993, ESEC.

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

[31]  Hans van der Schoot.  Validation activities for LOTOS based on static data flow analysis , 1993 .

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

[33]  Marten van Sinderen,et al.  Specification Styles in Distributed Systems Design and Verification , 1991, Theor. Comput. Sci..

[34]  Mohammed Faci.  Detecting feature interactions in telecommunications systems designs , 1996 .

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

[36]  John M. Carroll,et al.  Making use: a design representation , 1994, CACM.

[37]  Rezki. Boumezbeur.  Design, specification, and validation of telephony systems in LOTOS. , 1991 .

[38]  David Chenho Kung,et al.  Formal approach to scenario analysis , 1994, IEEE Software.

[39]  Pierre. Ashkar.  Symbolic execution of LOTOS specifications. , 1994 .

[40]  Luís Ferreira Pires,et al.  Step-wise Refinement Design Example Using LOTOS , 1990, FORTE.

[41]  Luigi Logrippo,et al.  Status-oriented telephone service specification , 1994 .

[42]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..