Login | Register

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


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.

Text (application/pdf)


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
Thesis Supervisor(s):Alagar, V. S.
ID Code:760
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:14
Last Modified:18 Jan 2018 17:14
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

Back to top Back to top