Abstract
A specification approach for interactive and graphical systems (IGS) is presented. Considering IGS as a system involving interactive cooperation between a software and a user, changing its state according to external events, we elaborate a convenient method which takes account of this cooperation. The background of the method consists of organizing information through three concepts: State, View and Memory around which the notions of Configuration and Transaction are defined to express the evolution of the system as a transition system. Algebraic specification techniques are used to deal with information representation. Specifications are expressed as semantic rules where specific symbols are introduced with their semantics, to enhance the simplicity of writing and to increase expressiveness. The whole specification can be viewed as a set of so called transactions. Formal reasoning issues are handled with dynamic logic, thus offering means for studying the specification.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. Balzer and N. Goldman. Principles of good Software Specification and their Implications for Specification Language, pages 25–39. Software Specification techniques. International Computer Science Series, 1986.
R. M. Burstall and J. A. Goguen. An Informal Introduction to Specification using CLEAR, pages 363–390. International Computer Science Series, 1986.
Dominique Clément and Janet Incerpi. Specifying the behavior of graphical objects using Esterel. In Proceedings of the International joint conference on Theory and Practice of Software Development. TAPSOFT'89. LNCS Vol. 352, 1989.
E. Audureau & P. Enjalbert and L. Farinas Del Cerro. Logique Temporelle. Masson, 1990.
J-Y. Girard. Linear logic. TCS, Vol. 50, 1987.
J. A. Goguen and R. M. Bustall. Some fundamentals algebraic tools for the semantics of computation. part 1: Comma categories, colimits, signatures and theories. The Journal of the EATCS, Vol. 31(Num. 1–2), 1984.
J. A. Goguen, J. W. Thacher, E. G. Wagner, and J. D. Wright. Abstract data types and initial algebra and the correctness of data representations. In Proceedings of conference on computer Graphics, Pattern recognition and Data structures, 1977.
J. A. Goguen, J. W. Thacher, E. G. Wagner, and J. D. Wright. Initial algebras, semantics and continuous algebras. Journal of ACM, 24:68–95, 1977.
Guttag. Notes on Types Abstractions, pages 55–74. Software Specification techniques. International Computer Science Series, 1986.
David Harel. Dynamic Logic, volume II, pages 497–604. D. Reidel Publishing Company, 1984.
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
C. B. Jones. Systematic Program Development, pages 89–110. Software Specification techniques. International Computer Science Series, 1986.
B. H. Liskov and V. Berzins. An appraisal of Program Specifications, pages 3–23. Software Specification techniques. International Computer Science Series, 1986.
M. Sintzoff. Expressing program developments in a design calculus. Nato ASI Series — Springer Verlag, F36:343–365, 1987.
M. Wirsing. Structured algebraic specifications: A kernel language. TCS, Vol. 42(Num. 2), 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Attiogbé, C., Durieux, J.L. (1993). Handling interaction in software specification. In: Grechenig, T., Tscheligi, M. (eds) Human Computer Interaction. VCHCI 1993. Lecture Notes in Computer Science, vol 733. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57312-7_66
Download citation
DOI: https://doi.org/10.1007/3-540-57312-7_66
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57312-8
Online ISBN: 978-3-540-48052-5
eBook Packages: Springer Book Archive