Title :
Animating formal specifications using Java applets
Author :
Lakos, Charles ; Lewis, Glenn
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Tasmania Univ., Hobart, Tas., Australia
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;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-8485-2
DOI :
10.1109/TOOLS.1997.681871
