Abstract
An outline is presented of the SMoLCS methodology for the specification of concurrent systems and languages. Its main novelties lie in a high level of modularity and parameterization and in the fact that, within the same homogeneous framework, functions, data types and concurrency can be handled together. Indeed a concurrent system is algebraically specified as an abstract data type obtained by instantiating a parameterized schema (a parameterized abstract data type) for defining and composing process specifications. The semantics of a language is given by a two-steps approach, which keeps an overall denotational flavour, but can be seen just as another algebraic specification. A metalanguage schema is naturally associated with the methodology, consisting of an algebraic and of an applicative kernel. Relying on the overall algebraic structure, tools have been developed for rapid prototyping of specifications of concurrent systems and languages.
Work partly supported by MPI 40% and CNR-Italy (Progetto strategico "Software: ricerche di base e applicazioni").
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
LNCS x stands for Lecture Notes in Computer Science n. x, Springer Verlag.
E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca, The Ada challenge for new formal semantic techniques, in Ada: managing the transition, 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 185, 1985.
E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET-Distributed 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, in A broad prospective of current developments, Proc. of ACM-ICS'85, North Holland, 1985.
E.Astesiano, G.Reggio, A syntax-directed approach to the semantics of concurrent languages. Proc.'86 IFIP World Congress, (H.J.Kugler ed.), North Holland, 1986.
E.Astesiano,G. Reggio, Comparing direct and continuation styles for concurrent languages, in Proc. STACS 87' LNCS 247, 1987.
E.Astesiano, G.Reggio, SMoLCS driven concurrent calculi, in Proc. TAP SOFT'87, LNCS 249, 1987.
E.Astesiano, G.Reggio, Direct semantics of concurrent languages in the SMoLCS approach, to appear in IBM Journal of Research and Development, 1987.
E.Astesiano, G.Reggio, The SMoLCS approach to the formal semantics of programming languages — A tutorial introduction-, to appear in Proc. CRAI Spring International Conference: Innovative software factories and Ada, LNCS, 1986.
E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics. in Proc. MFCS'86 (Bratislava), LNCS 233, 1986.
E.Astesiano, G.Reggio, M.Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, final version in preparation, 1986.
E.Astesiano, G.Reggio, M.Wirsing, On the algebraic specification of function spaces, in preparation.
E.Astesiano, M.Wirsing, An introduction to ASL, to appear in Proc. of IFIP TC2 Working Conference on Program Specification and Transformation (Bad Tolz, FRG, April 1986) North Holland.
D.Bjørner, C.B.Jones, The Vienna Development Method:The Meta-Language, LNCS 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", Garmish, 1982.
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, RAIRO Informatique Theorique 17,2, 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 1815A Ada, 1986.
R.De Nicola, M. Hennessy, Testing equivalence for processes, Theoret. Comput. Sci., Vol 34, North Holland, 1984.
H.Hussmann, Rapid prototyping for Algebraic specifications RAP system user's manual, MIP 8504, Universitat Passau, 1985.
R.Milner, A calculus of communicating systems, LNCS 92, 1980.
R.Milner, Calculi for synchrony and asynchrony, Theoret. Comput. Sci., Vol 25, 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.
J.E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory, The MIT Press, London, 1977.
D.T. Sannella, M. Wirsing, A kernel language for algebraic specification and implementation, In Proc. Int. Conf. on Foundations of Computation Theory, Borgholm, Sweden, LNCS 158, 1983.
M.Wirsing, Structured algebraic specifications: a kernel language, Habilitation thesis, Technische University Munchen, 1983.
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). An outline of the SMoLCS approach. In: Zilli, M.V. (eds) Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, vol 280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18419-8_11
Download citation
DOI: https://doi.org/10.1007/3-540-18419-8_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18419-5
Online ISBN: 978-3-540-47960-4
eBook Packages: Springer Book Archive