Sciweavers

Share
DSVIS
2000
Springer

Specifying Temporal Behaviour in Software Architectures for Groupware Systems

10 years 5 months ago
Specifying Temporal Behaviour in Software Architectures for Groupware Systems
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency control in groupware systems, the paper shows how a specification of temporal properties of the semi-replicated groupware architecture can be refined to three different implementations, each with different performance tradeoffs. This refinement approach helps in understanding the temporal properties of groupware applications, and increases confidence in the correctness of their implementation.
Timothy N. Wright, T. C. Nicholas Graham, Tore Urn
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where DSVIS
Authors Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes
Comments (0)
books