loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ashley McNeile 1 ; Ella Roubtsova 2 and Gerrit van der Veer 2

Affiliations: 1 Metamaxim Ltd, United Kingdom ; 2 Open University of the Netherlands, Netherlands

Keyword(s): Human-computer interaction, Protocol Models, separation of concerns, CSP composition, local reasoning.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Functional and Non-Functional Requirements ; HCI on Enterprise Information Systems ; Human-Computer Interaction

Abstract: Current approaches to modeling human-computer interaction do not always succeed in producing behaviorally complete models of manageable size and complexity. We argue that the reason for this lies in lack of sup- port for parallel composition of partial behavioral descriptions, and propose the recently developed Protocol Modeling approach as a superior alternative. The semantics of Protocol Modeling support separation and composition of concerns in models of human-computer interaction, and the production of executable models to explore and refine the desired behavior. Protocol Modeling supports a crucial property sought in modeling methods if it is to scale to complex problems, namely the ability to reason about the modeled behavior of the whole based on examination only of a part (sometimes called ”modular” or ”local” reasoning).

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.136.236.117

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
McNeile, A.; Roubtsova, E. and van der Veer, G. (2008). PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION. In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS; ISBN 978-989-8111-40-1; ISSN 2184-4992, SciTePress, pages 367-370. DOI: 10.5220/0001701503670370

@conference{iceis08,
author={Ashley McNeile. and Ella Roubtsova. and Gerrit {van der Veer}.},
title={PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS},
year={2008},
pages={367-370},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001701503670370},
isbn={978-989-8111-40-1},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS
TI - PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION
SN - 978-989-8111-40-1
IS - 2184-4992
AU - McNeile, A.
AU - Roubtsova, E.
AU - van der Veer, G.
PY - 2008
SP - 367
EP - 370
DO - 10.5220/0001701503670370
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic