JTN is a formal graphic notation for Java-targeted design specifications, that 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 graphic specifications for the system design that 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 in the development process an intermediate step that transforms the above abstract specifications into JTN specifications, for which the transformation into a Java program is almost automatic and can be guaranteed correct. In this paper we present JTN on a simple toy example.
CITATION STYLE
Coscia, E., & Reggio, G. (1999). JTN: A java-targeted graphic formal notation for reactive and concurrent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1577, pp. 77–97). Springer Verlag. https://doi.org/10.1007/978-3-540-49020-3_6
Mendeley helps you to discover research relevant for your work.