The UofO LOTOS Research Group
Theses
Directory Theses contains Master & Phd theses.
-
Mahdi Mankai Msc Thesis:
Vérification et analyse des politiques de contrôle d'accès:
Application au langage XACML
Université du Québec en Outaouais, janvier 2005
Available in (printable) PDF and source
(bunzip'ed tar) formats.
-
Bo Jiang Msc Thesis:
Combining Graphical
Scenarios with a Requirements Management System
University of Ottawa, June 2005
Available in PDF and
ZIP (MS-Word).
-
Yong Xiang Zeng Msc Thesis:
Transforming Use Case
Maps to the Core Scenario Model Representation
University of Ottawa, June 2005
Available in PDF and
ZIP (MS-Word).
-
Dongmei Jiang Msc Thesis:
Internet Telephony
Services for Presence With SIP and Extended
CPL
University of Ottawa, December 2003
Available in PDF.
-
Yiqun Xu Msc Thesis:
Detecting Feature
Interactions and Feature Inconsistencies in
CPL
University of Ottawa, September 2003
Available in PDF
and MS-Word.
-
Ruoshan Guan Msc Thesis:
From Requirements to
Scenarios through Specifications: A Translation Procedure
from Use Case Maps to LOTOS
University of Ottawa, September 2002
Available in PDF and
MS-Word.
-
Aloizio Pereira da Silva Msc Thesis:
Location-Based Taxi Service in Wireless
Communication Environment
Federal University of Minas Gerais
Belo Horizonte, March 25, 2002
Available in PDF and
Compressed Postscript.
-
Dongyang Zhang Msc Thesis:
"The Deployment of Features in
Internet Telephony", Carleton University, January 2002.
Available in PDF.
-
Daniel Amyot PhD Thesis: "Specification and Validation
of Telecommunications Systems with Use Case Maps and
Lotos", University of Ottawa, September 2001.
Available in PDF.
-
Leïla Charfi Msc Thesis:
"Formal Modeling and Test Generation
Automation with Use Case Maps and LOTOS",
University of Ottawa, March 2001.
The thesis and the
defense are both available in
PDF format.
-
Jameleddine Hassine Master Thesis: "Feature Interaction Filtering
and Detection with Use Case Maps and LOTOS",
University of Ottawa, February 2001.
Available in
PDF.
-
Rossana Maria de Castro Andrade PhD Thesis:
"Capture, Reuse, and
Validation of Requirements and Analysis Patterns for
Mobile Systems", University of Ottawa, 2001.
Available in PDF.
-
Nicolas Gorse Master Thesis: "The Feature Interaction Problem:
Automatic Filtering of Incoherences & Generation of
Validation Test Suites at the Design Stage",
University of Ottawa, 2000.
Available in PostScript.
-
Zhimei Yi Master Thesis: "CNAP Specification and
Validation: A Design Methodology Using LOTOS and
UCM", University of Ottawa, 2000.
The
LOTOS specification
may be consulted. The thesis is available in
PDF. Sources (MS-Word
documents & LOTOS specification) are bundled in a ZIP file.
-
Jennifer Qifang Fu Master Thesis: "Feature Interaction Detection in
a Telephony Network Integrated with Switch-based Features
and IN Features", University of Ottawa, 2000.
Available in PostScript,
PDF and Word (compressed tar).
-
Kazi Farooqui PhD Thesis: "Group-Based Distributed Computing:
Programming & Distributed Platform Model",
University of Ottawa, February 2000.
Available
in PostScript (~10.5MB),
PDF (~3.4MB) and Frame (ZIP file).
-
Neil HART Master Thesis: "Protocol Validation and
Implementation: A Design Methodology Using LOTOS
and ROOM", University of Ottawa, 1999.
Available in PostScript
and PDF.
-
Hans van der Schoot PhD Thesis: "Improving state exploration
techniques for the automatic verification of concurrent
systems", supervised by Prof. H. Ural., University
of Ottawa, January 1999.
Available as PDF documents, in a single
ZIP file or as
individual files.
-
Gaurav RAMPAL Master Thesis: "Developing Mobile Distributed
Intelligent Network Services Using RM-ODP",
University of Ottawa, 1998.
Available in PostScript
and FrameMaker (5.0, tar).
-
Jalel KAMOUN Master Thesis: "Formal Specification and
Feature Interaction Detection in the Intelligent Network",
University of Ottawa, 1996.
The thesis is available in PostScript
and FrameMaker (3.0, tar).
Specifications from Jalel's Thesis are also available:
-
Randall Tuok Master Thesis: Modeling and Derivation of
Scenarios for a Modible Telephony System in LOTOS , University
of Ottawa, 1996.
Available in PostScript
and FrameMaker (4.0, tar).
-
Mazen Haj-Hussein PhD Thesis: Guided Search Technique for
LOTOS, University of Ottawa, 1995.
Available in PostScript,
PDF
and FrameMaker.
-
Mohammed Faci PhD Thesis: Detecting Feature Interactions
in Telecommunications Systems Designs, University of Ottawa,
1995.
Available in PostScript
and FrameMaker.
-
Daniel Amyot Master Thesis: Formalization of Timethreads
Using LOTOS, University of Ottawa, 1994.
In PostScript (actually, a ZIP file),
an explanatory note for this ZIP
file; and the FrameMaker
(actually, a TAR file) version.
You may have a glance at its
introduction.
-
Marc Phalippou PhD Thesis: Relations
d'implantation et hypotheses de test sur des automates a entrees et
sorties, Universite de Bordeaux I, 8 septembre 1994 (compressed
Postscript).
-
Hans van der Schoot Msc Thesis:
"Validation activities
for LOTOS based on static data flow analysis" (MI 93-36)
Dept. of Comp. Science, University of Twente,
Enschede, the Netherlands (carried out at the University
of Ottawa), 1993.
The thesis is available in tar files, either in its original
Macintosh format, or as a the
corresponding Postscript files.
-
Pierre Ashkar Master Thesis: Symbolic Execution of LOTOS
Specifications (SELA), University of Ottawa, 1992.
In Publisher or
Postscript format.
-
Brahim Ghribi Master Thesis: A Model Checker for LOTOS,
University of Ottawa, 1992.
In Postscript as Part#1, Part#2 and Part#3.
-
Rafik Jaouani Master Thesis: LOTOS Based Conformance
Testing, Univsersity of Ottawa, 1992.
As the Postscript documents Part#1 and
Part#2.
-
Rezki Boumezbeur Master Thesis: Design, Specification and
Validation of Telephony Systems in LOTOS, University of Ottawa,
1991.
In Postscript or
DVI format; or as Publisher
document with the related bibliography.
-
Souheil Gallouzi Master Thesis: Trace Analysis of LOTOS
Behaviours, University of Ottawa, 1989.
In Publisher or
Postscript format.
-
Djaffar Gueraichi Master Thesis: Derivation of Test Cases
for LAB-B from a Formal Specification in LOTOS, University of
Ottawa, 1989.
In FrameMaker as Appendix,
Headings and
Body or in Postscript as
Appendix,
Headings and
Body.
-
Mazen Haj-Husein Master Thesis: An Interactive System for
LOTOS Applications (ISLA), University of Ottawa, 1988.
In FrameMaker, PDF
or Postscript format.
Go 
Go 
Help on 
