Abstract
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.
Partially funded by the MURST project: Sistemi formali per la specifica, l’analisi, la verifica, la sintesi e la trasformazione di sistemi software.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Astesiano, E., Reggio, G.: Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI–TR–94–20, DISI – Università di Genova, Italy, 1994. Presented at ICSE’17-Workshop on Formal Methods, Seattle (April 1995)
Astesiano, E., Reggio, G.: A Dynamic Specification of the RPC-Memory Problem. In: Spies, K., Merz, S., Broy, M. (eds.) Dagstuhl Seminar 1994. LNCS, vol. 1169. Springer, Heidelberg (1996)
Coscia, E., Reggio, G.: JTN: the Reference Manual. Technical report, DISI –Università di Genova, Italy (1999)
Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison Wesley, Reading (1996)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987)
Harper, R., MacQueen, D., Milner, R.: Standard ML. Technical Report ECSLFCS-86-2, LFCS-University of Edinburgh (1986)
ITU. Z.100 ITU Specification and Description Language (SDL). Technical report, ITU, Geneva (1993)
ITU. Z.120: Message Sequence Chart (MSC). Technical report, ITU, Geneva (1993)
RATIONAL. UML Notation Guide Version 1.1, Available at http://www.rational.com/uml/html/notation/ (1997)
Reggio, G.: A Method to Capture Formal Requirements: the INVOICE Case Study. In: Int. Workshop Comparing Specification Techniques, Universite de Nantes (1998)
Reggio, G., Larosa, M.: A Graphic Notation for Formal Specifications of Dynamic Systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coscia, E., Reggio, G. (1999). JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. In: Finance, JP. (eds) Fundamental Approaches to Software Engineering. FASE 1999. Lecture Notes in Computer Science, vol 1577. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49020-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-49020-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65718-7
Online ISBN: 978-3-540-49020-3
eBook Packages: Springer Book Archive