Animating formal specifications using Java applets

Author

Lakos, Charles ; Lewis, Glenn

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Tasmania Univ., Hobart, Tas., Australia

fYear

1997

fDate

24-28 Nov 1997

Firstpage

196

Lastpage

209

Abstract

The paper proposes the generation of Java applets from specifications given in an extended Petri Net formalism. The anticipated advantages of this approach are to gain a greater confidence in the correctness of the final product, and to harness the capabilities of Java in a consistent framework. The emphasis of the paper is on the generation of the Java code from the Petri net specification, on the assessment of both Java and C++ as suitable targets for this translation, and on the suitability of this extended form of Petri net as a host for various extensions to Java

Keywords

C language; Petri nets; formal specification; object-oriented languages; object-oriented programming; parallel programming; visual programming; C++; Java applets; Java code; Java extensions; Petri net specification; consistent framework; correctness; extended Petri Net formalism; formal specification animation; Animation; Australia; Computer networks; Computer science; Explosives; Formal specifications; Graphical user interfaces; Java; Petri nets; Prototypes;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings

Conference_Location

Melbourne, Vic.

Print_ISBN

0-8186-8485-2

Type

conf

DOI

10.1109/TOOLS.1997.681871

Filename

681871