Nautilus, a Concurrent Diagrammatic Specification and Programming Language

Authors:
Claudio Naoto Fuzitaki;Paulo Blauth Menezes;Júlio Pereira Machado;Fernando D'Andrea
Affiliations:
Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil
Venue:
The Journal of Supercomputing
Year:
2006

Citing 4
Cited 0

Category theory for computing science

Category theory for computing science
Petri nets are moniods

Information and Computation
Models for concurrency

Handbook of logic in computer science (vol. 4)
Refinement Mapping for General (Discrete Event) Systems Theory

EUROCAST '95 Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Nautilus is a high-level specification and programming language having abstraction mechanisms not commonly found in other programming languages inspired by its semantic domain (a categorial model named Nonsequential Automata). It constitutes an elegant solution for concurrency and non-determinism as well as for synchronization of concurrent systems. The role as specification language highlights the diagrammatic syntax (it was originally text based).The diagrammatic syntax for Nautilus allows complete programs to be written using symbols and graphical diagrams. The graphical notation was elaborated in order to be able to express all the structures in the language, yet trying to improve the visualization of written programs. A brief comparison with UML is included. To support Nautilus as a programming language, a mapping to Java is constructed, setting the basis for an execution environment of Nautilus specifications.