The UofO LOTOS Research Group

Papers

R. M. de Castro Andrade, L. Logrippo. "MoRaR: A Pattern Language for Mobility and Radio Resource Management".
Appeared in reedited form in: D.Manolescu, J.Noble, M. Voelter - Pattern Languages of Program Design 5, Chapter 10. Addison-Wesley, 2006, 213-255.
2005
Waël Hassan, Luigi Logrippo, Mahdi Mankai: Validating Access Control Policies with Alloy
Appeared in: K.Adi, L.Logrippo, M. Mejri. Proceedings of a Workshop on Practice and Theory of Access Control Technologies (WPTACT 2005), Montréal, Jan. 2005, 17-22.
(Available in PDF)
Mahdi Mankai, Luigi Logrippo, "Access Control Policies: Modeling and Validation".
Appeared in: K. Adi, D. Amyot, L. Logrippo - Proceedings of the 5th NOTERE Conference, Gatineau, Canada, August 2005. p 85-91.
Dongmei Jiang, Tet Hin Yeap, Luigi Logrippo, "Simulation of Personalized Services in SIP Communications".
Appeared in: Proceedings of the Second IEEE International Conference on Service Systems and Services Management (ICSSSM'05), Chongqing University, China, 13-15 June 2005, 1379-1382.
Dongmei Jiang, Tet Hin Yeap, Luigi Logrippo, Ramiro Liscano, "Personalization for SIP Multimedia Communications with Presence".
Appeared in: Proceedings of the Second IEEE International Conference on Service Systems and Services Management (ICSSSM'05), Chongqing University, China, 13-15 June 2005, 1365-1368.

Dini, P., Clemm, A., Gray, T., Lin, F.J., Logrippo, L., Reiff-Marganiec, S. "Policy-enabled Mechanisms for Feature Interactions: Reality, Expectations, Challenges".
Computer Networks, 45 (5), 2004, 585 - 603.
Amyot, D. and Logrippo, L. "Directions in Feature Interaction Research".
(Editorial). Computer Networks, 45 (5), 2004.

Andrade, R. and Logrippo, L., "Reuse and Validation of Requirements for Mobile Systems".
In SBRC 2002, Simposio Brasileiro de redes de computadores, Bùzios, 2002, Societade Brasileira de computaçao, 769-783.
Stepien, B. and Logrippo, L. Graphic Visualization and Animation of LOTOS Execution Traces.
In Computer Networks 40, pages 665-681, 2002.
Crespo, R.G. and Logrippo,L. and Gray,T., Feature Execution Trees and Interactions,
In The 2002 International Conference on Parallel and Distributed Processing Techniques and Applications proceedings, pages 1230-1236, June 2002.

L.Logrippo. Immaturity and Potential of Formal Methods. Invited paper to the Sixth International Symposium on Feature Interactions in Telecommunications and Software Systems. In: M. Calder and E. Magill (eds.) Feature Interaction in Telecommunications and Software Systems, VI. IOS Press, 2000, 9-13.
Ghribi B. and Logrippo L. "Understanding GPRS: The GSM Packet Radio Service". In: Computer Networks 34 (2000), p. 763-779. (Available in PDF)
Amyot, D. and Mussbacher, G., "On the Extension of UML with Use Case Maps Concepts". In: The 3rd International Conference on the Unified Modeling Language (<<UML2000>>), York, UK, October 2000.
(Available in PDF)
Andrade, R., Bottomley, M., Logrippo, L., Coram, T., "A Pattern Language for Mobility Management". In: Proc. of the 7th Conference on the Pattern Languages of Programs (PLoP 2000), 16 pp., Monticello, Illinois, August 2000.
(Available in PDF)
Andrade, R., and Logrippo, L., "Reusability at the Early Development Stages of the Mobile Wireless Communication Systems". In: Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2000), Vol. VII, Computer Science and Engineering: Part I, Orlando, Florida, pp. 11-16, July 2000.
(Available in PDF)
Andrade, R., "Applying Use Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks". In: Proc. of the Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000.
(Available in PDF)
Nakamura, M., Hassine, J., Logrippo, L. "Feature Interaction Filtering with Use Case Maps at Requirements Stage". To appear in the Proceedings of the Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems, Glasgow, 17th - 19th May 2000.
(Available in PDF)
Amyot, D., Use Case Maps as a Feature Description Notation. (Revised version). In: FIREworks Feature Constructs Workshop, Glasgow, Scotland, UK, May 2000.
(Available in PDF)
Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., Ware, T. "Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS". To appear in the Proceedings of the Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems, Glasgow, 17th - 19th May 2000.
(Available in MS-Word, and PDF)
Chen, XiaoJun, and Logrippo, L. "Deriving Use Cases for Distributed Systems from Knowledge Requirements". Annals of Telecommunications, 55 (2000), 1-2, 45-57.
(Available in PDF and FrameMaker5)
Fu, Q., Harnois, P., Logrippo, L., Sincennes, J. "Feature Interaction Detection: a LOTOS-based Approach". Computer Networks 32, 4, (2000) 433-448.
(Available in PDF and Word)

Amyot, D., Logrippo, L., Buhr, R.J.A. and Gray, T., "Use Case Maps for the Capture and Validation of Distributed Systems Requirements". In: Fourth International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 1999.
(Available in PostScript and PDF)
Amyot, D., Andrade, R., "Description of Wireless Intelligent Networks with Use Case Maps". Proc. Brazilian Symposium on Computer Networks (SBRC'99), Salvador (BA), Brazil, 418-433, May 25-28, 1999.
(Available in PostScript and PDF)
Amyot, D., Andrade, R., Logrippo, L., Sincennes, J. and Yi, Z. "Formal Methods for Mobility Standards". In the IEEE 1999 Emerging Technologies Symposium: Wireless Communications and Systems proceedings, Richardson (TX) April 1999. Editor: Traci King, Samsung Telecommunications America. Publisher: Steve Bootman, Hitachi Telecom.
(Available in FrameMaker, PostScript and PDF)
L. Andriantsiferana, B. Ghribi, and L. Logrippo "Prototyping and Formal Requirement Validation of GPRS: A Mobile Data Packet Radio Service for GSM". In Proc. 7th Int. Working Confrence on Dependable Computing For Critical Applications (DCCA-7), san Jose, California, USA, January 1999, 99-118.
(Available in PDF and compressed version of MS-Word and PostScript)
Amyot, D. and L. Logrippo, L. "Use Case Maps and LOTOS for the Prototyping and Validation of a Mobile Group Call System" . In:Computer Communications 23(8)
(Available in PDF)

Kamoun, J. and Logrippo, L. "Goal-Oriented Feature Interaction Detection in the Intelligent Network Model". Paper appeared in: K. Kimbler and L.G. Bouma (Eds.). Feature Interactions in Telecommunications and Software Systems V. IOS Press, 1998, 172-186.
(Available in FrameMaker, PostScript and PDF)
Amyot, D., Hart, N., Logrippo, L. and Forhan P., "Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example". In: ObjecTime Workshop on Research in OO Real-Time Modeling, Ottawa, Canada, January 1998.
(Available in PDF)

Faci, M., Logrippo, L., and Stépien, B. "Structural Models for Specifying Telephone Systems". Computer Network and ISDN Systems 29 (1997) 501-528.
(Available in FrameMaker, PDF and PostScript)
Amyot, D., Logrippo, L. and Buhr, R.J.A., "Spécification et conception de systèmes communicants : une approche rigoureuse basée sur des scénarios d’usage". In: Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'97), Hermes, Paris, pp. 159-174.
(Available in PDF)

Faci, M., and Logrippo, L. "An Algebraic Framework for the Feature Interaction Problem". Proc. of the 3rd AMAST Workshop on Real-Time Systems, Salt Lake City, 1996, 280-294.
(Available in FrameMaker, PostScript and PDF)
Amyot, D. Bordeleau, F., Buhr, R.J.A. and Logrippo, L. "Formal support for design techniques: a Timethreads-LOTOS approach " In: G.v. Bochmann, R. Dssouli, and O. Rafiq (Eds.) Formal Description Techniques, VIII. North-Holland, 1996 (Proc. of the 8th FORmal TEchniques International Conference, Montréal, 1995. Sponsored by IFIP WG 6.1) 57-72.
A design methodology which allies the graphical expressiveness of the timethread notation with the analytical power of the LOTOS language and its associated tools is presented. The concept of time thread is at the basis of a design methodology based on scenarios. A simple telephone system is us ed as an example. It is shown how the main scenarios of such a system can be expressed by the time thread notation, leading to an abstract system design. Further, it is shown how the notation can be translated into LOTOS. LOTOS tools are used to validate the high-level design. Tools used include LOLA for analysis and design testing, LMC for checking temporal logic properties, and GOAL for checking reachability of actions.
Also available in FrameMaker, PDF and PostScript formats.

Stépien, B., and Logrippo, L. Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. In: Cheng, K.E., and Ohta, T. (Eds.) Feature Interactions in Telecommunications, III. IOS Press, 1995, 141-155.
(Available in FrameMaker and PDF)
Ural, H. & van der Schoot, H., "Data flow oriented test selection for LOTOS" in Computer Networks and ISDN Systems, vol. 27(7), pp. 1111-1136, May 1995.
This paper presents a method for generating I/O-directed test cases from a LOTOS specification. Static data flow analysis is first applied as underlying technique for capturing the specified I/O functionality. A corresponding test suite is then derived by using a goal-oriented inference mechanism for LOTOS (see also statderpath).
(Available in MacIntosh or PostScript formats)
Ural, H. & van der Schoot, H., "Data flow analysis of system specifications in LOTOS".
This paper advocates the application of static data flow analysis for the validation of LOTOS specifications. More specifically, the technique of static data flow analysis, originally intended for sequential program testing, is shown to facilitate both data flow anomaly detection and data flow oriented test selection in the concurrent context of LOTOS.
(Available in MacIntosh form, as document and figure; or in PostScript, again as document and figure)
Stepien, B. and Logrippo. L. "Feature Interaction Detection Using Backward Reasoning with LOTOS." In: S. Vuong (ed.) Protocol Specification, Testing, and Verification, XIV (Proc. of the 14th International Symposium on Protocol Specification, Testing, and Verification, organized by IFIP WG 6.1, Vancouver), 1995, 71-86.
(Available in FrameMaker or PDF formats)

Faci, M., and Logrippo, L. "Specifying Features and Analyzing their Interactions in a LOTOS Environment." In: L.G. Bouma and H. Velthuijsen (eds.) Feature Interactions in Telecommunications Systems. IOS Press, 1994 (Proc. of the 2nd International Workshop on Feature Interactions in Telecommunications Systems, Amsterdam) 136-151. Also published in S. Brlek (ed.) BMW-94, Modèles mathematiques pour la synthèse des systèmes informatiques (62e congrès ACFAS), Publications du Laboratoire de Combinatore et d'Informatique Mathématique de Montréal, 1994, 167-182.
(Available in FrameMaker or PDF formats)
Gueraichi, D., and Logrippo, L. "Derivation of Test Cases for LAP-B from a LOTOS Specification" In: S. Vuong (Ed.) Formal Description Techniques, II. North-Holland 1990 (Proc. of the 2nd FORmal TEchniques International Conference, Vancouver, 1989. Sponsored by IFIP WG 6.1 and ACM) 361-374.
This paper was reprinted in: R.J. Linn and M.U. Uyar (eds.) Conformance Testing Methodologies and Architectures for OSI Protocols. IEEE Computer Society Press, 1994. This is a collection of 35 outstanding papers in the area.
(Available in FrameMaker or PDF formats)

Stepien, B., and Logrippo, L. "Status-Oriented Telephone Service Specification: An Exercise in LOTOS Style". Proc. of the 1st AMAST Workshop on Real-Time Program Development, Iowa City, 1993 (Invited paper).
(Available in PDF, PDF and FrameMaker)
Farooqui, K. and Logrippo, L. "Viewpoint Transformation." Proc. of the International Conference on Open Distributed Processing, Berlin, 1993, 352-562.
ODP Computational to Engineering Viewpoint Transformation using Correctness Preserving LOTOS Transformations.
(Available in FrameMaker or PDF formats)
Haj-Hussein, M., Logrippo, L. & Sincennes, J., "Goal-Oriented Execution of LOTOS Specifications." In: M. Diaz and R. Groz (Eds.) Formal Description Techniques, V. North-Holland, 1993 (Proc. of the 4rth FORmal TEchniques International Conference, Perros-Guirec, France, 1992. Sponsored by IFIP WG 6.1) 311-327.
(Available in Publisher or PDF formats)
Ghribi, B., and Logrippo, L. "A Validation Environment for LOTOS." In: Danthine, A., and Leduc, G. (eds.) Protocol Specification, Testing, and Verification, XIII (Proc. of the 13th International Symposium on Protocol Specification, Testing, and Verification, organized by IFIP WG 6.1, Liège) North-Holland, 1993, 93-108.
(Available in MS-Word or PostScript formats)
Faci, M. and Logrippo, L. "Specifying Hardware Systems In LOTOS", revised version of the paper that appeared in the proceedings of CHDL'93, IFIP Conference on Hardware Description Languages and their Applications (Ottawa, April 1993) 305-312.
(Available in FrameMaker or PDF formats)
Ural, H. & van der Schoot, H., "A uniform test derivation method for Estelle, LOTOS and SDL". Presented at ISO/IEC JTC1/SC21/WG1 meeting on Formal Methods in Conformance Testing, Pau, France, Sept.'93 - appeared in Annex B of ISO/IEC JTC1/SC21/WG1 working document.
This position paper outlines a uniform method for the selective derivation of test cases from Estelle, LOTOS, and SDL specifications. The method focuses on the I/O-functionality of the specified systems, using static data flow analysis as underlying technique.
(Available in MacIntosh format as main document and appendix; or in PostScript form as, again, main document and appendix)

Haj-Hussein, M., and Logrippo, L. "Specifying and Validating Distributed Algorithms in LOTOS". Networking and Distributed Computing 2 (1992) 87-112.
(Available in FrameMaker or PDF formats)
Logrippo, L., Faci, M., and Haj-Hussein, M. "An Introduction to LOTOS: Learning by Examples." Computer Networks and ISDN Systems 23(5) (1992) 325-342. Errata in 25(1) (1992) 99-100.
(Available in FrameMaker or PDF formats)

Gallouzi, S., Logrippo, L., and Obaid, A. "A Hoare-Style Proof System for LOTOS." In: J. Quemada, J. Manas, E. Vázquez (Eds.) Formal Description Techniques, III. North-Holland, 1991, 49-62 (Proc. of the 3rd FORmal TEchniques International Conference, Madrid, 1991. Sponsored by IFIP WG 6.1 and ACM).
(Available in (GNU ZIP'ped) Publisher tar file or PDF formats)
Gallouzi, S., Logrippo, L., and Obaid, A. "Le LOTOS: Théorie, applications, outils" In: O. Rafiq. CFIP'91- Ingenierie des Protocoles. Hermes, 1991, 385-404.
This was an invited paper to a refereed conference.
(Available in FrameMaker or PDF formats; both in french)
Faci, M., Logrippo, L., and Stepien, B. "Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Approach." Computer Networks and ISDN Systems 21 (1991) 53-67.
(Available in FrameMaker or PDF formats. See also ../Examples/Telephone.CNIS.l)
Gallouzi, S., Logrippo, L., and Obaid, A. "An Expressive Trace Theory for LOTOS" In: B. Jonsson, J. Parrow, and B. Pehrson (Eds.) Protocol Specifications, Testing, and Verification, XI (Proc. of the 11th International Symposium on Protocol Specification, Testing, and Verification, organized by IFIP WG 6.1, Stockholm, 1991) North-Holland, 1991, 159-175
(Available in (GNU ZIP'ped) Publisher tar file or PDF formats)
Logrippo, Luigi & Boumezbeur, Rezki "Specification & Validation of Telephone System".
(Available in Publisher or PDF formats)

Logrippo, L., Melanchuck, T., and DuWors, R.J. "The Algebraic Specification Language LOTOS: An Industrial Experience" In: M. Moriconi (Ed.) Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development (Napa, CA., 1990), 59-66.
(Available in nroff (with ms macros) or PDF formats)

Guillemot, R., and Logrippo, L. "Derivation of Useful Execution Trees from LOTOS Specifications by Using an Interpreter." In: K.J. Turner (Ed.) Formal Description Techniques. North-Holland, 1989 (Proc. of the 1st FORmal TEchniques International Conference, Stirling, UK.,1988) 311-325.
(Available in 2 sizes, namely american as either nroff (with ms macros) or PDF documents, or in european size, again as either nroff (with ms macros) or PDF documents)

Chris A. Vissers and Luigi Logrippo "The Importance of the Service Concept in the Design of Data Communications Protocols".
This paper appeared, in slightly different form, in M. Diaz (Ed.) Protocol Specification, Testing, and Verification, V. (Proc. of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing and Verification) Elsevier-North-Holland, 1986, 3-17.

Go Go Help on