• This report proposes an approach for the design and validation of distributed systems using scenarios (UCMs) and formal methods (LOTOS). The case study is one of a generic Group Communication Server (GCS).

-- JeanFrancoisRoy - 18 Oct 2005

FormForVirtualLibrary edit

Title Group Communication Server: A Scenario-Based Design Exercise
Authors D. Amyot
Type Other
Conference/Journal Title CITO report #1388
Month June
Year 1998
Topic attachments
I Attachment Action Size Date Who Comment
gcs22.lotlot gcs22.lot manage 133 K 05 Aug 2006 - 15:25 DanielAmyot LOTOS specification
gcs22.lot.htmlhtml gcs22.lot.html manage 376 K 05 Aug 2006 - 15:26 DanielAmyot LOTOS specification (HTML)
gcsJune1998.pdfpdf gcsJune1998.pdf manage 1 MB 17 Oct 2005 - 22:35 JeanFrancoisRoy report
mitel99nov23.pdfpdf mitel99nov23.pdf manage 191 K 17 Oct 2005 - 23:49 JeanFrancoisRoy Presentation
Topic revision: r3 - 05 Aug 2006, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback