Abstract
Given an already fully developed formal specification method for reactive systems, we also develop an alternative graphic notation for its specifications to improve writing and understanding of such specifications and, hopefully, the acceptance of the method by industrial users.
This work has been partially supported by the project 40%: “Progetto di una workstation multimediale ad architettura parallela”
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
E. Astesiano, F. Morando, and G. Reggio. The SMoLCS Toolset. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proc. of TAPSOFT '95, number 915 in L.N.C.S., pages 810–811. Springer Verlag, Berlin, 1995.
E. Astesiano and G. Reggio. Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI-TR-94-20, DISI-Universith di Genova, Italy, 1994. Presented at ICSE'17-Workshop on Formal Methods, Seattle April 1995.
E. Astesiano and G. Reggio. A Dynamic Specification of the RPC-Memory Problem. In M. Broy, S. Merz, and K. Spies, editors, Formal System Specification: The RPC-Memory Specification Case Study, number 1169 in L.N.C.S., pages 67–108. Springer Verlag, Berlin, 1996.
E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Universitá di Genova, Italy, 1996.
E. Astesiano and G. Reggio. Formalism and Method. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT '97, number 1214 in L.N.C.S., pages 93–114, Berlin, 1997. Springer Verlag.
P. Coad and E. Yourdon. Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1991.
P. Coad and E. Yourdon. Object-Oriented Design. Prentice-Hall, Englewood Cliffs, N.J., 1991.
G. Costa and G. Reggio. Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173(2):513–554, 1997.
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.
ITU. Z.100 ITU Specification and Description Language (SDL). Technical report, ITU, Geneva, 1993.
R. Milner. A Calculus of Communicating Systems. Number 92 in L.N.C.S. Springer Verlag, Berlin, 1980.
F. Parodi and G. Reggio. METAL: a Metalanguage for SMoLCS. Technical Report DISI-TR-94-13, DISI-Universitá di Genova, Italy, 1994.
M. Petre. Why Looking Isn't Always Seeing: Readership Skills and Graphical Programming. Communications of the ACM, 38(6), 1995.
F. Polak, M. Whiston, and K. Minder: The SAZ Project: Integrating SSADM and Z. In J.C.P. Woodcock and P.G. Larsen, editors, Proc. FME'93: IndustrialStrength Formal Methods, number 670 in L.N.C.S. Springer Verlag, Berlin, 1993.
G. Reggio. A Graphic Specification of a High-Voltage Substation. Technical Report DISI-TR-96-22, DISI-Universitá di Genova, Italy, 1996.
G. Reggio. A Graphic Specification of a Hydroelectric Power Station. Technical Report DISI-TR-96-21, DISI-Universitá di Genova, Italy, 1996.
G. Reggio and M. Larosa. A Graphic Notation for Formal Specifications of Dynamic Systems. Technical Report DISI-TR-97-3, DISI-Università di Genova, Italy, 1997. Full Version.
M. Wirsing. Algebraic Specifications.In J. van Leeuwen, editor, Handbook of Theoret. Cornput. Sci., volume B, pages 675–788. Elsevier, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reggio, G., Larosa, M. (1997). A graphic notation for formal specifications of dynamic systems. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds) FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. FME 1997. Lecture Notes in Computer Science, vol 1313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63533-5_3
Download citation
DOI: https://doi.org/10.1007/3-540-63533-5_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63533-8
Online ISBN: 978-3-540-69593-6
eBook Packages: Springer Book Archive