Abstract
We propose a simulation solution of a case study in coordination using Manifold. The case study regards “peer reviewing and evaluation of submissions to scientific conferences.” The solution simulates the flow of activities to for such a case study. The architecture of the application can be used to implement a real application
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
F. Arbab. “Coordination of massively concurrent activities.” Technical Report CS-R9565, Centrum voor Wiskundeen Informatica, Amsterdam, 1995. Available on-line at http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.
F. Arbab. The IWIM model for coordination of concurrent activities. In C. Hankin, editors. Coordination Languages and Models, Proceedings of the 1st international conference COORDINATION’96, LNCS, 1061, Berlin Springer-Verlag, 1996 [Coo96], pages 34–56.
F. Arbab. Manifold version 2: Language reference manual. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1996. Available on-line at http://www.cwi.nl/ftp/manifold/refman.ps.Z.
F. Arbab. “The influence of coordination on program structure” Prooceedings of the 30th Hawaii International Conference on System sciences, 1997.
F. Arbab, J. de Bakker, M. Bonsangue, J. Rutten, A. Scutelláa, G. Zavattaro. A transition system semantics for the control-driven language MANIFOLD. To appear in theoretical Computer Science, 1999.
F. Arbab, P. Ciancarini, and C. Hankin. “Coordination languages for parallel programming.” Parallel Computing, special issue on Coordination, 1998.
P. Bouvry and F. Arbab. “Visifold: A visual environment for a coordination language.” In C. Hankin, editors. Coordination Languages and Models, Proceedings of the 1st international conference COORDINATION’96, LNCS, 1061, Berlin Springer-Verlag, 1996 [Coo96], pp.: 403–406.
N. Carriero and D. Gelernter. “Coordination Languages and their significance.” Communications of the ACM, 35(2):97–107, 1992.
N. Carriero, D. Gelernter and L. Zuck. “Bauhaus Linda”. In: Object-based Models and Languages for Concurrent Systems, LNCS 924, Springer-verlag, Berlin, pp.: 66–76.
P. Ciancarini and C. Hankin, editors. Coordination Languages and Models, Proceedings of the 1st international conference COORDINATION’96, LNCS, 1061, Berlin Springer-Verlag, 1996.
D. Garlan and D. Le Métayer, editors. Coordination Languages and Models, Proceedings of the 2nd international conference COORDINATION’97 LNCS, 1252, Berlin, Springer-Verlag, 1997.
P. Ciancarini, O. Niestratz, and R. Tolksdorf. A case study in coordination: Conference Management trough the Internet. Electronic note.
A. Fagot, A. Scutellá. A preliminary study of state reachability of MANIFOLD applications (extended abstract). Available on line at: http://www.cwi.nl/adriano/maniprom.ps or at: http://www.cwi.nl/ fagot/maniprom.ps.
G. Holzmann. Design and Validation of Computer Protocols Prentice Hall, Englewood Cliffs, New Jersey, USA, pp.: VII–500, 1991.
T.W. Malone and K. Crowston. “The Interdisciplinary Study of Coordination.” ACM Computing Surveys, Vol. 26, No.1, March 1994, pp.: 87–119.
G. Mathews and B. Jacobs. Electronic Management of the Peer Review Process. Computer Networks and ISDN Systems, 28(7-11):1523, November 1996.
O. Niestrastz. Identify the champion. Available on-line at http://www.iam.unibe.ch/oscar/PDF/champion.fm.ps, 1997.
G. Papadopoulos and F. Arbab. “Control-based coordination of human and other activities in cooperative information systems.” In D. Le Métayer, editors. Coordination Languages and Models, Proceedings of the 2nd international conference COORDINATION’97 LNCS, 1252, Berlin, Springer-Verlag, 1997 [Coo97], pages 422–425.
G. A. Papadopoulos and F. Arbab. “Modelling Activities in Information Systems Using the Coordination Language MANIFOLD” Thirteenth ACM Symposium on Applied Computing (SAC’98), Atlanta, Georgia, USA, 1998, ACM Press (to appear).
V. Sassone. Management of electronic submission, refereeing, and PC meeting. (Manual of a WWW system), Nov. 1996.
Japanese Manufacturing Techniques. Free Press. New York, 1982.
World Class Manufacturing. Free Press, New York, 1986
A. Scutellá. Simulation of a conference Management System using MANIFOLD. In preparation.
R. Tolksdorf. Conference reviewing. Available on-line at: http://grunge.cs.tu-berlin.de/tolk/reviewing.html, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Scutellá, A. (1999). Simulation of Conference Management using an Event-Driven Coordination Language. In: Ciancarini, P., Wolf, A.L. (eds) Coordinatio Languages and Models. COORDINATION 1999. Lecture Notes in Computer Science, vol 1594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48919-3_18
Download citation
DOI: https://doi.org/10.1007/3-540-48919-3_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65836-8
Online ISBN: 978-3-540-48919-1
eBook Packages: Springer Book Archive