Recommendation systems offer the most similar point cases to a target query. Among those cases similar to the query, some may be similar and others dissimilar to each other. Offering only the most similar cases wrt. t...
详细信息
Human computer interaction can be specified successfully using the concept of information resources and the formal notation of graph grammars. In order to achieve a precise and continuous specification process between...
详细信息
A successful design of an interactive system requires a clear understanding of human-machine interaction. For the specification of such a system a precise consideration of the user's context during each step of th...
详细信息
A successful design of an interactive system requires a clear understanding of human-machine interaction. For the specification of such a system a precise consideration of the user's context during each step of the development process is therefore necessary. Moreover, a formal specification method for expressing interaction is highly desirable in order to achieve a precise and continuous specification process between the requirements and design stages. In this paper several of the environmental cues influencing the user during the interaction with a system are considered. These environmental cues are modelled using the concept of information resources. Interaction is described using these resources and formally specified by the notation of graph grammars in order to be able to reason about a system, to assess a system wrt important properties and, finally to achieve a continuous specification process between the requirements and design stages. This approach will be demonstrated by specifying a safety-critical system concerning the interaction between the pilot and the flight management system on the flight deck of an aircraft.
This book constitutes thoroughly refereed revised selected papers from the BPM 2012 Joint Workshop on Process-Oriented Information systems and knowledgerepresentation in Health Care, ProHealth 2012/KR4HC 2012, held i...
详细信息
ISBN:
(数字)9783642364389
ISBN:
(纸本)9783642364372
This book constitutes thoroughly refereed revised selected papers from the BPM 2012 Joint Workshop on Process-Oriented Information systems and knowledgerepresentation in Health Care, ProHealth 2012/KR4HC 2012, held in Tallinn, Estonia, in September 2012.
The 9 papers presented were carefully reviewed and selected from 19 submissions. In addition the book contains 1 keynote paper and 2 invited contributions. The papers are organized in topical sections named: guidelines and summarization; archetypes and cooperation; and process mining and temporal analysis.
暂无评论