Abstract
With the development of suitable abstractions for distributed computing and the advent of new QoS based multimedia communication services, engineering of teamwork applications is now able to concentrate mainly on the development of coordination issues rather than on communication issues. Coordination regulates the use of communication services by means of a coordination protocol. Coordination protocols today are informally described and their implementation is buried within teamwork applications; neither reuse nor verification by prospected end users is supported. Both aims can be supported when the design of coordination protocols for groupware is based on abstract formal description techniques known from the specification of communication protocols. This approach is demonstrated with a sample SDL specification of a coordination protocol for an application sharing type of teamwork. A design method for coordination protocols is derived from this example. Core design elements of the method are roles that are mapped to states of a state-based specification. This abstract, user-centred description can be transformed to a distributed Java implementation via an intermediate SDL specification.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. Altenhofen, J. Dittrich, R. Hammerschmidt, T. Käppner, C. Kruschel, A. Kückens, T. Steinig. The BERKOM Multimedia Collaboration Service. Proceedings of ACM Multimedia 93, Anaheim, California, August 1–6,1993, ACM, 1993, pp. 457–463.
H.-P. Dommel and J.J. Garcia-Luna-Aceves. Floor Control for Multimedia Conferencing and Collaboration. To appear in the ACM Journal on Multimedia Systems.
B. Ferenc, D. Hogrefe, A. Sarma. SDL with Applications from Protocol Specification. Prentice Hall, 1991.
D. Flanagan. Java in a Nutshell. O'Reilly & Associates, Inc., 1996.
O. Frick. Multimedia Conferencing Systems as Building Blocks for Complex Cooperative Applications. In M. Mühlhäuser (Ed.) Proceedings of IFIP Workshop Multimedia System Development, Springer LNCS, 1996.
O. Frick, C. Schmidt. Service Support for Multiuser Multimedia Applications. In submission.
H.-W. Gellersen, M. Mühlhäuser. Design of Workplace-integrating User Interfaces based on Work Scenario Graphs. In D. Benyon, P. Palanque (Eds.) Critical Issues in User Interface System Engineering, Springer Verlag London, 1995.
I. Jacobsen. Object-Oriented Software Engineering: A Use Case Driven Approach. ACM Press/Addison-Wesley, Wokingham, England, 1992.
T. Malone, K. Crowston. What is Coordination Theory and How Can It Help Design Cooperative Work Systems? In Proceedings ACM CSCW '90, October 1990.
F. Ruge, A. Zehl (Eds.). The BERKOM Multimedia Teleservices Volume II, Multimedia Collaboration. Internal BERKOM working document. Release 4.0, May 1996.
T. Rüdebusch. CSCW-Generic Support for Teamwork in Distributed Systems. Dissertation, University of Karlsruhe, Germany, DUV, Wiesbaden, 1993. (in German)
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen. Object-Oriented Modelling and Design. Prentice Hall, Engelwood Cliffs, New Jersey, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frick, O. (1996). Formal description and interpretation of coordination protocols for teamwork. In: Spaniol, O., Linnhoff-Popien, C., Meyer, B. (eds) Trends in Distributed Systems CORBA and Beyond. TreDS 1996. Lecture Notes in Computer Science, vol 1161. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61842-2_42
Download citation
DOI: https://doi.org/10.1007/3-540-61842-2_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61842-3
Online ISBN: 978-3-540-70716-5
eBook Packages: Springer Book Archive