Skip to main content

Design and evaluation of a visual formalism for real time logics

  • Selected Papers
  • Conference paper
  • First Online:
Services and Visualization Towards User-Friendly Design

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

  • 105 Accesses

Abstract

A visual formalism for the presentation of a real time logic is introduced, motivated, and evaluated. The visual formalism has been designed following a user-centered usability engineering process, targeted to the students of higher education courses in software engineering. On the one hand, heuristic design was applied to maximize consistency, i.e. to minimize the complexity of the visual metaphor mapping textual sentences to the visual representation. On the other hand, individual metaphoric assumptions were defined by prototyping and exposing alternative graphical representations to a representative sample of the target community of expected users.

The resulting notation has been implemented within a syntax-directed interactive editor which integrates the visual presentation with the conventional textual notation. The editor has been used to carry out a competitive user-based evaluation of the usability of textual and visual representations, by carrying out a readability test on a larger sample of representative end-users.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.F.Allen “Maintaining Knowledge about Temporal Intervals,” Communications of the ACM, Vol.26, No.11, 1983.

    Google Scholar 

  2. R.Alur, C.Courcoubetis, D.Dill, “Model-Checking for Real-Time Systems,” Proc. 5th Symp. on Logic in Computer Science, Philadelphia, Jun.1990.

    Google Scholar 

  3. R.Alur and T.A.Henzinger, “Logics and Models of Real Time: A Survey,” Real-Time: Theory in Practice, J.W. de Bakker, K. Huinzing, W.P.de-Roever, G. Rozenberg (Eds), Lecture Notes in Computer Science 600, Springer Verlag, 1992.

    Google Scholar 

  4. R.Alur and T.A.Henzinger, “Real-Time Logics: Complexity and Expressiveness,” Information and Computation, 104(1), 1993.

    Google Scholar 

  5. B.Berthomieu, and M.Diaz, “Modeling and Verification of Time Dependent Systems Using Time Petri Nets,” IEEE Transactions on Software Engineering,Vol.17, No.3, Mar.1991.

    Google Scholar 

  6. G.Bucci, E. Vicario, “Compositional Validation of Time-Dependent Systems Using Communicating Time Petri Nets,” IEEE Transactions on Software Engineering, Vol.21, No.12, Dec.1995.

    Google Scholar 

  7. E.M.Clarke, E.A.Emerson, A.P.Sistla, “Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications,” ACM Transactions on Programming Languages and Systems, Vol.8, No.2, Apr. 1986.

    Google Scholar 

  8. B.Dasarathy, “Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them,” IEEE Transactions on Software Engineering, Vol.11, No.1, Jan.1985.

    Google Scholar 

  9. A.DelBimbo, L.Rella and E.Vicario, “Visual Specification of Branching Time Temporal Logic,” Proc.Symp on Visual Languages, VL95, Darmstadt, IEEE Comp. Soc. Press, 1995.

    Google Scholar 

  10. D.Dill, “Timing Assumptions and Verification of Finite State Concurrent Systems,” Proc. Workshop on Computer Aided Verification Methods for Finite State Systems, Grenoble, France, 1989.

    Google Scholar 

  11. D.Harel, “On Visual Formalism,” Communications of the ACM, Vol.31, No.5, May. 1988.

    Google Scholar 

  12. A.M.Haber, Y.E.Ioannidis, M.Livny, “Foundations of Visual Metaphors for Schema Display,” Journal of Intelligent Information Systems, Vol.3, Summer 1994.

    Google Scholar 

  13. G.Kutty, Y.S.Ramakrishna, L.E.Moser, L.K.Dillon, P.M.Melliar Smith, “A Graphical Interval Logic Toolset for Verifying Concurrent Systems,” Proc. of the fourth Workshop on Computer Aided Verification, Montreal, Canada, Jun.1992.

    Google Scholar 

  14. L.Lamport, “TLA in Pictures,” IEEE Transactions on Software Engineering,Vol.21, No.9, Sep.1995.

    Google Scholar 

  15. G.Kutty, L.K.Dillon, L.E.Moser, P.M.Melliar Smith, Y.S.Ramakrishna, “Visual Tools for Temporal reasoning,” Proc. VL'93, Bergen, Norway, 1993.

    Google Scholar 

  16. Z.Manna, A.Pnueli, “The Temporal Logic of Reactive and Concurrent Systems,” Springer Verlag, New York, 1992.

    Google Scholar 

  17. L. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith and L. K. Dillon, “A Graphical Environment for Design of Concurrent Real-Time Systems”, ACM Transactions on Software Engineering and Methodology, Jan. 1997.

    Google Scholar 

  18. J.Nielsen, “Usability Engineering,” Academic Press, San Diego, Calif. 1993.

    Google Scholar 

  19. J.Nielsen, “Iterative User Interface Design,” IEEE Computer, Nov.1993.

    Google Scholar 

  20. J.Nielsen, “The Usability Engineering Life Cycle,” IEEE Computer, Mar.1992.

    Google Scholar 

  21. A.Pnueli, “The Temporal Logic of Program,” Proc. 18th Annual Symposium on Foundations of Computer Science, IEEE Comp. Soc. Press, 1977.

    Google Scholar 

  22. J.A.Stankovic, K.Ramamritham, “What is Predictability for Real Time Systems,” Journal of Real Time Systems, Vol.2, Dec.1990.

    Google Scholar 

  23. J.A.Stankovic, “Misconceptions About Real Time Computing,” IEEE Computer,Vol.21, No.10, Oct.1988.

    Google Scholar 

  24. E.R.Tufte, “Envisioning Information,” Graphic Press, Cheshire (CT), 1990.

    Google Scholar 

  25. J.Xu, D.Parnas, “On Satisfying Timing Constraints in Hard Real Time Systems,” IEEE Transactions on Software Engineering, Vol.19, No.1, Jan.1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Tiziana Margaria Bernhard Steffen Roland Rückert Joachim Posegga

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lusini, M., Vicario, E. (1998). Design and evaluation of a visual formalism for real time logics. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds) Services and Visualization Towards User-Friendly Design. Lecture Notes in Computer Science, vol 1385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053504

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64367-8

  • Online ISBN: 978-3-540-69760-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics