Specification languages for distributed systems

  • Pierpaolo Degano
  • Ugo Montanari
Advanced Seminar On The Role Of Semantics In Software Development Concepts Of Semantics With A View To Software Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 185)


Requirements of specification languages for distributed systems are considered, and a two level approach based on a kernel metalanguage and many application-oriented extensions is advocated. The method is applied to some models developed by the authors, organized in a tree-like refinement structure.


Inference Rule Logic Programming Specification Language Label Transition System Horn Clause 
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.


  1. /BCG83/.
    Balzer, R., Cheatham, T.E. and Green, C., Software Technology in the 1990's: Using a New Paradigm, Computer 16, 11 (1983), 39–45.Google Scholar
  2. /BFH84/.
    Boehm, P., Fonio, H., and Habel, A. Amalgamation of Graph Transformations with Applications to Synchronization, to appear in Proc. CAPP'85, Berlin, March 25–29, 1985, Springer-Verlag, Berlin.Google Scholar
  3. /BHR84/.
    Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W. A Theory of Communicating Sequential Processes, J. ACM 31, 3 (1984), 560–599.CrossRefGoogle Scholar
  4. /BuLa84/.
    Burstall,R., and Lampson,B. A Kernel Language for Abstract Data Types and Modules, Proc. Symp. on Semantics of Data Types (G. Kahn, D.B. MacQueen, and G. Plotkin Eds), Sophia Antipolis (France), June 1984, LNCS, 173, Berlin, 1984, pp. 1–50.Google Scholar
  5. /Bram83/.
    Brams, G.W. Réseaux de Petri: Théorie et Pratique, Vol. I and II, Masson, Paris, 1983.Google Scholar
  6. /CaMo83/.
    Castellani, I., and Montanari, U. Graph Grammars for Distributed Systems, Proc. 2nd Int. Workshop on Graph-Grammars and their Applications to Computer Science (H. Erigh, M.A. Nagel, and G. Rozenberg Eds), LNCS, 153, Springer-Verlag, Berlin 1983, pp. 20–83.Google Scholar
  7. /CDM84/.
    Corradini,A., Degano,P., and Montanari,U. Specifying Highly Concurrent Data Structure Manipulation, to appear in Proc. ACM Int. Symp. on Computing, Firenze, March 1985, North-Holland.Google Scholar
  8. /CFM82/.
    Castellani, I., Franceschi, P., and Montanari, U. Labeled Event Structures: A Model for Observable Concurrency, Proc. IFIP TC 2 — Working Conference: Formal Description of Programming Concepts II (D. Bjørner Ed), Garmisch — Partenkirchen. 1982. North-Holland. Amsterdam, 1983, pp. 383–400.Google Scholar
  9. /Corr84/.
    Corradini, A. Aspetti Modellistici ed Implementativi di GDS, un Formalismo per la Specifica di Sistemi Distribuiti, Master Thesis, Computer Science Dept., Univ. of Pisa, Pisa, April 1984.Google Scholar
  10. /DDM84/.
    Degano,P., De Nicola,R., and Montanari,U. Partial Ordering Derivations for CCS, submitted for publication.Google Scholar
  11. /DeDi83/.
    Degano,P., and Diomedi,S. A First Order Semantics of a Connective Suitable to Express Concurrency, Proc. 2nd Logic Programming Workshop (L.M. Pereira Ed.), Albufeira (Portugal), 1983, pp. 506–517.Google Scholar
  12. /DeMo83/.
    Degano, P., and Montanari, U. A Model for Distributed Systems Based on Graph Rewriting, Note Cnet 111, Computer Science Dept., Univ. of Pisa, Pisa, 1983.Google Scholar
  13. /DeMo84a/.
    Degano,P., and Montanari,U. Liveness Properties as Convergence in Metric Spaces, Proc. 16th Annual ACM SIGACT Symposium on Theory of Computing, April 30 — May 2, 1984, Washington, DC, pp. 31–38.Google Scholar
  14. /DeMo84b/.
    Degano, P., and Montanari, U. Distributed Systems, Partial Orderings of Events, and Event Structures, Lecture Notes of the 1984 International Summer School on Control Flow and Data Flow — Concepts of Distributed Programming (M. Broy Ed.), LNCS, Springer-Verlag, Berlin, 1984.Google Scholar
  15. /Ehri83/.
    Ehrig, H. Aspects of Concurrency in Graph Grammars, Proc. 2nd Int. Workshop on Graph-Grammars and their Applications to Computer Science (H. Ehrig, M.A. Nagel, and G. Rozemberg Eds), LNCS, 153, Springer-Verlag, Berlin, 1983.Google Scholar
  16. /FLP84/.
    Falaschi, M., Levi, G., and Palamidessi, C. A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses, Info. and Co. 60 (1984), 36–69.CrossRefGoogle Scholar
  17. /GRAS84/.
    ESPRIT Pilot Project 125 — GRASPIN, Foundation Study for a Personal Software Development Workstation Prototype, Pilot Phase Project Report, October 1984.Google Scholar
  18. /JaVa80/.
    Jantzen, M., and Valk, R. Formal Properties of Place/Transition Nets, In: Net Theory and Applications (W. Brauer Ed.), LNCS, 84, Springer-Verlag, Berlin 1979, pp. 165–212.Google Scholar
  19. /LTS79/.
    Lauer, P.E., Torrigiani, P., Shields, M.W. COSY: A Specification Language based on Path Expressions, Acta Informatica, 12 (1979), 109–158.CrossRefGoogle Scholar
  20. /Miln80/.
    Milner, R. A Calculus of Communicating Systems, LNCS, 92, Springer-Verlag, Berlin 1980.Google Scholar
  21. /Miln83/.
    Milner, R. Calculi for Synchrony and Asynchrony, TCS 25 (1983), 267–310.CrossRefGoogle Scholar
  22. /Mont84/.
    Monteiro, L. A Proposal for Distributed Programming in Logic, In: Implementations of PROLOG (J.A. Campbell Ed.), Ellis Horwood, Chichester, 1984, pp. 329–340.Google Scholar
  23. /Plot83/.
    Plotkin, G.D. An Operational Semantics for CSP, Proc. IFIP TC 2-Working Conference: Formal Description of Programming Concepts II (D. Biørner Ed.), Garmisch-Partenkirchen, June 1982, North-Holland, Amsterdam 1983, pp. 199–223.Google Scholar
  24. /Robi79/.
    Robinson,J.A. Logic: Form and Function, Edinburgh University Press, 1979.Google Scholar
  25. /Roev84/.
    de Roever, W.-P. The Quest for Compositionality — A Survey of Assertion-Based Proof Systems for Concurrent Programs, to appear in Proc. IFIP Working Conference on the Role of Abstract Models in Information Processing, Vienna, January 30–February 1, 1985.Google Scholar
  26. /Spec79/.
    Abstract Software Specifications, 1979 Copenhagen Winter School Proc. (D. Bjørner Ed.), LNCS, 86, Springer-Verlag, Berlin, 1980.Google Scholar
  27. /Spec83/.
    STL/SERC Workshop on Analysis of Concurrent Systems, September 12–16, 1983, Cambridge (U.K.).Google Scholar
  28. /Spec84/.
    Combining Specification Methods, Proc. 1984 Workshop on Formal Software Development, May 20–26, 1984, Nyborg (DK).Google Scholar
  29. /Wins82/.
    Winskel, G. Event Structure Semantics for CCS and Related Languages, Proc. 9th ICALP (M. Nielsen and E.M. Schmidt Eds), LNCS, 140, Springer-Verlag, Berlin 1982, pp. 561–576.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Pierpaolo Degano
    • 1
  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversity of PisaPisaItaly

Personalised recommendations