Abstract
It is shown how to derive, following the principles of the SMoLCS methodology, a family of calculi, suitable for the specification of concurrent systems and languages. A calculus consists basically of a language for expressing behaviours and their parallel composition together with the rewriting rules defining their semantics; formally it is a calculus associated to an algebraic parameterized specification: for every choice of the parameters we fix one calculus in the family. The distinguishing feature of our calculi is that the combinators for behaviours include functional abstraction and application, so that behaviours can be passed as arguments and obtained as results of functions; in general behaviours can be seen just as a data type and in this sense our calculi can be higher order calculi with behaviours as first class objects.
Work partly funded by CNR Italy and MPI 40%.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
E. Astesiano, A.Giovini, F.Mazzanti, G.Reggio, E.Zucca, The Ada challenge for new formal semantic techniques, in Proc. of the 1986 Ada International Conference, Edinburgh, Cambridge University Press, UK, 1986.
E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS n. 185, 1985.
E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET — Distribute Systems on Local Network, vol 2, pp. 255–267, ETS Pisa,1985.
E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, Formal specification of a concurrent architecture in a real project, Proc. of ACM-ICS'85, North Holland, 1985.
E.Astesiano, G.Reggio, A syntax-directed approach to the semantics of concurrent languages, in Proc. 10th IFIP World Congress (H.J. Kugler ed.), North Holland,p. 571–576, 1986.
E.Astesiano,G. Reggio, Comparing direct and continuation styles for concurrent languages, to appear in Proc. STACS 87', LNCS, 1987.
E.Astesiano, G.Reggio, The SMoLCS approach to the formal semantics of programming languages — A tutorial introduction — to appear in Proc. of CRAI Spring International Conference: Innovative software factories and Ada, 1986.
E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics, in Proc. of MFCS'86, LNCS n. 233, 1986.
E.Astesiano, G.Reggio, M.Wirsing, On the algebraic specification of function spaces, in preparation.
E.Astesiano, G.Reggio, M.Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, in preparation.
D.Bjørner, C.B.Jones, The Vienna development method: The Meta-Language, LNCS n.61, 1978.
M.Broy, M.Wirsing, On the algebraic specification of finitary infinite communicating sequential processes, in Proc. IFIP TC2 Working Conference on "Formal Description of Programming Concepts II", (D. Bjørner ed.), North Holland, 1983.
M.Broy, M.Wirsing, Partial abstract types, Acta Informatica 18, 1982.
M.Broy, M.Wirsing, Algebraic definition of a functional programming language and its semantic models, R.A.I.R.O. vol. 17,1983.
E.Astesiano, C.Bendix Nielsen, N.Botta, A.Fantechi, A.Giovini, P.Inverardi, E. Karlsen, F.Mazzanti, J. Storbank Pedersen, G.Reggio, E.Zucca, Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815 Ada, 1986.
H.Hussmann, Rapid prototyping for Algebraic Specifications RAP system user's manual, MIP 8502, Universitat Passau, 1985.
R.Milner, A calculus of communicating systems, LNCS n. 92, 1980.
R.Milner, Calculi for synchrony and asynchrony, TCS 25, 267–310, 1983.
F. Morando, An interpreter for concurrent systems SMoLCS specifications, Thesis (in italian) University of Genova, Italy, 1986.
G.Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981.
D.T. Sannella, M. Wirsing, A kernel language for algebraic specifications and implementation, in Proc. Int. Conf. on Foundations of Computation Theory, Borgholm, Sweden, LNCS n.158, 1983.
M.Wirsing, Structured algebraic specifications: a kernel language, TCS Vol.42 n. 2, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Reggio, G. (1987). SMoLCS-driven concurrent calculi. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. CAAP 1987. Lecture Notes in Computer Science, vol 249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17660-8_55
Download citation
DOI: https://doi.org/10.1007/3-540-17660-8_55
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17660-2
Online ISBN: 978-3-540-47746-4
eBook Packages: Springer Book Archive