Nautilus, a concurrent diagrammatic specification and programming language

被引：0

作者：

Naoto Fuzitaki, Claudio ^{[1
]}

Blauth Menezes, Paulo ^{[1
]}

Pereira Machado, Julio ^{[1
]}

D'Andrea, Fernando ^{[1
]}

机构：

[1] Univ Fed Rio Grande Sul, Inst Informat, Porto Alegre, RS, Brazil

来源：

JOURNAL OF SUPERCOMPUTING | 2006年 / 36卷 / 01期

关键词：

object language; concurrent systems; Nautilus; graphical notation; nonsequential automata;

D O I：

10.1007/s11227-006-3068-3

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：51 / 81

页数：31

共 20 条

[1]

Barr M., 1990, Category theory for computing science

[2]

CARNEIRO C, 1999, CSREA, V4, P1919

[3]

D'Andrea F., 2002, Proceedings of the 14th IASTED International Conference Parallel and Distributed Computing and Systems, P386

[4]

Dubois DM, 2000, AIP CONF PROC, V517, P3, DOI 10.1063/1.1291243

[5]

FOWLER M, 1997, UML DISTILLED

[6]

Fuzitaki CN, 2003, LECT NOTES COMPUT SC, V2809, P243

[7]

FUZITAKI CN, 2004, CSREA, V3, P1336

[8]

Menezes P.B., 1998, ELECT NOTES THEORETI, V14

[9]

Menezes PB, 2002, AIP CONF PROC, V627, P553, DOI 10.1063/1.1503731

[10]

MENEZES PB, 1995, J BRAZILIAN COMPUTER, V2, P50

← 1 2 →