Abstract
The notion of “time” plays an important role when coordinating large, heterogeneous, distributed software systems. We present a generic coordination architecture that supports relative and absolute, discrete time. First, we briefly sketch the ToolBus coordination architecture. Next, we give a major example of its use: a distributed auction. Finally, we present the theory underlying our notion of discrete time.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J. C. M. Baeten and J.A. Bergstra. Discrete time process algebra (extended abstract). In Proceedings of CONCUR'92, LNCS 630. Springer Verlag, 1992.
J.C.M. Baeten and J.A. Bergstra. Real space process algebra. Formals Aspects of Computing, 5(6):481–529, 1993.
J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 1996. To appear.
J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information & Control, 60:82–95, 1984.
J.A. Bergstra and P. Klint. The ToolBus—a component interconnection architecture. Technical Report P9408, Programming Research Group, University of Amsterdam, 1994.
J.A. Bergstra and P. Klint. The Discrete Time ToolBus. Technical Report P9502, Programming Research Group, University of Amsterdam, 1995.
J.A. Bergstra and P. Klint. The ToolBus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models (COORDINATION'96),volume 1061 of Lecture Notes in Computer Science, pages 75–88. Springer-Verlag, 1996.
E. Brinksma, editor. Information processing systems-open systems interconnection-LOTOS-a formal description technique based on the temporal ordering of observational behaviour. 1987. ISO/TC97/SC21.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
J.F. Groote and A. Ponse. The syntax and semantics of μCRL. Technical Report CS-R9076, CWI, 1990.
J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF — reference manual. SIGPLAN Notices, 24(11):43–75, 1989.
P. Klint. A guide to ToolBus programming. Technical report, Programming Research Group, University of Amsterdam, 1996. to appear.
S. Mauw and G.J. Veltink. A process specification formalism. Fundamenta Informaticae, pages 85–139, 1990.
S. Mauw and G.J. Veltink, editors. Algebraic specification of communication protocols, volume 36 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1993.
P. Olivier. Embedded system simulation — testdriving the ToolBus. Technical Report P9601, Programming Research Group, University of Amsterdam, 1996.
P. Olivier. A simulator framework for embedded systems. In Coordination Languages and Models (COORDINATION'96), volume 1061 of Lecture Notes in Computer Science, pages 436–439, 1996.
A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping, An Algebraic Approach, volume 5 of AMAST Series in Computing. World Scientific Publishing Co., 1996. To appear.
D.M. Yellin. Interfaces, protocols and the semi-automatic construction of software adaptors. Technical Report RC19460, IBM T.J. Watson Research Center, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergstra, J.A., Klint, P. (1996). The discrete time toolbus. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014323
Download citation
DOI: https://doi.org/10.1007/BFb0014323
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive