Integrating User Design and Formal Models within PVSio-Web

Electronic Proceedings in Theoretical Computer Science. 2018;284(Proc. F-IDE 2018):95-104 DOI 10.4204/EPTCS.284.8

 

Journal Homepage

Journal Title: Electronic Proceedings in Theoretical Computer Science

ISSN: 2075-2180 (Online)

Publisher: Open Publishing Association

LCC Subject Category: Science: Mathematics: Instruments and machines: Electronic computers. Computer science

Country of publisher: Australia

Language of fulltext: English

Full-text formats available: PDF

 

AUTHORS


Nathaniel Watson ( Department of Computer Science, University of Waikato, Hamilton, New Zealand )

Steve Reeves ( Department of Computer Science, University of Waikato, Hamilton, New Zealand )

Paolo Masci ( High Assurance Software Laboratory (HASLab), INESC TEC and Universidade do Minho, Braga, Portugal )

EDITORIAL INFORMATION

Peer review

Editorial Board

Instructions for authors

Time From Submission to Publication: 21 weeks

 

Abstract | Full Text

Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently. Despite this, tools for designing user experiences and tools for creating and working with formal models are typically distinctly separate systems. This work aims to bridge this divide by allowing the generation of state machine diagrams and formal models via a simple, interactive prototyping tool that mirrors the basic functionality of many modern digital prototyping applications.