SAFECOMP ’93 pp 361-370 | Cite as

CIP — Communicating Interacting Processes A Formal Method for the Development of Reactive Systems

  • Hugo Fierz
  • Hansruedi Müller
  • Spiros Netos
Conference paper

Abstract

CIP is a formal method for the development of distributed reactive systems. The compositional, real world oriented approach guides the developer from an initial environment modelling step towards the complete definition of the reactive behaviour of a system. The description technique of the method combines graphical and textual notations.

Keywords

Encapsulation Spiros 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Backus J. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programms. Comm. ACM 1978; 21, 8: 613–641MathSciNetMATHCrossRefGoogle Scholar
  2. [2]
    Berry G, Moisan S, Rigault J.P. ESTEREL: Towards a Synchronous and Semantically Sound High Level Language for Real Time Applications. Proc. IEEE Real-Time Systems Symposium 1983, pp 30–37Google Scholar
  3. [3]
    Bolognesi T, Brinksma E. Introduction to the ISO Specification Language LOTOS. In: van Eijk P.H.J, Vissers L.A, Diaz M (eds) The Formal Description Technique LOTOS. Elsevier Science Publishers B.V, North Holland, 1989, pp 23–73Google Scholar
  4. [4]
    Cameron J.R. The modelling phase of JSD. In: Cameron J.R (ed) JSP and JSD: The Jackson Approach to Software Development. IEEE Computer Society Press, 1989, pp 282–292Google Scholar
  5. [5]
    Caspi P, Pilaud D, Halbwachs N, Plaice J.A. LUSTRE: A declarative language for programming synchronous systems. In: Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Munich 1987, pp 178–188Google Scholar
  6. [6]
    Dembinski P, Budkowski S. The Specification Language Estelle. In: Diaz M et al. (eds) The Formal Description Technique Estelle. Elsevier Science Publishers B.V, North Holland, 1989, pp 35–76Google Scholar
  7. [7]
    Fierz H. SCSM, a Synchronous Calculus on Sequential Machines. Submitted to Science of Computer Programming 1993.Google Scholar
  8. [8]
    Fierz H. The Synchronous System Description language IPL. To be published.Google Scholar
  9. [9]
    Fierz H. The Formal Semantics of the CIP Specification Language. To be published.Google Scholar
  10. [10]
    Harel D, Pnueli A. On the Development of Reactive Systems. In: Apt K.R (ed) Logics and Models of Concurrent Systems. Springer New York, 1985, pp 477–499CrossRefGoogle Scholar
  11. [11]
    Harel D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 1987; 8: 231–274.MathSciNetMATHCrossRefGoogle Scholar
  12. [12]
    Jones C.B. Systematic Software Development using VDM. Prentice-Hall International, Englewood Cliffs N. J, 1986MATHGoogle Scholar
  13. [13]
    Peterson J.L. Petri net theory and the modelling of systems. Prentice-Hall Prentice-Hall International, Englewood Cliffs N. J, 1981MATHGoogle Scholar
  14. [14]
    Zave P. The Operational Approach versus the Conventional Approach to Software Development Comm. ACM 1984; 27, 2: 104–118CrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Hugo Fierz
    • 1
  • Hansruedi Müller
    • 1
  • Spiros Netos
    • 1
  1. 1.Institut für Technische Informatik und KommunikationsnetzeETH-ZentrumZürichSwitzerland

Personalised recommendations