Advertisement

A graphic notation for formal specifications of dynamic systems

  • Gianna Reggio
  • Mauro Larosa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1313)

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.

Keywords

Deductive System Label Transition System Passive Component Computing Unit Concurrent System 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Universitá di Genova, Italy, 1996.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    P. Coad and E. Yourdon. Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1991.Google Scholar
  7. 7.
    P. Coad and E. Yourdon. Object-Oriented Design. Prentice-Hall, Englewood Cliffs, N.J., 1991.Google Scholar
  8. 8.
    G. Costa and G. Reggio. Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173(2):513–554, 1997.Google Scholar
  9. 9.
    D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.CrossRefGoogle Scholar
  10. 10.
    ITU. Z.100 ITU Specification and Description Language (SDL). Technical report, ITU, Geneva, 1993.Google Scholar
  11. 11.
    R. Milner. A Calculus of Communicating Systems. Number 92 in L.N.C.S. Springer Verlag, Berlin, 1980.Google Scholar
  12. 12.
    F. Parodi and G. Reggio. METAL: a Metalanguage for SMoLCS. Technical Report DISI-TR-94-13, DISI-Universitá di Genova, Italy, 1994.Google Scholar
  13. 13.
    M. Petre. Why Looking Isn't Always Seeing: Readership Skills and Graphical Programming. Communications of the ACM, 38(6), 1995.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    G. Reggio. A Graphic Specification of a High-Voltage Substation. Technical Report DISI-TR-96-22, DISI-Universitá di Genova, Italy, 1996.Google Scholar
  16. 16.
    G. Reggio. A Graphic Specification of a Hydroelectric Power Station. Technical Report DISI-TR-96-21, DISI-Universitá di Genova, Italy, 1996.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    M. Wirsing. Algebraic Specifications.In J. van Leeuwen, editor, Handbook of Theoret. Cornput. Sci., volume B, pages 675–788. Elsevier, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Gianna Reggio
    • 1
  • Mauro Larosa
    • 1
  1. 1.Dipartimento di Informatica e Scienze dell'InformazioneUniversità di Genova, ItalyGenovaItaly

Personalised recommendations