Popistas, Oana-Mirela (1999) Rose-GRC translator : mapping UML visual models onto formal specifications. Masters thesis, Concordia University.
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 > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Pagination:||xiv, 137 leaves : ill. ; 29 cm.|
|Degree Name:||Theses (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Alagar, V. S.|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 17:14|
|Last Modified:||08 Dec 2010 15:16|
Repository Staff Only: item control page