Show simple item record

dc.creatorCalderon, Marta Eunice
dc.date.available2012-06-01T15:50:45Z
dc.date.issued2005-05
dc.identifier.urihttp://hdl.handle.net/2346/1080
dc.description.abstractThis 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.
dc.format.mimetypeapplication/pdf
dc.language.isoeng
dc.subjectCPN model
dc.subjectUML based system model
dc.subjectModel transformation
dc.subjectDesign/CPN
dc.titleModel transformation support for the analysis of large-scale systems
dc.typeThesis
thesis.degree.nameMaster of Science in Software Engineering
thesis.degree.levelMasters
thesis.degree.disciplineComputer Science
thesis.degree.grantorTexas Tech University
thesis.degree.departmentComputer Science
dc.contributor.committeeMemberLopez-Benitez, Noe
dc.contributor.committeeChairShin, Michael
dc.degree.departmentComputer Science
dc.rights.availabilityUnrestricted.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record