loading...
Animating Formal Specifications Using Java Applets
Melbourne, Austrailia November 24-November 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681871Technology of Object-Oriented Languag ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Charles Lakos, Glenn Lewis, "Animating Formal Specifications Using Java Applets," Technology of Object-Oriented Languages, International Conference on, pp. 196, Technology of Object-Oriented Languages and Systems - Tools-25, 1997.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1997.681871,
author = {Charles Lakos and Glenn Lewis},
title = {Animating Formal Specifications Using Java Applets},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1997},
isbn = {0-8186-8485-2},
pages = {196},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681871},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Animating Formal Specifications Using Java Applets
SN - 0-8186-8485-2
SP
EP
A1 - Charles Lakos,
A1 - Glenn Lewis,
PY - 1997
KW - formal specifications
KW - animation
KW - Object Petri Nets
KW - Java applets
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
Charles Lakos, University of Tasmania
Glenn Lewis, University of Tasmania
This 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 this 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 Nets as a host for various extensions to Java.
Index Terms:
formal specifications, animation, Object Petri Nets, Java applets
Citation:
Charles Lakos, Glenn Lewis, "Animating Formal Specifications Using Java Applets," tools, pp.196, Technology of Object-Oriented Languages and Systems - Tools-25, 1997
Usage of this product signifies your acceptance of the Terms of Use.