Abstract
Abstract This work introduces a formal methods approach to semiotic engineering: Browser-Integrated Guidance for Specifying Interface Signifiers (BIGSIS). Drawing from the semiotic engineering and formal methods literature, BIGSIS facilitates logical reasoning about human-system interface signifiers with respect to measures of effective and efficient designer-to-user communication. Signifiers that communicate correct functions or meanings are effective, and signifiers that convey nonconflicting functions or meanings are efficient. The BIGSIS approach incorporates a five-step process, an XML syntax, a Z notation formalism, an XML-to-Symbolic-Analysis-Laboratory (SAL) translator, and three signifier specifications: internal consistency, inter-channel consistency, and completeness. These elements of the approach support two analyses: BIGSIS-XML and model checking. The BIGSIS-XML analysis addresses one interface component, one sensory channel (visual, audio, or haptic), and one target-system configuration at a time. Using SAL, the model checking analysis considers all interface components including documentation, sensory channels, and a broad range of target-system configurations. We demonstrate an application of BIGSIS with a medical device case study. The analysis considers four components on the system’s controller, three sensory channels, and signified information from U.S. cultural context and explanations within an accompanying patient handbook. The BIGSIS-XML analysis aids in identifying 12 potential designer-to-user communication problems: ten involving effectiveness and two involving efficiency. The model checking analysis aids in identifying six potential designer-to-user communication problems: four involving effectiveness and two involving efficiency. Case study results indicate that BIGSIS shows promise for identifying potential instances of ineffective and inefficient designer-to-user communication in the design of a complex, safety-critical system interface.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
