I am looking for a formal definition of so-called "flowcharts" used as representation of programs or business processes.

Is there some good one around ?


  • 3
    $\begingroup$ I think this might be off topic. Maybe if you phrased the question more carefully it could be on topic? I don't know much about flowcharts, but as far as I understand UML is pretty well formalized. You might want to start by taking a look there. $\endgroup$ Apr 28, 2011 at 18:31
  • 2
    $\begingroup$ JCLL, please read the FAQ if you have not. This doesn't seem to be a research-level question. (IIRC, there is a definition in the first chapter of Odifreddi's Classical Recursion Theory, vol I.) $\endgroup$
    – Kaveh
    Apr 28, 2011 at 18:39
  • 4
    $\begingroup$ Perhaps you should reframe the question in terms of your research. I don't think you'll find anything more enlightening than the wikipedia definition of flowcharts (Of course you get data flow diagrams and control flow diagrams, but this too is easily found on wikipedia). $\endgroup$ Apr 28, 2011 at 19:57
  • 3
    $\begingroup$ I'm pretty sure semantics of flowcharts exist already, probably since the 70s (google "semantics flowcharts"). The semantics of business process notions such as BPMN have recently been defined (google "semantics bpmn"). Perhaps if you are after something between automata and flowcharts, you might want to look at Petri Nets. $\endgroup$ Apr 28, 2011 at 21:23
  • 1
    $\begingroup$ ISO standard for flowcharts: iso.org/iso/iso_catalogue/catalogue_ics/… $\endgroup$
    – Jeffε
    Apr 29, 2011 at 0:09

1 Answer 1


If the need is business processes, have a look at this : link and link else you can go with the normal one here.

  • 1
    $\begingroup$ Probably useful to flesh out the description of the links, as they are often subject to pretty severe bitrot. $\endgroup$
    – cody
    Jun 28, 2022 at 21:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.