Formal refinement of informal GUI design artefacts

Bowen, Judy; Reeves, Steve

doi:10.1109/aswec.2006.28

Cited by 18 publications

(25 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A notable example is the formalization of sketched interface designs using the formal specification language Z presented by Bowen and Reeves [15]. Our approach does not strive for this level of formality rather aims at structuring and extracting the information that can be linked to the models typically used in a model-driven engineering approach.…”

Section: Informal Design Knowledgementioning

confidence: 99%

Using Storyboards to Integrate Models and Informal Design Knowledge

Haesen

Bergh

Meskens

et al. 2011

Studies in Computational Intelligence

View full text Add to dashboard Cite

Model-driven development of user interfaces has become increasingly powerful in recent years. Unfortunately, model-driven approaches have the inherent limitation that they cannot handle the informal nature of some of the artifacts used in truly multidisciplinary user interface development such as storyboards, sketches, scenarios and personas. In this chapter, we present an approach and tool support for multidisciplinary user interface development bridging informal and formal artifacts in the design and development process. Key features of the approach are the usage of annotated storyboards, which can be connected to other models through an underlying meta-model, and cross-toolkit design support based on an abstract user interface model.

show abstract

Section: Informal Design Knowledgementioning

confidence: 99%

Using Storyboards to Integrate Models and Informal Design Knowledge

Haesen

Bergh

Meskens

et al. 2011

Studies in Computational Intelligence

View full text Add to dashboard Cite

show abstract

“…[BR06b], [BR06a]. This UI functionality will not be included in the early requirements as it does not relate to considerations of what the system will do, but describes how the user will interact with the system and the experience of interacting.…”

Section: Refinement and Uismentioning

confidence: 99%

“…The syntax and semantics of these models, along with descriptions of their use, can be found in [BR06a] and [BR06b], however we provide a brief description of them here for clarity. Presentation models describe a UI in terms of its component widgets.…”

Section: Formal Models Of Uismentioning

confidence: 99%

“…We have previously described different types of equivalence between presentation models which can be used to determine whether two UIs (or designs) are in some way the same [BR06a]. One of these types of equivalence is functional equivalence which has the following definition: If DOne and DTwo are UI designs and PMOne and PMTwo are their corresponding presentation models then:…”

Section: Maintaining Contractual Utilitymentioning

confidence: 99%

“…At the same time we can ensure that our interface designs reflect the requirements of both the user and the overall system by incorporating them into a formal design process. We have previously derived a way of integrating UI designs into a formal software development process by way of formal models, [BR06a] and [BR06b], which ensure that the UI and system designers are working towards the same end goal. Such models also allow us to prove properties about the design itself, including consideration of usability properties [BR07a].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Refinement for user interface designs

Bowen

Reeves

2009

Form. Asp. Comput.

View full text Add to dashboard Cite

Abstract. Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs.

show abstract

State of the Art on Formal Methods for Interactive Systems

Oliveira¹,

Palanque²,

Weyers³

et al. 2017

Human–Computer Interaction Series

View full text Add to dashboard Cite

This chapter provides an overview of several formal approaches for the design, specification and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not selfcontained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide an historical perspective at the main contributions in the area of formal methods in the field of Human-Computer Interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.

show abstract

Formal refinement of informal GUI design artefacts

Cited by 18 publications

References 4 publications

Using Storyboards to Integrate Models and Informal Design Knowledge

Using Storyboards to Integrate Models and Informal Design Knowledge

Refinement for user interface designs

State of the Art on Formal Methods for Interactive Systems

Contact Info

Product

Resources

About