Abstract
This paper presents an overview of the semantics of MOSCA, a combination of VDM-SL, a synchronization language based on the CCS primitives and constructions to capture time-dependent behaviour. The paper suggests a practical application of semantic theories in combining two different semantic approaches in the area of specification languages: denotational semantics and structured operational semantics. The paper highlights in particular the interpretation of looseness of the VDM-SL semantics in the operational semantics of MOSCA. It is assumed that the reader is aquainted with both VDM-SL and CCS.
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
J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Formal Aspects of Computing, 3: 142–188, 1991.
D. Bjorner and C.B. Jones. Formal Specification & Software Development. PHI. Prentice Hall, 1982.
L. Chen, S. Anderson, and F. Moller. A Timed Calculus of Communicating Systems. Technical Report LFCS-90–127, University of Edinburgh, 1990.
M. Daniels. Modelling Real-Time Behaviour wih an Interval Time Calculus. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of LNCS, pages 53–72. Springer Verlag, 1992.
J. Dawes. The VDM-SL Reference Guide. Pitman, 1991.
H. Hansson and B. Jonsson. A Calculus for Communicating Systems with Time and Probabilities. In Larsen K.G. and A. Skou, editors, 2nd Nordic Workshop on Program Correctness. The University of Aalborg, October 1990.
M. Hennessy. Acceptance Trees. Journal of the ACM, 32 (4): 896–928, October 1985.
M. Hennessy. Value-passing in process algebras (abstract). In J.C.M. Baeten and J.W. Klop, editors, CONCUR’90: Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 31–32, Amsterdam, The Netherlands., August 1990. Springer Verlag.
M. Hennessy. A Proof System for Communicating Processes with Value-Passing. Formal Aspects of Computing, Springer Verlag, 3 (4): 346–366, 1991.
U. Holmer, K. Larsen, and Y Wang. Deciding Properties for Regular Real-Time Timed Processes. Technical report, Draft Article, University of Göteborg (S ), Chalmers (S) and Aalborg (DK ), April 1991.
ISO SC22/WG19. VDM Specification Language — Proto-Standard, 1991. Draft dated 9th March.
C.B. Jones. Systematic Software Development Using VDM, 2-nd edition. PHI. Prentice Hall, 1990.
R. Milner. Calculi for Synchrony and Asynchrony. TCS, 25: 267–310, 1983.
R. Milner. Communication and Concurrency. PHI. Prentice Hall, 1989.
F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. In J.C.M. Baeten and J.W. Klop, editors, CONCUR’90: Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 401–415, Amsterdam, The Netherlands., August 1990. Springer Verlag.
A. Ottens and W.J. Toetenel. Simulation of Mosca Specifications in Ada. In J. van Katwijk, editor, Proceedings of the Ada-Europe’92 conference, LNCS. Springer Verlag, 1992.
W.J. Toetenel. Model-Oriented Specification of Communicating Agents. In J. van Leeuwen, editor, Computing Science in the Netherlands, proceedings, part II. SION, 1991.
W.J. Toetenel. Model Oriented Specification of Communicating Agents. PhD thesis, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1992.
W.J. Toetenel. VDM + CCS + TIME = MOSCA. In Proceedings of the 18th workshop of IFIP/IFAC WRTP’92. Brugge, 1992.
Y. Wang. An Interleaving Model for Real Time Systems. In K.G. Larsen and A. Skou, editors, 2nd Nordic Workshop on Program Correctness. The University of Aalborg, October 1990.
Y. Wang. Real-Time Behaviour of Asynchronous Agents. In J.C.M. Baeten and J.W. Klop, editors, CONCUR’90 Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 502–520. Springer Verlag, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Toetenel, H. (1994). Loose Real-Time Communicating Agents. In: Andrews, D.J., Groote, J.F., Middelburg, C.A. (eds) Semantics of Specification Languages (SoSL). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3229-5_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3229-5_8
Publisher Name: Springer, London
Print ISBN: 978-3-540-19854-3
Online ISBN: 978-1-4471-3229-5
eBook Packages: Springer Book Archive