Papers by Justin Templemore-finlayson
Formal Methods for Distributed System Development, 2000
Page 1. Group Communication and Multicast Justin Templemore-Finlayson and Stan Budkowski ... It i... more Page 1. Group Communication and Multicast Justin Templemore-Finlayson and Stan Budkowski ... It is conceived as a middle-ware layer which allows protocols to implement the service as constrained by an application's service requirements and the available network services. ...
Formal Techniques for Networked and Distributed Systems, 1998
This paper presents a graphical representation for the Formal Description Technique Estelle, whic... more This paper presents a graphical representation for the Formal Description Technique Estelle, which has up until now been restricted to a textual syntax based on the general programming language Pascal. The graphical syntax and semantics of the representation are fully descriptive of a general Estelle system and complies with the ISO Estelle standard ISO97].
Formal Description Techniques and Protocol Specification, Testing and Verification, 1998
This paper presents a graphical representation for the Formal Description Technique Estelle, whic... more This paper presents a graphical representation for the Formal Description Technique Estelle, which has up until now been restricted to a textual syntax based on the general programming language Pascal. The graphical syntax and semantics of the representation are fully descriptive of a general Estelle system and complies with the ISO Estelle standard ISO97].
Lecture Notes in Computer Science, 2001
Page 1. Group Communication and Multicast Justin Templemore-Finlayson and Stan Budkowski ... It i... more Page 1. Group Communication and Multicast Justin Templemore-Finlayson and Stan Budkowski ... It is conceived as a middle-ware layer which allows protocols to implement the service as constrained by an application's service requirements and the available network services. ...
This dissertation concerns the speci cation and description of complex communicating systems usin... more This dissertation concerns the speci cation and description of complex communicating systems using Formal Description Techniques. Speci cally, we propose a standard graphical representation for the Formal Description Technique Estelle and ...
We present a Distributed Voting Architecture (DVA) for supporting large scale voting sessions in ... more We present a Distributed Voting Architecture (DVA) for supporting large scale voting sessions in the Internet. This architecture is aimed at supporting voting sessions on a nationwide scale, with diverse application from television game shows to governmental elections. The DVA defines a communication architecture for efficient multicasting of Questions to voters, and scalable collection of Answers. It also presents a distributed voter identification architecture. The DVA uses and extends the REliable Application Layer Multicast protocol to achieve scalability in communication. In particular, it uses the overlay nature of this protocol to extend it with a many-to-one collection service which performs scalable collection of group member information at a central group controller. We also implement a working, deployable scenario for the common “Big Brother” TV game show application, which uses anonymous voting on a large scale.
Uploads
Papers by Justin Templemore-finlayson