• English
    • español
    • français
    • Deutsch
  • français 
    • English
    • español
    • français
    • Deutsch
  • Ouvrir une session
Voir le document 
  •   Accueil de TTU DSpace
  • ThinkTech
  • Electronic Theses and Dissertations
  • Voir le document
  •   Accueil de TTU DSpace
  • ThinkTech
  • Electronic Theses and Dissertations
  • Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Model transformation support for the analysis of large-scale systems

Thumbnail
Voir/Ouvrir
MartaCalderonThesis.pdf (1.107Mo)
Date
2005-05
Auteur
Calderon, Marta Eunice
Metadata
Afficher la notice complète
Résumé
This study describes an approach to the design and development of a tool to support the transformation of a UML–based system model to a CPN model that can be used for analyzing the dynamic behavior of large–scale systems. A UML–based system model is represented using the use case model, the class model, and the collaboration model. Rational Rose is used as interface to capture the UML–based system model, and Design/CPN is the CPN tool selected. A prototype tool is developed to transform a UML–based system model to a CPN model. The resulting CPN model is used to check correctness of use case scenarios and analyze system concurrency properties such as deadlock. The prototype tool developed in this study maps the structure of a Rational Rose MDL file describing the UML–based system model to the structure of a Design/CPN XML file describing the modeling elements of a CPN model in Design/CPN. The results generated by the prototype tool are validated using two system models: the stop-and-wait protocol system and the gas station system.
Citable Link
http://hdl.handle.net/2346/1080
Collections
  • Electronic Theses and Dissertations

DSpace software copyright © 2002-2016  DuraSpace
Contactez-nous
TDL
Theme by 
Atmire NV
 

 

Parcourir

Tout DSpaceCommunautés & CollectionsPar date de publicationAuteursTitresSujetsDepartmentCette collectionPar date de publicationAuteursTitresSujetsDepartment

Mon compte

Ouvrir une session

Statistiques

Statistiques d'usage de visualisation

DSpace software copyright © 2002-2016  DuraSpace
Contactez-nous
TDL
Theme by 
Atmire NV