SODA

A graphical G-LOTOS editor defined by meta-tool LOGGIE

Backlund, Björn and Bolognesi, Tommaso and Hagsand, Olof and Latella, Diego and Pehrson, Björn (1989) A graphical G-LOTOS editor defined by meta-tool LOGGIE. [SICS Report]

[img]
Preview
PDF
3353Kb

Abstract

We present a prototype implementation of a graphical editor for a subset of G-LOTOS. The graphical G-LOTOS syntax is beeing standardized within ISO for the LOTOS specification language. First, we provide a formal definition of the G-LOTOS subset. Then, the specification the editor is derived from this formal definition. Finally, the editor is generated automatically using the LOGGIE meta-tool.

Item Type:SICS Report
Additional Information:Original report number R89017.
ID Code:2513
Deposited By:Vicki Carleson
Deposited On:29 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page