Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Design, Specification, and Verification of Interactive Systems

DSV-IS 2000: Interactive Systems Design, Specification, and Verification pp 1–17Cite as

Specifying Temporal Behaviour in Software Architectures for Groupware Systems

  • Conference paper
  • First Online:

  • 361 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1946))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. E. Anderson, T. C. N. Graham, and T. N. Wright. Dragonfly: Linking conceptual and implementation architectures of multiuser interactive systems. In Proc. ICSE 2000, 2000.

    Google Scholar 

  2. R. M. Baecker, editor. Readings in Groupware and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration. Morgan Kaufmann Publishers, 1993.

    Google Scholar 

  3. G. Banavar, K. Miller, and M. Ward. Adaptive views: Adapting to changing network conditions in optimistic groupware. In Proc. Euro-PDS’ 98, 1998.

    Google Scholar 

  4. S. Bhola, B. Mukherjee, S. Doddapaneni, and M. Ahamad. Flexible batching and consistency mechanisms for building interactive groupware applications. In 18th International Conference on Distributed Computing Systems (ICDCS), 1998.

    Google Scholar 

  5. G. Calvary, J. Coutaz, and L. Nigay. From single-user architectural design to PAC*: A generic software architecture model for CSCW. In Proc. CHI’ 97, pages 242–249. ACM Press, 1997.

    Google Scholar 

  6. Chabert, E. Grossman, L. Jackson, S. Pietrowicz, and C. Seguin. Java object sharing in Habanero. CACM, 41(6):69–76, June 1998.

    Google Scholar 

  7. G. V. Cormack. A calculus for concurrent update. Research report CS-95-06, University of Waterloo, 1995. Available from ftp://cs-archive.uwaterloo.ca.

  8. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Design. Addison-Wesley, second edition, 1994.

    Google Scholar 

  9. P. Dewan and R. Choudhary. A high-level and flexible framework for implementing multiuser user interfaces. ACM TOIS, 10(4):345–380, October 1992.

    Article  Google Scholar 

  10. P. Dourish. Consistency guarantees: Exploiting application semantics for consistency management in a collaboration toolkit. In Proc. ACM CSCW’ 96. ACM Press, 1996.

    Google Scholar 

  11. C. A. Ellis and S. J. Gibbs. Concurrency control in groupware systems. In Proc. SIGMOD’ 89, pages 399–407. ACM Press, 1989.

    Google Scholar 

  12. U. Gall and F. J. Hauck. Promondia: A Java-based framework for real-time group communication on the Web. In Proceedings of the 6th World Wide Web Conference, Santa Clara, CA. April 7–11. Published as Computers, Networks and ISDN 29(8/13). Elsevier Science Publishers B. V. (North-Holland), 1997.

    Google Scholar 

  13. T. C. N. Graham and T. Urnes. Relational views as a model for automatic distributed implementation of multi-user applications. In Proc. ACM CSCW’ 92, pages 59–66. ACM Press, 1992.

    Google Scholar 

  14. T. C. N. Graham and T. Urnes. Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces. In Proc. ICSE 19, pages 172–182. ACM Press, 1997.

    Google Scholar 

  15. T. C. N. Graham, T. Urnes, and R. Nejabi. Efficient distributed implementation of semi-replicated synchronous groupware. In Proc. ACM UIST’ 96, pages 1–10. ACM Press, 1996.

    Google Scholar 

  16. S. Greenberg and D. Marwood. Real time groupware as a distributed system: Concurrency control and its effect on the interface. In Proc. ACM CSCW’ 94, pages 207–217. ACM Press, 1994.

    Google Scholar 

  17. R. D. Hill, T. Brinck, S. L. Rohall, J. F. Patterson, and W. Wilner. The Rendezvous language and architecture for constructing multi-user applications. ACM TOCHI, 1(2):81–125, June 1994.

    Article  Google Scholar 

  18. Karsenty and M. Beaudouin-Lafon. An algorithm for distributed groupware applications. In Proc. 13th International Conference on Distributed Computing Systems (ICDCS), pages 195–202, 1993.

    Google Scholar 

  19. T. Kindberg, G. Coulouris, J. Dollimore, and J. Heikkinen. Sharing objects over the Internet: The Mushroom approach. In Proceedings of IEEE Global Internet’ 96 (Mini-conference at GLOBECOM’ 96, London, England, Nov. 20–21). IEEE ComSoc, 1996.

    Google Scholar 

  20. G. E. Krasner and S. T. Pope. A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. JOOP, 1(3):26–49, August/September 1988.

    Google Scholar 

  21. J. C. Lauwers and K. A. Lantz. Collaboration awareness in support of collaboration transparency: Requirements for the next generation of shared window systems. In Proc. CHI’ 90, (also in [2]), pages 303–311. ACM Press, 1990.

    Google Scholar 

  22. J. P. Munson and P. Dewan. A concurrency control framework for collaborative systems. In Proc. ACM CSCW’ 96, pages 278–287. ACM Press, 1996.

    Google Scholar 

  23. R. E. Newman-Wolfe, M. L. Webb, and M. Montes. Implicit locking in the Ensemble concurrent object-oriented graphics editor. In J. Turner and R. Kraut, editors, Proc. ACM CSCW’ 92, pages 265–272. ACM Press, 1992.

    Google Scholar 

  24. W. G. Phillips. Architectures for synchronous groupware. Technical Report 1999-425, Department of Computing and Information Science, Queen’s University, May 1999.

    Google Scholar 

  25. M. Roseman and S. Greenberg. Building real time groupware with GroupKit, a groupware toolkit. ACM TOCHI, 3(1):66–106, March 1996.

    Article  Google Scholar 

  26. J. Roth and C. Unger. Dreamteam — a platform for synchronous collaborative applications. In Th. Herrmann and K. Just-Hahn, editors, Groupware und organisatorische Innovation (D-CSCW’98), pages 153–165. B. G. Teubner Stuttgart, Leipzig, 1998.

    Google Scholar 

  27. Schuckmann, L. Kirchner, J. Schummer, and J. M. Haake. Designing object-oriented synchronous groupware with COAST. In Proc. ACM CSCW’ 96. ACM Press, 1996.

    Google Scholar 

  28. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.

    Google Scholar 

  29. T. Urnes and T. C. N. Graham. Flexibly mapping synchronous groupware architectures to distributed implementations. In Proc. DSVIS’99, pages 133–148, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Canterbury, Private Bag 4800, Christchurch, New Zealand

    Timothy N. Wright

  2. Queen’s University, K7L 3N6, Kingston, Ontario, Canada

    T. C. Nicholas Graham

  3. Telenor Research and Development, P.O. Box 83, N-2007, Kjeller, Norway

    Tore Urnes

Authors
  1. Timothy N. Wright
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. C. Nicholas Graham
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tore Urnes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIHS University Toulouse 1, Place Anatole France, 31042, Toulouse Cedex, France

    Philippe Palanque

  2. Istituto CNUCE, Consiglio Nazionale delle Ricerche, Via V. Alfieri 1, 56010, Ghezzano-Pisa, Italia

    Fabio Paternò

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wright, T.N., Nicholas Graham, T.C., Urnes, T. (2001). Specifying Temporal Behaviour in Software Architectures for Groupware Systems. In: Palanque, P., Paternò, F. (eds) Interactive Systems Design, Specification, and Verification. DSV-IS 2000. Lecture Notes in Computer Science, vol 1946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44675-3_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-44675-3_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41663-0

  • Online ISBN: 978-3-540-44675-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation