research-article

We need non-formal methods based on formal models in interaction design

Authors:

Steffen Hess,

Andreas Maier,

Marcus TrappAuthors Info & Claims

ECCE '11: Proceedings of the 29th Annual European Conference on Cognitive Ergonomics

Pages 287 - 288

https://doi.org/10.1145/2074712.2074783

Published: 24 August 2011 Publication History

Get Access

Abstract

Motivation -- With collaborative interaction design, formal models have to be used by expert stakeholders in order to work effectively and efficiently. But these formal models should not be discussed with non-expert stakeholders. Therefore, we use non-formal methods which are based on our formal models when we talk to non-expert stakeholders.

Research approach --Expert stakeholders have to get a common ground for their discussions. To achieve that common ground, expert stakeholders have to use models, which formalize an interaction they want to design. We develop non-formal methods based on a conceptual model that are easy to apply by non-experts. This way, non-expert stakeholders can allow free play to their thoughts and do not have to adopt formal entities and models. Therefore, the expert can easily interpret the information received from non-expert stakeholders by using the underlying conceptual model.

Findings/Design -- Early collaboration with non-expert stakeholders in order to design interaction in a user centered way is important and performed best with a formal model for expert stakeholders and non-formal methods based on these formal models for discussions between expert and non-expert stakeholders.

Actually, formal modelling is crucial from our point of view, but we experienced that insisting on it when collaborating with non-experts, leads to insufficient results.

Take away message -- Without having formal models in mind, non-formal methods cannot be applied effectively for a collaborative design of interactions. Non-formal methods like an open requirements elicitation in form of workshops or interviews may fail gaining all necessary information if there is no formal model which builds the basis for the non-formal methods. Only with formal models, we are able to plan, lead, and analyze non-formal methods in a way to get optimal results.

Index Terms

We need non-formal methods based on formal models in interaction design
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Cognitive robotics
    2. Philosophical/theoretical foundations of artificial intelligence
      1. Cognitive science
2. Human-centered computing
  1. Human computer interaction (HCI)

Recommendations

Formal methods for security in the Xenon hypervisor

This paper reports on the Xenon project's use of formal methods. Xenon is a higher-assurance secure hypervisor based on re-engineering the Xen open-source hypervisor. The Xenon project used formal specifications both for assurance and as guides for ...
Equivalence of formal semantics definition methods
Abstract
There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
VHDL Code Generation from Formal Event-B Models
DSD '11: Proceedings of the 2011 14th Euromicro Conference on Digital System Design

In this paper, we present an approach that allows to generate VHDL code from formal models developed with the Event-B formalism. The approach is based on the relationship between the structure of the formal model and hardware description language ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ECCE '11: Proceedings of the 29th Annual European Conference on Cognitive Ergonomics

August 2011

291 pages

ISBN:9781450310291

DOI:10.1145/2074712

General Chairs:
Anke Dittmar
University of Rostock, Germany
,
Peter Forbrig
University of Rostock, Germany

In-Cooperation

SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ECCE '11

Sponsor:

EACE
Rostock

ECCE '11: European Conference on Cognitive Ergonomics

August 24 - 26, 2011

Rostock, Germany

Acceptance Rates

Overall Acceptance Rate 56 of 91 submissions, 62%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
71
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

Index Terms

Recommendations

Formal methods for security in the Xenon hypervisor

Equivalence of formal semantics definition methods

VHDL Code Generation from Formal Event-B Models

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations