Abstract
A formal model called CoAuto (Cooperative Automaton) is proposed to describe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separates data from control states and thus, can describe various cooperation scenarios (e.g. synchronous and asynchronous) by composition in a uniform yet flexible way. The composition can be done at two different levels (i.e. data sharing and action/control sharing) and thus, more complex cooperative process can be depicted. The paper details the structural elements of CoAuto and shows how to model cooperative processes in real world and analyze some basic properties (e.g. safety and liveness).
This work is co-supported by the National Natural Science Foundation of China under Grant No.60073011, the National High Technology Research and Development 863 Program under Grant No.2001AA113150 and 985 Project of Tsinghua University.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arbab, F.: The IWIM Model for Coordination of Concurrent Activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 34–56. Springer, Heidelberg (1996)
Bonsangue, M.M., Arbab, F.: A Transition System Semantics for the Control-Driven Coordination Language Manifold. Report SEN-R9829, CWI, Amsterdam, The Netherlands (1998)
Cheung, S.C., Giannakopoulou, D., Kramer, J.: Verification of Liveness Properties Using Compositional Reachability Analysis. ACM SIGSOFT Software Engineering Notes 6, 227–243 (1997)
Crowley, T., Milazzo, P., et al.: MMConf: an Infrastructure for Building Shared Multimedia Applications. In: Proc. of ACM Conf. on CSCW, pp. 329–342 (1990)
Ellis, C.A.: A Framework and Mathematical Model for Collaboration Technology. In: Conen, W. (ed.) ASIAN-WS 1996. LNCS, vol. 1364, pp. 121–144. Springer, Heidelberg (1998)
Ellis, C.A., Gibbs, S.J.: Concurrency Control in Groupware Systems. In: Proc. of ACM Conf. on Management of Data, pp. 399–407 (1989)
Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automaton. CWI Quarterly 3, 219–246 (1989)
Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Report SENR9834, CWI, Amsterdam, The Netherlands (1998)
Roseman, M., Greenberg, S.,, G.: A Groupware Toolkit for Building Real-time Conferencing Applications. In: Proc. of ACM Conf. on CSCW, pp. 43–50 (1992)
Sistla, A.P.: On Characterization of Safety and Liveness Properties in Temporal Logic. In: Proc. of ACM symposium on Principles of Distributed Computing, pp. 39–48 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jiang, J., Shi, M. (2004). CoAuto: A Formal Model for Cooperative Processes. In: Li, M., Sun, XH., Deng, Q., Ni, J. (eds) Grid and Cooperative Computing. GCC 2003. Lecture Notes in Computer Science, vol 3033. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24680-0_105
Download citation
DOI: https://doi.org/10.1007/978-3-540-24680-0_105
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21993-4
Online ISBN: 978-3-540-24680-0
eBook Packages: Springer Book Archive