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.
CITATION STYLE
Wright, T. N., Graham, T. C. N., & Urnes, T. (2001). Specifying temporal behaviour in software architectures for groupware systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1946, pp. 1–17). Springer Verlag. https://doi.org/10.1007/3-540-44675-3_1
Mendeley helps you to discover research relevant for your work.