article

Free access

Specifying user interfaces in DisCo

Author:

Kari SystäAuthors Info & Claims

ACM SIGCHI Bulletin, Volume 26, Issue 2

Pages 53 - 58

https://doi.org/10.1145/198125.198144

Published: 01 April 1994 Publication History

PDF eReader

Abstract

In this paper we introduce a new approach for specification of interactive systems at a high level of abstraction. We use an excutable specification language DisCo, for which we have developed support tools including an execution environment with graphical animations. In addition to validation by execution, the language allows us to use formal proofs for critical properties of the specifications. Another important aspect of DisCo is its support for stepwise refinement of specifications. This allows the addition of new properties in such a way that safety properties of previous stages are preserved. The approach is exemplified by a stepwise specification of an electronic mail system.

References

[1]

Back, R. J. R., Kurki-Suonio, R., Decentralization of process nets with a centralized control, Distributed Computing 3, 3, May 1989, 73--87.

Digital Library

Google Scholar

[2]

Back, R. J. R., Kurki-Suonio, R., Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems 10, 4, October 1988, 513--554.

Digital Library

Google Scholar

[3]

Booth, P., An Introduction to Human-Computer Interaction. Lawrence Erlbaum Associates, 1989 (Reprinted 1990).

Google Scholar

[4]

Chi, U. L., Formal specification of user interfaces: a comparison and evaluation of four axiomatic approaches. IEEE Transaction on Software Engineering 11, 8, August 1985, 671--685:

Digital Library

Google Scholar

[5]

Harel, D., Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 1987, 231--274.

Digital Library

Google Scholar

[6]

J&auml;rvinen, H-M., Kurki-Suonio, R., The DisCo Language. Tampere University of Technology, Software Systems Laboratory, Report 8, March 1990.

Google Scholar

[7]

J&auml;rvinen, H-M., Kurki-Suonio, R., Sakkinen, M., Syst&auml;, K., Object-oriented specification of reactive systems. Proc. 12th International Conference on Software Engineering, Nice, France, 1990, IEEE Computer-Society Press, 1990, 63--71.

Digital Library

Google Scholar

[8]

Lamport L., The Temporal Logic of Actions. Research Report 79, Digital Systems Research Centre, 1991.

Google Scholar

[9]

Syst&auml;, K., A graphical tool for specification of reactive systems. Proc. Euromicro'91 Workshop on Real-Time Systems. Paris, France, June 1991, IEEE Computer Society Press, 1991, 12--19.

Crossref

Google Scholar

Cited By

View all

Bumbulis PAlencar PCowan DLucena C(2005)A framework for machine-assisted user interface verificationAlgebraic Methodology and Software Technology10.1007/3-540-60043-4_71(461-474)Online publication date: 25-Jul-2005
https://doi.org/10.1007/3-540-60043-4_71
Systä K(1996)Adding user interface to a behavioral specificationEngineering for Human-Computer Interaction10.1007/978-0-387-34907-7_13(227-244)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34907-7_13
Lauridsen O(1996)Systematic methods for user interface designEngineering for Human-Computer Interaction10.1007/978-0-387-34907-7_10(169-188)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34907-7_10

Index Terms

Specifying user interfaces in DisCo
1. Human-centered computing
  1. Human computer interaction (HCI)
    1. HCI design and evaluation methods
    2. HCI theory, concepts and models
  2. Interaction design
    1. Interaction design theory, concepts and paradigms

Recommendations

Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24

Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787

Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
Specifying the UQ* user-interface with Object-Z
APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference

The specification of a user-interface describes user-perceivable functions and information structures in an implementation-independent way. In this paper we specify part of the user-interface for the UQ* editor. The UQ* editor is part of an integrated ...

Comments

Information & Contributors

Information

Published In

ACM SIGCHI Bulletin Volume 26, Issue 2

April 1994

73 pages

ISSN:0736-6906

DOI:10.1145/198125

Editor:
Steven Pemberton
CWI/AA, Amsterdam, The Netherlands

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1994

Published in SIGCHI Volume 26, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
103
Total Downloads

Downloads (Last 12 months)39
Downloads (Last 6 weeks)9

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bumbulis PAlencar PCowan DLucena C(2005)A framework for machine-assisted user interface verificationAlgebraic Methodology and Software Technology10.1007/3-540-60043-4_71(461-474)Online publication date: 25-Jul-2005
https://doi.org/10.1007/3-540-60043-4_71
Systä K(1996)Adding user interface to a behavioral specificationEngineering for Human-Computer Interaction10.1007/978-0-387-34907-7_13(227-244)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34907-7_13
Lauridsen O(1996)Systematic methods for user interface designEngineering for Human-Computer Interaction10.1007/978-0-387-34907-7_10(169-188)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34907-7_10

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches

Design and Implementation of a Tool for Specifying Specification in SOFL

Specifying the UQ* user-interface with Object-Z

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations