Advertisement

SMoLCS-driven concurrent calculi

  • Egidio Astesiano
  • Gianna Reggio
Session AS4
Part of the Lecture Notes in Computer Science book series (LNCS, volume 249)

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.

Keywords

Transition System Transition Relation Operational Semantic 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.

References

  1. [AGMRZ]
    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.Google Scholar
  2. [AMRW]
    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.Google Scholar
  3. [AMRZ]
    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.Google Scholar
  4. [AMRZ1]
    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.Google Scholar
  5. [AR1]
    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.Google Scholar
  6. [AR2]
    E.Astesiano,G. Reggio, Comparing direct and continuation styles for concurrent languages, to appear in Proc. STACS 87', LNCS, 1987.Google Scholar
  7. [AR3]
    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.Google Scholar
  8. [ARW1]
    E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics, in Proc. of MFCS'86, LNCS n. 233, 1986.Google Scholar
  9. [ARW2]
    E.Astesiano, G.Reggio, M.Wirsing, On the algebraic specification of function spaces, in preparation.Google Scholar
  10. [ARW3]
    E.Astesiano, G.Reggio, M.Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, in preparation.Google Scholar
  11. [BJ]
    D.Bjørner, C.B.Jones, The Vienna development method: The Meta-Language, LNCS n.61, 1978.Google Scholar
  12. [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", (D. Bjørner ed.), North Holland, 1983.Google Scholar
  13. [BW2]
    M.Broy, M.Wirsing, Partial abstract types, Acta Informatica 18, 1982.Google Scholar
  14. [BW3]
    M.Broy, M.Wirsing, Algebraic definition of a functional programming language and its semantic models, R.A.I.R.O. vol. 17,1983.Google Scholar
  15. [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 1815 Ada, 1986.Google Scholar
  16. [H]
    H.Hussmann, Rapid prototyping for Algebraic Specifications RAP system user's manual, MIP 8502, Universitat Passau, 1985.Google Scholar
  17. [M1]
    R.Milner, A calculus of communicating systems, LNCS n. 92, 1980.Google Scholar
  18. [M2]
    R.Milner, Calculi for synchrony and asynchrony, TCS 25, 267–310, 1983.Google Scholar
  19. [Mo]
    F. Morando, An interpreter for concurrent systems SMoLCS specifications, Thesis (in italian) University of Genova, Italy, 1986.Google Scholar
  20. [P]
    G.Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981.Google Scholar
  21. [SW]
    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.Google Scholar
  22. [W]
    M.Wirsing, Structured algebraic specifications: a kernel language, TCS Vol.42 n. 2, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.Department of MathematicsUniversity of GenovaGenovaItaly

Personalised recommendations