Model transformation support for the analysis of large-scale systems

dc.contributor.committeeChairShin, Michael
dc.contributor.committeeMemberLopez-Benitez, Noe
dc.creatorCalderon, Marta Eunice
dc.date.available2012-06-01T15:50:45Z
dc.date.issued2005-05
dc.degree.departmentComputer Science
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.identifier.urihttp://hdl.handle.net/2346/1080
dc.language.isoeng
dc.rights.availabilityUnrestricted.
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.departmentComputer Science
thesis.degree.disciplineComputer Science
thesis.degree.grantorTexas Tech University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science in Software Engineering
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
MartaCalderonThesis.pdf
Size:
1.11 MB
Format:
Adobe Portable Document Format