Gianna Reggio
DISI
University of Genova
via Dodecaneso, 35 16146 Genova - ITALY
Fax: ++39 010 3536699
reggio@disi.unige.it
http://www.disi.unige.it/person/ReggioG/
Abstract
We will present JTN: a formal visual notation for Java-targeted design specifications, which are specifications of systems that will be implemented using Java.
JTN is aimed to be a part of a more articulated project for the production of a development method for reactive/concurrent/distributed systems. The starting point of this project is an existing general method that however does not cover the coding phase of the development process. Such approach provides formal visual specifications for the system design, but they are too abstract to be transformed into Java code in just one step, or at least, the transformation is really hard and complex. We introduce an intermediate step that transforms the above abstract specifications into JTN specifications, for which the transformation into a Java program is quite easy; thus such transformation can be automatized and guaranteed correct.
JTN is an object-oriented notation and shares other features with UML, however for what concerns other aspects it is quite different from UML, then the talk will be concluded by an analysis of the relationships between JTN and UML.
Joint work with Eva Coscia
Last Updated: June 6, 2000 by Elisabetta Ferrando