Breadcrumb

 
 

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.

[img]
Preview
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 > Faculty 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:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:1999
Thesis Supervisor(s):Alagar, V. S.
ID Code:760
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:14
Last Modified:08 Dec 2010 10:16
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

Document Downloads

More statistics for this item...

Concordia University - Footer