Derivation of component designs from global specifications

FieldValue
dc.contributor.authorLaamarti, Fedwa
dc.date.accessioned2013-11-07T19:31:29Z
dc.date.available2013-11-07T19:31:29Z
dc.date.created2011
dc.date.issued2011
dc.identifier.citationSource: Masters Abstracts International, Volume: 49-06, page: 3891.
dc.identifier.urihttp://hdl.handle.net/10393/28856
dc.identifier.urihttp://dx.doi.org/10.20381/ruor-19475
dc.description.abstractThe use of distributed systems is growing more and more, given the advantages that they present, particularly the powerful computational capabilities that they provide. However, one challenge of distributed computing is ensuring that once the different system components are collaborating, their combined behavior will result in the behavior that was originally intended for the global system, without coordination conflicts. This thesis deals with automating the process of deriving the components behaviors of distributed systems, starting from the description of that global system, defined as a UML Activity Diagram. The derived component specifications are produced as Activity Diagrams, and provided to the user in a graphical form. The generated components diagrams include the exchange of the necessary coordination messages. We also explain through many test cases the importance and purpose of these coordination messages. Besides, tests were conducted to verify that the obtained components designs correspond to the intended results.
dc.format.extent120 p.
dc.language.isoen
dc.publisherUniversity of Ottawa (Canada)
dc.subject.classificationComputer Science.
dc.titleDerivation of component designs from global specifications
dc.typeThesis
dc.degree.nameM.C.S.
dc.degree.levelMasters
CollectionTh├Ęses, 1910 - 2010 // Theses, 1910 - 2010

Files
MR74189.PDF3.97 MBAdobe PDFOpen