DRAKON


DRAKON is an algorithmic visual programming and modeling language developed within the Buran space project following ergonomic design principles. The language provides a uniform way to represent flowcharts of any complexity that are easy to read and understand.
The DRAKON Editor, which was released in September 2011, is an implementation of the language available in the public domain. It can be used for creating documentation, or for creating visual programs that can be converted to source code in other languages.
Unlike UML's philosophy, DRAKON's language philosophy is based on being augmented if needed, by using a hybrid language, which can be illustrated as "incrustating code snippets from text language used into shape DRAKON requires". This way, DRAKON always remains a simple visual language that can be used as an augmentation for a programmer who is interested in making their own project code easier to support or other long-term needs for example improving the ergonomics of the coding process or to making code easier to review and understand.
The name DRAKON is the Russian acronym for "Дружелюбный Русский Алгоритмический , Который Обеспечивает Наглядность", which translates to "Friendly Russian algorithmic that illustrates ".
The word "наглядность" refers to a concept or idea being easy to imagine and understand, and may be translated as "clarity".
The DRAKON language can be used both as a modelling/"markup" language and as a programming language.
Integration of a stricter, "academic", variant of a markup language into programming, such as provided by DRAKON, adds syntactic sugar allowing users of different programming languages to comprehend each other's contributions to the overall project and even provide commentary if needed.

History

The development of DRAKON started in 1986 and was directed by Vladimir Parondzhanov with the participation of the Russian Federal Space Agency and Russian Academy of Sciences. The language was constructed by formalization, ergonomization and nonclassical structurization of flowcharts described in the ISO 5807-85 standard and Russian standard «Гост 19.701-90» and for the development of real time programs.
The goal was to replace the specialized languages PROL2 , DIPOL and LAKS used in the Buran project with one universal programming language.
The work was finished in 1996, when an automated CASE programming system called "Grafit-Floks" was developed.
This CASE is used since 1996 in many major space programs: an international project Sea Launch, Russian orbit insertion upper stage Fregat, upgraded heavy launch vehicle Proton-M, etc. The exact role DRAKON played in these projects however can not be determined. The actual real-world experience of building systems with DRAKON remains extremely scarce as only a few very short snippets of code are publicly available.
DRAKON rules for creating diagrams are cognitively optimized for easy comprehension, making it a tool for intelligence augmentation.

Family of DRAKON-languages (hybrid languages)

DRAKON is designed with humanistic ideas in mind, as usage of three different languages for the same project was a source of human factor-related hardships such risks of having a mutual misunderstanding.
DRAKON is used not as a single stand-alone language but as a family of hybrid languages, such as DRAKON-C, DRAKON-ASM, DRAKON-Java, etc. All hybrid languages of the DRAKON-family have the uniform graphical syntax, based on flowcharts. The standard graphical syntax provides similarity of drakon-charts for different hybrid languages. The text language used uses its own syntax.
Strict distinction of the graphical and textual syntax along with rich graphics improves flexibility and variety of expressive means of the language. The unification of the rules of the graphical syntax in the hybrid languages secures their conceptual unity.
The basis of the graphical syntax is a graphical alphabet. Graphical elements of the DRAKON alphabet are called icons. There are 27 icons in the DRAKON graphical alphabet.
DRAKON has not only icons, but also macroicons. Macroicons are the graphical words of the DRAKON language. Just as words are made up of letters, macroiсons consist of the icons. There are 21 macroicons in the DRAKON language.
Icons and macroiсons are the building blocks for constructing drakon-charts.
The important parts of maсroiсons are valence points . Into these points, icons or microicons can be successively entered and arranged by drakon-editor in neat, orderly vertical rows.

Design

DRAKON was created as a language with a set of rules that would allow to depict algorithms in fields, not necessarily related to computing, being easy to learn.
DRAKON initially uses drakon-chart, which is initially based on a formalization of a traditional flowchart yet with additional functionality for handling code in text language. This technique allows to produce and keep readable flowchart at hand simultaneously with process of making the program in question.
While DRAKON is designed to be a tool that allows to comprehend purposes of programs in different programming languages, for illustrative, planning and strategy purposes. Drakoncharts can also be made in spoken language with same tools. .
"DRAKON editor" is popular in Russia for being used as a tool for making 'charts without programming language syntax in the medicine field in Russia as a markup language for algorithms of performing actions in certain cases and scenarios. DRAKON allows both create a map-like guide for patients and form instructions for medical personnel.
DRAKON editor takes infographics and flowchart together in a some way: for some purposes DRAKON icons can be augmented a photo inside an icon.

Visual syntax

The full-text article containing description of the visual syntax of the DRAKON language in English, 12 pages, free to download, pdf.

Manual

A full description of the DRAKON language is provided in a Russian book. The book is 520 pages long and free to download.

Examples

Branching

Check-do (while) loop

Do-check (do-while) loop

Examples of programming in DRAKON language

These examples are real code from an implementation of the Tetris game. The examples are in DRAKON-JavaScript language. The icons of the DRAKON language define the overall structure of the algorithms. The code snippets inside the icons are in JavaScript.

advanceStep

The advanceStep function implements the core logic of the game. advanceStep is a state machine represented as a decision tree. The game engine calls advanceStep periodically. This state machine has three states "playing", "dropping", and "finished". The game takes different actions depending on the current state. For example, in the "playing" state, when there is a falling projectile and the projectile can move down, it is moved down one step.
With DRAKON, the reader of the algorithm can visually trace all possible paths in the decision tree.

noProjectile

The noProjectile function handles the specific situation when there is no falling projectile. If there is a filled row, that row is removed from the grid. Otherwise, the game tries to insert a new projectile. If there is no space for the projectile, the game is lost.

clearRow

The clearRow function scans all rows bottom-up until it hits a row with no gaps. In such case the row is removed from the grid, the score is increased, and the game's tempo goes up.

Automata-based programming in DRAKON

A DRAKON chart of the silhouette type is a finite automaton. The branches of a silhouette can be interpreted as the states of the automaton. Therefore, one can implement automata-based programming with the DRAKON language.

DRAKON algorithm execution animation

The picture below illustrated the execution of the silhouette DRAKON algorithm. The algorithm execution is animated by highlighting diagram elements in the running order.
The 'Fishing' silhouette consists of four trees:
The main path of each tree is shown by highlighting thick vertical line which is called a skewer.
Note that each path from the "Fishing" Headline icon to the End icon goes smoothly and continuously without any breaks or interruptions. This animation shows that any human can slide his finger along any route from the Headline icon to the End one without lifting his finger from the paper or screen.
It means that silhouette control flow graph always has a path from the Headline icon to each vertex of the control flow graph. Consequently, a silhouette can't have unreachable code in any conditions.

Examples of DRAKON-programs and equivalent usual program codes

This section is unfinished

DRAKON Editor

DRAKON Editor is software for making DRAKON flowcharts. It is used for two purposes: documenting algorithms and programming. DRAKON Editor is written in Tcl/Tk and runs on Windows, OS X and Linux.
As a documentation tool, DRAKON Editor helps create diagrams that capture algorithmic knowledge. Such knowledge covers both behaviour of computer systems and procedures not directly related to computers, for example medical algorithms and business processes.
DRAKON Editor can generate source code from diagrams. This way, DRAKON Editor can be used as an IDE.

Features

The process of editing in DRAKON Editor is based on free drawing. The user inserts and manipulates primitive shapes such as rectangles, vertical and horizontal lines. The user experience is similar to that of business drawing tools. DRAKON Editor does not prevent the user from violating the rules of DRAKON language. It is possible, however, to perform an automated check of the visual syntax at any time.
DRAKON Editor has an alternative editing algorithm, called "smart mode". When in the smart mode, the user can change the visual appearance of the diagram without breaking its topology. In other words, the smart mode allows to fine-tune the layout of the diagram while keeping the underlying algorithm intact.
DRAKON Editor supports the following programming languages:
For some programming languages, DRAKON Editor generates source code for ERIL data modeling language.
DRAKON Editor can also generate source code for finite state machines represented with the silhouette construct of DRAKON language.
For Erlang, DRAKON Editor generates boilerplate code from a visual representation of a supervision tree.
Thanks to the nature of the free drawing principle, DRAKON Editor can produce other types of diagrams including class diagrams and sequence diagrams.

DRAKON in the German Aerospace Center

DRAKON language is used in the German Aerospace Center for implementation of some critical functions dictated by the safety regulations of the flight tests, where automation is important because of maximum distance to the ground station and the process needs quick automatic execution.
The DRAKON Editor software was using to graphically program flowcharts which were specially checked. C-code was generated from the drakon-charts, for instance, for DRAKON representation of launch detection code.

DRAKON language in medical care

The goal of clinical algorithms is to do the right clinical decisions while standardizing and equalizing performance of practitioners. Besides, it improves the quality of health care and minimizes the risk of errors. DRAKON algorithms are ergonomical ones and help to prevent mistakes and ambiguities. DRAKON algorithmic language uniforms medical algorithms and allows complete clinical tasks successfully.