Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling

Authors:
Jurriaan Diggelen;Robbert-Jan Beun;Rogier M. Eijk;Peter J. Werkhoven
Affiliations:
Institute of Information and Computing Sciences, Utrecht University, the Netherlands;Institute of Information and Computing Sciences, Utrecht University, the Netherlands;Institute of Information and Computing Sciences, Utrecht University, the Netherlands;Institute of Information and Computing Sciences, Utrecht University, the Netherlands
Venue:
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Year:
2008

Citing 15
Cited 0

Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries

IEEE Transactions on Software Engineering
KQML as an agent communication language

CIKM '94 Proceedings of the third international conference on Information and knowledge management
Automatic generation of task-oriented help

Proceedings of the 8th annual ACM symposium on User interface and software technology
Tradeoffs in displaying peripheral information

Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Workflow management: models, methods, and systems

Workflow management: models, methods, and systems
User Modeling in Human–Computer Interaction

User Modeling and User-Adapted Interaction
Attuning notification design to user goals and attention costs

Communications of the ACM
Using Colored Petri Nets for Conversation Modeling

Issues in Agent Communication
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models

INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Towards a Better Understanding of Context and Context-Awareness

HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
An infrastructure for context-awareness based on first order logic

Personal and Ubiquitous Computing
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
Agent communication in ubiquitous computing: the Ubismart approach

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Model-based user interface design in the context of workflow models

TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design

Quantified Score

Hi-index	0.00

Visualization

Abstract

The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and communicate it via PDA's to crisis workers. Whereas query and subscribe protocols are well studied mechanisms for information exchange between different computers, it is not straightforward how to apply them for communication between a computer and a human crisis worker, with limited cognitive resources. To examine the imposed cognitive load, we focus on the relation of the information supply mechanism with the workflow, or task model, of the crisis worker. We formalize workflows and interaction mechanisms in colored Petri nets, specify various ways to relate them and discuss their pros and cons.