Show simple item record

dc.contributor.authorYilmaz, Leventen_US
dc.date.accessioned2014-03-14T20:08:29Z
dc.date.available2014-03-14T20:08:29Z
dc.date.issued2002-03-13en_US
dc.identifier.otheretd-03252002-121049en_US
dc.identifier.urihttp://hdl.handle.net/10919/26494
dc.description.abstractIn a parameterized collaboration design, one views software as a collection of components that play specific roles in interacting, giving rise to collaborative behavior. From this perspective, collaboration designs revolve around reusing collaborations that typify certain design patterns. Unfortunately, verifying that active, concurrently executing components obey the synchronization and communication requirements needed for the collaboration to work is a serious problem. At least two major complications arise in concurrent settings: (1) it may not be possible to analytically identify components that violate the synchronization constraints required by a collaboration, and (2) evolving participants in a collaboration independently often gives rise to unanticipated synchronization conflicts. This work presents a solution technique that addresses both of these problems. Local (that is, role-to-role) synchronization consistency conditions are formalized and associated decidable inference mechanisms are developed to determine mutual compatibility and safe refinement of synchronization behavior. More specifically, given generic parameterized collaborations and components with specific roles, mutual compatibility analysis verifies that the provided and required synchronization models are consistent and integrate correctly. Safe refinement, on the other hand, guarantees that the local synchronization behavior is maintained consistently as the roles and the collaboration are refined during development. This form of local consistency is necessary, but insufficient to guarantee a consistent collaboration overall. As a result, a new notion of global consistency (that is, among multiple components playing multiple roles) is introduced: causal process constraint analysis. A method for capturing, constraining, and analyzing global causal processes, which arise due to causal interference and interaction of components, is presented. Principally, the method allows one to: (1) represent the intended causal processes in terms of interactions depicted in UML collaboration graphs; (2) formulate constraints on such interactions and their evolution; and (3) check that the causal process constraints are satisfied by the observed behavior of the component(s) at run-time.en_US
dc.publisherVirginia Techen_US
dc.relation.haspartDissertation.pdfen_US
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectcomponent-baseden_US
dc.subjectverificationen_US
dc.subjectvalidationen_US
dc.subjectreuseen_US
dc.subjectcollaborative behavioren_US
dc.subjecttestingen_US
dc.titleSpecifying and Verifying Collaborative Behavior in Component-Based Systemsen_US
dc.typeDissertationen_US
dc.contributor.departmentComputer Scienceen_US
dc.description.degreePh. D.en_US
thesis.degree.namePh. D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Scienceen_US
dc.contributor.committeechairEdwards, Stephen H.en_US
dc.contributor.committeememberRavindran, Binoyen_US
dc.contributor.committeememberNance, Richard E.en_US
dc.contributor.committeememberNespor, Jan K.en_US
dc.contributor.committeememberArthur, James D.en_US
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-03252002-121049/en_US
dc.date.sdate2002-03-25en_US
dc.date.rdate2003-04-03
dc.date.adate2002-04-03en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record