Login | Register

Rose-GRC translator : mapping UML visual models onto formal specifications

Title:

Rose-GRC translator : mapping UML visual models onto formal specifications

Popistas, Oana-Mirela (1999) Rose-GRC translator : mapping UML visual models onto formal specifications. Masters thesis, Concordia University.

[thumbnail of MQ43557.pdf]
Preview
Text (application/pdf)
MQ43557.pdf
5MB

Abstract

Real-time reactive systems are among the most difficult systems to design because of the complex functional and timing requirements that must be satisfied. Visual models serve to break the complexity barrier, allowing the developer to comprehend and reason with graphical representations. The graphical representations by themselves are not sufficient--they are informal and lack well-defined meaning. This thesis allows the description of classes, statechart diagrams, and collaboration diagrams of reactive system components to be constructed graphically using UML notation in the Rose environment, and maps them to a formal notation, which can be subjected to a rigorous analysis, such as validation and verification, prior to committing to an implementation. The mapping is implemented by a translator using RoseScript, the language provided with the Rose Extensibility Interface of Rational Rose.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Popistas, Oana-Mirela
Pagination:xiv, 137 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1999
Thesis Supervisor(s):Alagar, V. S.
Identification Number:QA 76.54 P67 1999
ID Code:760
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:14
Last Modified:13 Jul 2020 19:47
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top