Technical Reports

• Adi, K., Felty, A., Logrippo, L., and Stepien, B., "Evaluation of Current Research in Firewall Analysis".

• Amyot, D., "Use Case Maps and UML for Complex Software-Driven Systems".
  Unpublished. Draft document. Please, do not cite. Comments are welcomed.
  (Available in PDF)

• Amyot, D., "Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features". CITO report #1430, Ottawa, Canada.
  (Available in PDF).
• Amyot, D., "Group Communication Server: A Scenario-Based Design Exercise". CITO report #1388, Ottawa, Canada.
  (Available in PDF).

• LOTOS Specification of the PTM-G by Forhan Pascal, 1997.
  LOTOS Specification of the Point to Multipoint Group Call Service from the General Packet Radio Service on Global System for Mobile Communications.
  In Postscript: the report, Annexe 1 and Annexe 2.

• A LOTOS Specification of the MAP/E Protocol by Rinke Terpstra.
  In PostScript.

• OSI Management Model in the ODP Architectural Framework by Kazi Farooqui, Department of Computer Science, University of Ottawa. (also available in PostScript)
  Abstract.
  
• On the Notions of Abstraction, Consistency, and Design in the ODP Framework of Viewpoints by Kazi Farooqui and Luigi Logrippo, Department of Computer Science, University of Ottawa. (also available in PostScript)
  Abstract.
  
• Rewriting (part of) the ATM specification in LOTOS by Patrick Bihan-Faou & Eleye Mahamad, July 23, 1995.
  Patrick and Eleye produced a report on their work (it is available in either PostScript or LaTeX formats) and provided a directory containing the corresponding LOTOS specifications.
• Fax Machine by Patrick Bihan-Faou, January 1995.
  The report (in PostScript) and the related LOTOS specification.
• Dialogue State Machine (DSM), by Nancy Carrere, July 1995.
  A report on DSM (in either PostScript or FrameMaker formats) and the related LOTOS specifications (as a compressed tar file): a global specification of the DSM from the MAP and a partial one considering only the case of a specific Application Context, used to generate Test Sequences.
• Edouard Hibon's Work Term Report on Telephone Features.
  In PostScript and Frame Maker formats.

• The ISO Reference Model for Open Distributed Processing - An Introduction by Kazi Farooqui (1), Luigi Logrippo (1), Jan de Meer (2). 1994
  (1) Department of Computer Science, University of Ottawa
  (2) Research Institute for Open Communication Systems Berlin (GMD-FOKUS)
  Abstract.
  Also available in PostScript.
• Global System for Mobile Communications, by Amine Rachdi, April 1994 (v1.0, v1.1, v2.0).
  Luigi Logrippo & Randy Tuok, August 1994 (the compressed tar file contains the FrameMaker Document, its PostScript version & LOTOS Specification documents)
• LOTOS Generation from Timethread Maps: A Language and a Tool, by Daniel Amyot. Project report. Sept. 26, 1994.
  Automation of part of the interpretation method introduced in the author's master thesis. Definition of a textual language (TMDL) to represent timethread maps, and a compiler that translates TMDL descriptions into.
  In FrameMaker and PostScript formats.

• Status-Oriented Telephone Service Specification: An Excercise in LOTOS Style, by Bernard Stepien and Luigi Logrippo, UofO, Dep. of Comp. Sc., TR-93-07 (Feb 1993).
  In FrameMaker or PostScript format.
• The University of Ottawa LOTOS Toolkit: a guided example, by Bernard Stepien, Jul 1993.
  In either FrameMaker (tar file) or PostScript format.

• Architecture for Open Distributed Software Systems by Kazi Farooqui and Luigi Logrippo, Department of Computer Science, University of Ottawa. (also available in PostScript)
  Abstract.
  
• Introduction to ODP Computational Model by Kazi Farooqui and Luigi Logrippo, Department of Computer Science, University of Ottawa. (also available in PostScript)
  Abstract.
  
• Introduction to ODP Engineering Model by Kazi Farooqui and Luigi Logrippo, Department of Computer Science, University of Ottawa. (also available in PostScript)
  Abstract.
  
• Gaz Burner Specification by Rezki Boumezbeur.
  In FrameMaker or PostScript format.
• ADT for Integers by Mazen Haj-Hussein.
  In FrameMaker or PostScript format.

Go Go Help on