{"title":"任务中断的正式建模","authors":"F. Jambon","doi":"10.1145/257089.257128","DOIUrl":null,"url":null,"abstract":"My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an intermptiow and a UAN-based formal notation that would force designers to consider the right questions when developing a system. ISAU will be assessedusing a real-world exemplar: the Data-Link system that supports communications between pilots fmm diiTerent airmaft’s and air tmftlc eontmllem","PeriodicalId":281135,"journal":{"name":"Conference Companion on Human Factors in Computing Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Formal modelling of task interruptions\",\"authors\":\"F. Jambon\",\"doi\":\"10.1145/257089.257128\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an intermptiow and a UAN-based formal notation that would force designers to consider the right questions when developing a system. ISAU will be assessedusing a real-world exemplar: the Data-Link system that supports communications between pilots fmm diiTerent airmaft’s and air tmftlc eontmllem\",\"PeriodicalId\":281135,\"journal\":{\"name\":\"Conference Companion on Human Factors in Computing Systems\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-04-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Conference Companion on Human Factors in Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/257089.257128\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Conference Companion on Human Factors in Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/257089.257128","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an intermptiow and a UAN-based formal notation that would force designers to consider the right questions when developing a system. ISAU will be assessedusing a real-world exemplar: the Data-Link system that supports communications between pilots fmm diiTerent airmaft’s and air tmftlc eontmllem
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
