Skip to main content

Diagrams and programming languages for programmable controllers

  • Conference paper
  • First Online:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1313))

Included in the following conference series:


In many domain specific languages diagrammatic notation is used because it conforms to notations used by domain specialists before the deployment of programmable components. The aim is to lessen the possibility of error by changing as little as possible. However the switch to programmable components often means a radical change in the details of the implementation. Such changes can mean that the domain experts' interpretation of the notation diverges significantly from the actual implementation.

We explore this problem, taking programmable controllers as a specific example. The IEC 1131-3 international standard has a diagrammatic notation and a textual language for the description of “function blocks” which are the basic components of controller programs. We take an idealised version of the textual language and its diagrammatic counterpart and show that the diagrams capture equivalence of textual programs under a collection of equational laws.

This result establishes that diagrams relieve the programmer of the need to consider non-significant variants of programs and the match between program texts, their corresponding diagrams and their intended interpretation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others


  1. G. Egger, A. Fett, P. Pepper. Formal Specification of a Safe PLC Language and Its Compiler. Proceedings of the SafeComp'94 13th International Conference on Computer Safety, Reliability and Security. ISA, 1994.

    Google Scholar 

  2. W. Halang, S. Jung, B. Krämer, J. Scheepstra. A Safety Licensable Computing Architecture, World Scientific, 1993

    Google Scholar 

  3. IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages., 1993.

    Google Scholar 

  4. R. Milner. Flowgraphs and Flow Algebras. Journal of the ACM, Vol. 26, No. 4, October 1979, pp. 794–818.

    Google Scholar 

  5. R. Milner. Communication and Concurrency. Prentice Hall International, 1989.

    Google Scholar 

  6. E. Parr. Programmable Controllers, An Engineer's Guide. Newnes, 1993

    Google Scholar 

  7. F. Swainston. A Systems Approach to Programmable Controllers. Newnes, 1991

    Google Scholar 

  8. K. Tourlas. Semantic Analysis and Design of Languages for PLCs. M.Sc. Project Report, Dept. of Computer Science, The University of Edinburgh, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

John Fitzgerald Cliff B. Jones Peter Lucas

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anderson, S., Tourlas, K. (1997). Diagrams and programming languages for programmable controllers. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds) FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. FME 1997. Lecture Notes in Computer Science, vol 1313. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63533-8

  • Online ISBN: 978-3-540-69593-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics