An outline of the SMoLCS approach

  • Egidio Astesiano
  • Gianna Reggio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 280)


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.


Transition System Operational Semantic Component Process Label Transition System Concurrent System 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. LNCS.
    LNCS x stands for Lecture Notes in Computer Science n. x, Springer Verlag.Google Scholar
  2. AGMRZ.
    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.Google Scholar
  3. AMRW.
    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.Google Scholar
  4. AMRZ1.
    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.Google Scholar
  5. AMRZ2.
    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.Google Scholar
  6. AR1.
    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.Google Scholar
  7. AR2.
    E.Astesiano,G. Reggio, Comparing direct and continuation styles for concurrent languages, in Proc. STACS 87' LNCS 247, 1987.Google Scholar
  8. AR3.
    E.Astesiano, G.Reggio, SMoLCS driven concurrent calculi, in Proc. TAP SOFT'87, LNCS 249, 1987.Google Scholar
  9. AR4.
    E.Astesiano, G.Reggio, Direct semantics of concurrent languages in the SMoLCS approach, to appear in IBM Journal of Research and Development, 1987.Google Scholar
  10. AR5.
    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.Google Scholar
  11. ARW1.
    E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics. in Proc. MFCS'86 (Bratislava), LNCS 233, 1986.Google Scholar
  12. ARW2.
    E.Astesiano, G.Reggio, M.Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, final version in preparation, 1986.Google Scholar
  13. ARW3.
    E.Astesiano, G.Reggio, M.Wirsing, On the algebraic specification of function spaces, in preparation.Google Scholar
  14. AW.
    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.Google Scholar
  15. BJ.
    D.Bjørner, C.B.Jones, The Vienna Development Method:The Meta-Language, LNCS 61, 1978.Google Scholar
  16. BW1.
    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.Google Scholar
  17. BW2.
    M.Broy, M.Wirsing, Partial abstract types, Acta Informatica 18, 1982.Google Scholar
  18. BW3.
    M.Broy, M.Wirsing, Algebraic definition of a functional programming language and its semantic models, RAIRO Informatique Theorique 17,2, 1983.Google Scholar
  19. CRAI-DDC.
    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.Google Scholar
  20. DH.
    R.De Nicola, M. Hennessy, Testing equivalence for processes, Theoret. Comput. Sci., Vol 34, North Holland, 1984.Google Scholar
  21. H.
    H.Hussmann, Rapid prototyping for Algebraic specifications RAP system user's manual, MIP 8504, Universitat Passau, 1985.Google Scholar
  22. M1.
    R.Milner, A calculus of communicating systems, LNCS 92, 1980.Google Scholar
  23. M2.
    R.Milner, Calculi for synchrony and asynchrony, Theoret. Comput. Sci., Vol 25, 1983.Google Scholar
  24. Mo.
    F. Morando, An interpreter for concurrent systems SMoLCS specifications, Thesis (in italian) University of Genova, Italy, 1986.Google Scholar
  25. P.
    G.Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981.Google Scholar
  26. S.
    J.E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory, The MIT Press, London, 1977.Google Scholar
  27. SW.
    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.Google Scholar
  28. W.
    M.Wirsing, Structured algebraic specifications: a kernel language, Habilitation thesis, Technische University Munchen, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.Dept. of MathematicsUniversity of GenoaItaly

Personalised recommendations