Show simple item record

dc.contributor.authorBlanco, Rolando Maldonado
dc.date.accessioned2010-03-10 16:47:54 (GMT)
dc.date.available2010-03-10 16:47:54 (GMT)
dc.date.issued2010-03-10T16:47:54Z
dc.date.submitted2010
dc.identifier.urihttp://hdl.handle.net/10012/5047
dc.description.abstractDistributed Event-Based Systems (DEBSs) are middleware supporting the interaction of publisher and subscriber components via events. In DEBSs, the subscribers to be notified when an event is announced are decided at run-time without requiring publisher components to know the name or locations of the subscribers, nor the subscribers to know the name or locations of the publishers. This low coupling between components makes DEBSs suitable for applications with a large or unpredictable number of autonomous components. The development of applications in DEBSs is an ad hoc process poorly supported by current software engineering methodologies. Moreover, the behaviours exhibited by these systems and their applications are not well understood, and no suitable models exist where these behaviours can be described and analyzed. The main concern of this thesis is the development of such models. Specifically, we develop formalisms and models supporting the specification, prediction, and validation of the behaviour exhibited by the middleware and the applications executing on it. Our main contributions to the area are: new formalisms for the representation of DEBSs and their applications, and for the specification of both, system and application properties; a categorization of the features related to the definition, announcement, and notification of events in DEBSs and, in general, event-based systems; models representing the categorized DEBS features; case studies detailing models and properties for specific systems; a prototype tool for the verification of DEBSs and applications. The formalisms developed expose the location of the actions in the modelled systems and support the specification of several forms of location-awareness and adaptive behaviour.en
dc.language.isoenen
dc.publisherUniversity of Waterlooen
dc.titleProcess Models for Distributed Event-Based Systemsen
dc.typeDoctoral Thesisen
dc.comment.hiddenPlease discard previous submission. Advisor (Paulo Alencar palencar@cs.uwaterloo.ca) wanted a few minor editing changes (even though he had approved the previous version, sigh). Hope this is not a problem. Sorry for the inconvenience.en
dc.pendingfalseen
dc.subject.programComputer Scienceen
uws-etd.degree.departmentSchool of Computer Scienceen
uws-etd.degreeDoctor of Philosophyen
uws.typeOfResourceTexten
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages