Abstract models for HCI

This paper investigates the use of formal mathematical models in the design of interactive systems and argues for the development of generic models that describe the behaviour of a class of interactive systems. In recent years a number of authors have suggested methods for modelling interactive syst...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International journal of human-computer studies 1997-01, Vol.46 (1), p.151-177
Hauptverfasser: Dearden, Andrew M., Harrison, Michael D.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 177
container_issue 1
container_start_page 151
container_title International journal of human-computer studies
container_volume 46
creator Dearden, Andrew M.
Harrison, Michael D.
description This paper investigates the use of formal mathematical models in the design of interactive systems and argues for the development of generic models that describe the behaviour of a class of interactive systems. In recent years a number of authors have suggested methods for modelling interactive systems using notations and frameworks drawn from software engineering mathematics. We argue that these models tend to be either: so abstract as to limit their ability to express important interaction concerns for specific systems, and limited in the degree to which they support the construction of software that conforms to the designer 's intention; or so specific to an individual system that they provide only limited re-use across development projects and are therefore likely to be too expensive to develop except in a few special applications such as safety-critical systems. We argue that it is possible to construct a generic model of a class of interactive systems at an intermediate level of abstraction. Such a model would offer wider reusability than detailed specifications of a single system, but greater expressiveness and support for software development than fully general abstract models. To support our argument we review a number of existing models in the literature and present a generic model of interactive case memories, a class of systems used in case-based reasoning.
doi_str_mv 10.1006/ijhc.1996.0087
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_57407171</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S1071581996900877</els_id><sourcerecordid>57407171</sourcerecordid><originalsourceid>FETCH-LOGICAL-c232t-9012a533513d09c475ff8cd865f5c29a79fac258df24416f2c4aa00f49969c863</originalsourceid><addsrcrecordid>eNp1jzFPwzAQhS0EEqWwwtqJLeHs2LE9VhG0lSqxwGyZsy1cJU2xUyT-PYnCynQ3vO_pfYTcUygpQP0UD59YUq3rEkDJC7KgoEWhK4DL6Ze0EIrqa3KT8wEAJAdYkIf1Rx6SxWHV9c63eRX6tNo2u1tyFWyb_d3fXZL3l-e3ZlvsXze7Zr0vkFVsKDRQZkVVCVo50MilCEGhU7UIApm2UgeLTCgXGOe0Dgy5tQCBjzM1qrpakse595T6r7PPg-liRt-29uj7czZinCmppGOwnIOY-pyTD-aUYmfTj6FgJn8z-ZvJ30z-I6BmYLTy39EnkzH6I3oXk8fBuD7-h_4CCrVelQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>57407171</pqid></control><display><type>article</type><title>Abstract models for HCI</title><source>Access via ScienceDirect (Elsevier)</source><creator>Dearden, Andrew M. ; Harrison, Michael D.</creator><creatorcontrib>Dearden, Andrew M. ; Harrison, Michael D.</creatorcontrib><description>This paper investigates the use of formal mathematical models in the design of interactive systems and argues for the development of generic models that describe the behaviour of a class of interactive systems. In recent years a number of authors have suggested methods for modelling interactive systems using notations and frameworks drawn from software engineering mathematics. We argue that these models tend to be either: so abstract as to limit their ability to express important interaction concerns for specific systems, and limited in the degree to which they support the construction of software that conforms to the designer 's intention; or so specific to an individual system that they provide only limited re-use across development projects and are therefore likely to be too expensive to develop except in a few special applications such as safety-critical systems. We argue that it is possible to construct a generic model of a class of interactive systems at an intermediate level of abstraction. Such a model would offer wider reusability than detailed specifications of a single system, but greater expressiveness and support for software development than fully general abstract models. To support our argument we review a number of existing models in the literature and present a generic model of interactive case memories, a class of systems used in case-based reasoning.</description><identifier>ISSN: 1071-5819</identifier><identifier>EISSN: 1095-9300</identifier><identifier>DOI: 10.1006/ijhc.1996.0087</identifier><language>eng</language><publisher>Elsevier Ltd</publisher><subject>Design ; Human-computer interaction ; Interactive systems ; Mathematical models</subject><ispartof>International journal of human-computer studies, 1997-01, Vol.46 (1), p.151-177</ispartof><rights>1997 Academic Press</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c232t-9012a533513d09c475ff8cd865f5c29a79fac258df24416f2c4aa00f49969c863</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1006/ijhc.1996.0087$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,780,784,3550,27924,27925,45995</link.rule.ids></links><search><creatorcontrib>Dearden, Andrew M.</creatorcontrib><creatorcontrib>Harrison, Michael D.</creatorcontrib><title>Abstract models for HCI</title><title>International journal of human-computer studies</title><description>This paper investigates the use of formal mathematical models in the design of interactive systems and argues for the development of generic models that describe the behaviour of a class of interactive systems. In recent years a number of authors have suggested methods for modelling interactive systems using notations and frameworks drawn from software engineering mathematics. We argue that these models tend to be either: so abstract as to limit their ability to express important interaction concerns for specific systems, and limited in the degree to which they support the construction of software that conforms to the designer 's intention; or so specific to an individual system that they provide only limited re-use across development projects and are therefore likely to be too expensive to develop except in a few special applications such as safety-critical systems. We argue that it is possible to construct a generic model of a class of interactive systems at an intermediate level of abstraction. Such a model would offer wider reusability than detailed specifications of a single system, but greater expressiveness and support for software development than fully general abstract models. To support our argument we review a number of existing models in the literature and present a generic model of interactive case memories, a class of systems used in case-based reasoning.</description><subject>Design</subject><subject>Human-computer interaction</subject><subject>Interactive systems</subject><subject>Mathematical models</subject><issn>1071-5819</issn><issn>1095-9300</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1997</creationdate><recordtype>article</recordtype><recordid>eNp1jzFPwzAQhS0EEqWwwtqJLeHs2LE9VhG0lSqxwGyZsy1cJU2xUyT-PYnCynQ3vO_pfYTcUygpQP0UD59YUq3rEkDJC7KgoEWhK4DL6Ze0EIrqa3KT8wEAJAdYkIf1Rx6SxWHV9c63eRX6tNo2u1tyFWyb_d3fXZL3l-e3ZlvsXze7Zr0vkFVsKDRQZkVVCVo50MilCEGhU7UIApm2UgeLTCgXGOe0Dgy5tQCBjzM1qrpakse595T6r7PPg-liRt-29uj7czZinCmppGOwnIOY-pyTD-aUYmfTj6FgJn8z-ZvJ30z-I6BmYLTy39EnkzH6I3oXk8fBuD7-h_4CCrVelQ</recordid><startdate>199701</startdate><enddate>199701</enddate><creator>Dearden, Andrew M.</creator><creator>Harrison, Michael D.</creator><general>Elsevier Ltd</general><scope>AAYXX</scope><scope>CITATION</scope><scope>E3H</scope><scope>F2A</scope></search><sort><creationdate>199701</creationdate><title>Abstract models for HCI</title><author>Dearden, Andrew M. ; Harrison, Michael D.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c232t-9012a533513d09c475ff8cd865f5c29a79fac258df24416f2c4aa00f49969c863</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1997</creationdate><topic>Design</topic><topic>Human-computer interaction</topic><topic>Interactive systems</topic><topic>Mathematical models</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dearden, Andrew M.</creatorcontrib><creatorcontrib>Harrison, Michael D.</creatorcontrib><collection>CrossRef</collection><collection>Library &amp; Information Sciences Abstracts (LISA)</collection><collection>Library &amp; Information Science Abstracts (LISA)</collection><jtitle>International journal of human-computer studies</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Dearden, Andrew M.</au><au>Harrison, Michael D.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Abstract models for HCI</atitle><jtitle>International journal of human-computer studies</jtitle><date>1997-01</date><risdate>1997</risdate><volume>46</volume><issue>1</issue><spage>151</spage><epage>177</epage><pages>151-177</pages><issn>1071-5819</issn><eissn>1095-9300</eissn><abstract>This paper investigates the use of formal mathematical models in the design of interactive systems and argues for the development of generic models that describe the behaviour of a class of interactive systems. In recent years a number of authors have suggested methods for modelling interactive systems using notations and frameworks drawn from software engineering mathematics. We argue that these models tend to be either: so abstract as to limit their ability to express important interaction concerns for specific systems, and limited in the degree to which they support the construction of software that conforms to the designer 's intention; or so specific to an individual system that they provide only limited re-use across development projects and are therefore likely to be too expensive to develop except in a few special applications such as safety-critical systems. We argue that it is possible to construct a generic model of a class of interactive systems at an intermediate level of abstraction. Such a model would offer wider reusability than detailed specifications of a single system, but greater expressiveness and support for software development than fully general abstract models. To support our argument we review a number of existing models in the literature and present a generic model of interactive case memories, a class of systems used in case-based reasoning.</abstract><pub>Elsevier Ltd</pub><doi>10.1006/ijhc.1996.0087</doi><tpages>27</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1071-5819
ispartof International journal of human-computer studies, 1997-01, Vol.46 (1), p.151-177
issn 1071-5819
1095-9300
language eng
recordid cdi_proquest_miscellaneous_57407171
source Access via ScienceDirect (Elsevier)
subjects Design
Human-computer interaction
Interactive systems
Mathematical models
title Abstract models for HCI
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T20%3A12%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Abstract%20models%20for%20HCI&rft.jtitle=International%20journal%20of%20human-computer%20studies&rft.au=Dearden,%20Andrew%20M.&rft.date=1997-01&rft.volume=46&rft.issue=1&rft.spage=151&rft.epage=177&rft.pages=151-177&rft.issn=1071-5819&rft.eissn=1095-9300&rft_id=info:doi/10.1006/ijhc.1996.0087&rft_dat=%3Cproquest_cross%3E57407171%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=57407171&rft_id=info:pmid/&rft_els_id=S1071581996900877&rfr_iscdi=true