Skip to main content
SpringerLink
Log in

An object-oriented logic language for modular system specification

  • Conference paper
  • First Online:
ECOOP'91 European Conference on Object-Oriented Programming (ECOOP 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 512))

Included in the following conference series:

Abstract

We define TRIO+, an Object Oriented logic language for modular system specification. TRIO+ is based on TRIO, a first order modal language that is well suited to the specification of embedded and real-time systems, and provides an effective support to a variety of validation activities, like specification testing, simulation, and property proof. Unfortunately, TRIO lacks the possibility to construct specifications of complex systems in a systematic and modular way. TRIO+ combines the use of constructs for hierarchical system decomposition, and object oriented concepts like inheritance and genericity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user's needs.

This work was partially supported by CNR-Progetto Finalizzato Sistemi Informativi e Calcolo Parallelo and by ENEL-CRA.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Ben-Ari, A. Pnueli, and Z. Manna, “The Temporal Logic of Branching Time”, Acta Informatica 20, 1983.

    Google Scholar 

  2. B. Cohen, W.T. Harwood, M.I. Jackson, “The Specification of Complex Systems”, Addison Wesley Publ. Comp., Reading MA, 1986.

    Google Scholar 

  3. F. DeRemer, H. Kron, “Programmaing-in-the-Large Versus Programming-in-the-Small”, IEEE Transactions on Software Engineering, SE-2, (June 1976):80–86.

    MathSciNet  Google Scholar 

  4. Tom De Marco, “Structured analysis and system design”, Yourdon Press, New York, NY, 1978.

    Google Scholar 

  5. H.B. Enderton, “A mathematical introduction to logic”, Academic Press, London, 1972.

    MATH  Google Scholar 

  6. M.Felder, A.Morzenti, “Real-Time System Validation by Model-Checking in TRIO”, 1991 Euromicro Workshop on Real-Time, Paris, 1991.

    Google Scholar 

  7. C. Ghezzi, D. Mandrioli, and A. Morzenti, “TRIO, a logic language for executable specifications of real-time systems”, The Journal of Systems and Software, Vol. 12, No. 2, May 1990.

    Google Scholar 

  8. A. Morzenti, P. San Pietro, “TRIO+ an Object Oriented Logic Specification Language”, ENEL-CRA Research Report, January 1990 (in Italian).

    Google Scholar 

  9. A. Morzenti, P. San Pietro, “An Object-Oriented Logic Language for Modular System Specification”, Int. Report no. 90.027, Politecnico di Milano, Dipartimento di Elettronica, 1990.

    Google Scholar 

  10. A. Mili, N. Boudriga, F. Mili, “Towards structured specifying: theory, practice, applications”, Ellis Horwood Ltd., Chichester, England, 1989.

    Google Scholar 

  11. B. Meyer, Genericity versus Inheritance, OOPSLA, Portland, Oregon, 1986

    Google Scholar 

  12. B. Meyer, “Object-oriented Software Construction”, Prentice-Hall, 1988

    Google Scholar 

  13. A. Morzenti, D. Mandrioli, C. Ghezzi, “A Model Parametric Real-Time Logic”, Int. Report no. 90.010, Politecnico di Milano, Dipartimento di Elettronica, 1990.

    Google Scholar 

  14. Angelo Morzenti, The specification of real-time systems: proposal of a logical formalism, PhD Thesis, Dipartimento di Elettronica, Politecnico di Milano, 1989.

    Google Scholar 

  15. A. Morzenti, E. Ratto, M. Roncato, L. Zoccolante, “TRIO, a Logic Formalism for the Specification of Real-Time Systems”, IEEE Euromicro Wirkshop on Real-Time, Como, Italy, 1989.

    Google Scholar 

  16. N. Rescher and A. Urquhart, “Temporal Logic”, Springer Verlag, Vienna-New York, 1971

    MATH  Google Scholar 

  17. Raymond M. Smullian, “First order Logic”, Springer Verlag, 1968.

    Google Scholar 

  18. Paul T. Ward, The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing, IEEE TSE, Vol. SE-12, no. 2, Feb. 1986.

    Google Scholar 

  19. P. Wegner, Object-oriented concept hierarchies, Brown University, Technical Report, 1988

    Google Scholar 

  20. N. Wirth, Towards a Discipline in Real-Time Programming, Comm. ACM 20-8, 577–583, Aug. 1977

    Article  Google Scholar 

  21. P. Wolper, “Temporal logic can be more expressive”, Information and Control 56, 1983.

    Google Scholar 

  22. E. Yourdon e L. L. Constantine, Structured design, Prentice Hall, Englewood Cliffs, NJ, 1979.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica, Politecnico di Milano, Piazza Leonardo da Vinci 32, Milano, Italy

    Angelo Morzenti & Pierluigi San Pietro

Authors
  1. Angelo Morzenti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierluigi San Pietro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierre America

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Morzenti, A., San Pietro, P. (1991). An object-oriented logic language for modular system specification. In: America, P. (eds) ECOOP'91 European Conference on Object-Oriented Programming. ECOOP 1991. Lecture Notes in Computer Science, vol 512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057014

Download citation

  • DOI: https://doi.org/10.1007/BFb0057014

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54262-9

  • Online ISBN: 978-3-540-47537-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation