Zonnon

Zonnon is a programming language along the Oberon, Modula, and Pascal language line.[1] Jürg Gutknecht is the author of the programming language.[2]

Zonnon
Paradigmimperative, structured, modular, object-oriented
Designed byJürg Gutknecht
First appeared2013
Typing disciplinestrong, hybrid (static and dynamic)
Influenced by
Oberon, Pascal

Zonnon is a general purpose programming language in the Pascal, Modula-2 and Oberon family. Its conceptual model is based on objects, definitions, implementations and modules. Its computing model is concurrent, based on active objects which interact via syntax controlled dialogs. The language is being developed at ETH Zürich Institute for Computer Systems by Prof. Jürg Gutknecht. Zonnon introduces the concept of 'active objects' which are used to represent real world concurrent objects within computer programs. The Zonnon Language Report was written by Brian Kirk (director at Robinsons Associates), and David Lightfoot (Oxford Brookes University) working with Prof. Jürg Gutknecht (ETH, Zürich) and Dr. Eugene Zueff (Евгений Зуев) (Moscow State University).

The first book about Zonnon was published by the N. I. Lobachevsky State University of Nizhny Novgorod (a.k.a. the Nizhni Novgorod State University).[3]

Overview

Zonnon is a member of the Pascal family of languages, which has two beneficial consequences: a) it is a general purpose language and b) it is immediately familiar to Pascal, Modula-2 and Oberon programmers. Most Pascal programs from the domain of algorithms and data structures are successfully compiled by the Zonnon compiler after just a few minor modifications. However, from the perspective of “programming-in-the-large”, Zonnon is much more elaborate compared to its predecessors. There are four different kinds of program units in Zonnon: objects, modules, definitions and implementations. The first two are instantiated at runtime, the third is a compile time unit of abstraction, and the fourth is a unit of composition. Here is a brief characterization:

  • Object is a self-contained run-time program component. It can be instantiated dynamically under program control in arbitrary multiplicity.
  • Module can be considered as a singleton object whose creation is controlled by the system. In addition, a module may act as a container of logically connected abstract data types, operators, and structural units of the runtime environment. In combination with the import relation, the module construct is a powerful system structuring tool.
  • Definition is an abstract view on an object (or on a module) from a certain perspective. It is a facet of the object or, in other words, an abstract presentation of one or more of its services.
  • Implementation typically provides a possibly partial default implementation of the corresponding definition. It is a unit of reuse and composition that is aggregated into the state space of an object (or module), either at compile time or at runtime.

Compositional model

Zonnon uses a compositional inheritance model based on aggregation. Typically, an object (or module) is composed of a number of functional components, each of them presenting itself to clients in the form of an abstract definition. The set of definitions plus the object’s intrinsic interface (that is the set of all public elements of the object) constitutes the interface between the object and its clients.

Concurrency model

Zonnon allows adding behavior to objects (and modules). For this purpose, the notion of active object was imported from the Active Oberon language and generalized towards a unified model of hierarchic activities. Activities are encapsulated threads that come in two flavors: local activities and agent activities.

Local activities

Local activities express intrinsic object dynamics. A typical context is a block of statements representing the “launch logic” for a set of mutually independent activities, with the assumption that the end of the block acts as a barrier that cannot be passed before all activities have terminated.

Agent activities

Agent activities control the interoperability of objects in terms of formal dialogs. Each agent activity within a “callee” object serves as a template of a formal dialog between some caller and the callee. Agent activities typically implement a parser for some predefined syntax that constitutes a kind of contract between the two communication partners. Formal dialogs are a generalization of asynchronous method calls. This is reflected in the form of a syntax that is borrowed from ordinary method calls.

Notes
  1. Gutnecht and Zueff, p. 132.
  2. "Principles." (Archived 2013-05-29 at WebCite) Zonnon Official Website. Retrieved on 29 May 2013.
  3. "Book about Zonnon Language (in Russian)." (Archived 2013-05-31 at WebCite) N. I. Lobachevsky State University of Nizhny Novgorod. Retrieved on May 30, 2013.
gollark: It's weird how the people defining these groups always put themselves in the cool™ one.
gollark: Oh, as in a place where you rent a computer or something? Okay, sure, that's wildly insecure and why would you ever trust that.
gollark: You also can't do that, because the designers of TLS are not entirely idiots and certificate verification exists.
gollark: What? I'm pretty sure you can't just arbitrarily read input on other people's computers, unless they have really insecure wireless keyboards.
gollark: Yes, NSFW scanning is an extremely difficult unsolved problem.

References
  • Gutnecht, Jürg and Eugene Zueff (Computer Systems Institute, ETH Zürich, Switzerland). "Zonnon for .NET - A Language and Compiler Experiment." (Archive, Springer link) in: Böszörményi, László and Peter Schojer (editors). Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25–27, 2003, Proceedings. Springer, September 29, 2003. ISBN 3540407960, 9783540407966.

Further reading
Independent sources
Sources from author and/or contributors
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.