Computer Supported Acitivity Coordination最新文献

筛选
英文 中文
Activity Coordination in Collaborative Learning Environments 协作学习环境中的活动协调
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002665902270232
C. Olguín, A. Raposo, I. Ricarte
{"title":"Activity Coordination in Collaborative Learning Environments","authors":"C. Olguín, A. Raposo, I. Ricarte","doi":"10.5220/0002665902270232","DOIUrl":"https://doi.org/10.5220/0002665902270232","url":null,"abstract":"In the context of computer-supported collaborative learning, discussions are essential to increase the knowledge level of the members of a group. This work proposes the modeling of the discussion activities of a study group using an activities coordination model. Starting from the formal modeling of the system, and using coordination mechanisms based on Petri Nets, the behavior of the environment can be simulated and analyzed. These simulations allow anticipating possible problems and help to turn interactions among students","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122663357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations 基于pi演算的Web服务编排验证工具
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002501900230034
F. Abouzaid
{"title":"Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations","authors":"F. Abouzaid","doi":"10.5220/0002501900230034","DOIUrl":"https://doi.org/10.5220/0002501900230034","url":null,"abstract":"Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orchestration. To check the good behaviour of the produced compositions, but also to check equivalence between services, formalization is necessary. In this paper a contribution to the field of Formal Verification of Web services composition is presented using a πcalculus-based approach for the verification of composite Web services by applying model checking methods. We adopt the possibility of exploiting benefits from existing works by translating a Business Process Language such as BPEL to a system model of the π-calculus for which analysis and verification techniques have already been well established and there are existing tools for model checking systems. We therefore present the basis of a framework aimed to specification and verification, related to some temporal logic, of Web services composition. . . .","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125814126","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Goal-Oriented Business Process Engineering Revisited: a Unifying Perspective 重新审视面向目标的业务流程工程:统一的视角
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002670401490163
D. Neiger, L. Churilov
{"title":"Goal-Oriented Business Process Engineering Revisited: a Unifying Perspective","authors":"D. Neiger, L. Churilov","doi":"10.5220/0002670401490163","DOIUrl":"https://doi.org/10.5220/0002670401490163","url":null,"abstract":"The goal-oriented approach to business modeling was identified as one of the “three most important issues in driving business processes towards their goals” by the Business Process Management Journal [1]. Although goaloriented process engineering is gaining momentum, with frameworks, methods and tools being developed in increasing numbers, it continues to be segmented across various research disciplines, with duplication of effort and lack of a coordinated approach to this important research problem. While it is both unlikely and undesirable to have a single method that addresses all business needs, understanding the relationship between the existing approaches will help to identify overlaps and articulate gaps reducing duplication of effort and providing direction for future research. The aim of this paper is firstly, to build on existing assessment frameworks to provide a coherent review of goaloriented process engineering that crosses disciplinary boundaries; and secondly, to provide an alternative perspective on goal-oriented process engineering by integrating decision and process management based methodologies.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"226 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121622966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Teaching Nurses to Build a Hospital Without Walls: Developing a Training Curriculum for Telehomecare 教护士建立没有围墙的医院:开发远程家庭护理培训课程
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002672600410050
D. Sanderson, L. Atack
{"title":"Teaching Nurses to Build a Hospital Without Walls: Developing a Training Curriculum for Telehomecare","authors":"D. Sanderson, L. Atack","doi":"10.5220/0002672600410050","DOIUrl":"https://doi.org/10.5220/0002672600410050","url":null,"abstract":"\"To what extent can people be taught to engage in Computer Supported Cooperative Work (CSCW)?\" is a question which has rarely been discussed at meetings of CSCW researchers. The present study suggests that qualitative research can contribute to the development of a curriculum for preparing nurses to work with patients who live at a distance from themselves. Building on the ethnographic research stream within CSCW, a qualitative study was conducted of three different telehomecare (THC) programs in order to identify work issues and difficulties which could be addressed in a training course for telehomecare nurses.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130767312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An Active Database Approach to Computerised Clinical Guideline Management 计算机化临床指南管理的主动数据库方法
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002474001070115
Kudakwashe Dube, Bing Wu
{"title":"An Active Database Approach to Computerised Clinical Guideline Management","authors":"Kudakwashe Dube, Bing Wu","doi":"10.5220/0002474001070115","DOIUrl":"https://doi.org/10.5220/0002474001070115","url":null,"abstract":"This paper presents a generic approach, and a case study practising the approach, based on a unified framework harnessing the event-conditionaction (ECA) rule paradigm and the active database for the management of computer-based clinical practice guidelines and protocols (CPGs). The CPG management is cast into three perspectives: specification, execution and manipulation, making up three management planes of our framework. The ECA rule paradigm is the core CPG representational formalism while the active database serves as the kernel within the CPG management environment facilitating integration with electronic healthcare records and clinical workflow. The benefits of the approach are: flexibility of CPG management; integration of CPGs with electronic patient records and clinical workflows; and incorporation of CPG management system into computerised healthcare systems.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122505256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Coordination Theory: A Ten-Year Retrospective 协调理论:十年回顾
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.4324/9781315703619-15
Kevin Crowston
{"title":"Coordination Theory: A Ten-Year Retrospective","authors":"Kevin Crowston","doi":"10.4324/9781315703619-15","DOIUrl":"https://doi.org/10.4324/9781315703619-15","url":null,"abstract":"Since the initial publication in 1994, Coordination Theory (Malone and Crowston, 1994) has been referenced in nearly 300 journal articles, book chapters, conference papers and theses. This chapter will analyze the contribution of this body of research to determine how Coordination Theory has been used for user task analysis and modelling for HCI. Issues that will be addressed include: 1) how the theory has been applied; 2) factors that led to the success of the theory; and 3) identification of areas needing further research.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131864651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 85
Empirical Study of Ad Hoc Collaborative Activities in Software Engineering 软件工程中特设协同活动的实证研究
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002682701160125
S. Cherry, P. Robillard
{"title":"Empirical Study of Ad Hoc Collaborative Activities in Software Engineering","authors":"S. Cherry, P. Robillard","doi":"10.5220/0002682701160125","DOIUrl":"https://doi.org/10.5220/0002682701160125","url":null,"abstract":"This paper presents empirical research on ad hoc collaborative activities found in an industrial software engineering setting. We believe that a better understanding of these activities and their content will help us to propose software development process enhancements and also provide some insight into the tools needed to support communications in a distributed software development environment. Further details of our motivations are included, followed by a discussion on our research methodology, and, finally, some results of a preliminary analysis confirming the significance of our data and the importance of the observed phenomenon.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122115447","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Data driven process modelling for a hospital emergency department 医院急诊科的数据驱动流程建模
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002667800610070
Andrzej Ceglowski, L. Churilov, J. Wassertheil
{"title":"Data driven process modelling for a hospital emergency department","authors":"Andrzej Ceglowski, L. Churilov, J. Wassertheil","doi":"10.5220/0002667800610070","DOIUrl":"https://doi.org/10.5220/0002667800610070","url":null,"abstract":"This paper describes how key activities in the emergency department of a major hospital were extracted from workflow history. Analysis of these activities help with modification of both administrative and clinical actions for improved efficiency and effectiveness. Extraction of process from data is a relatively new field. This paper’s contributes the innovative determination of processes through data mining, rather than the algorithm-driven approach used to date. Data about patients who present to a major hospital emergency department were used to define clusters of patients who follow common pathways through the emergency department. It is discussed how these “process based” clusters can be used for performance management of the emergency department through evaluation of process inputs, outputs and costs.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115349344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
An Abstract Architecture for Service Coordination in IP2P Environments IP2P环境下服务协调的抽象体系结构
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002501100130022
César Cáceres, Alberto Fernández, Sascha Ossowski, Matteo Vasirani
{"title":"An Abstract Architecture for Service Coordination in IP2P Environments","authors":"César Cáceres, Alberto Fernández, Sascha Ossowski, Matteo Vasirani","doi":"10.5220/0002501100130022","DOIUrl":"https://doi.org/10.5220/0002501100130022","url":null,"abstract":"Intelligent agent-based peer-to-peer (IP2P) environments provide a means for pervasively providing and flexibly co-ordinating ubiquitous business application services to the mobile users and workers in the dynamically changing contexts of open, large-scale, and pervasive settings. In this paper, we present an abstract architecture for service delivery and coordination in IP2P environments that has been developed within the CASCOM project. Furthermore, we outline the potential benefits of a role-based interaction modelling approach for a concrete application of this abstract architecture based on a real-world scenario for emergency assistance in the healthcare domain.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131891050","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Collaborative Workflow Management for Logistics Consortium 物流联盟协同工作流管理
Computer Supported Acitivity Coordination Pub Date : 1900-01-01 DOI: 10.5220/0002675802460252
L. Pudhota, E. Chang, Jon Davis, J. Venable
{"title":"Collaborative Workflow Management for Logistics Consortium","authors":"L. Pudhota, E. Chang, Jon Davis, J. Venable","doi":"10.5220/0002675802460252","DOIUrl":"https://doi.org/10.5220/0002675802460252","url":null,"abstract":"Logistics activities require strong information systems and computer support. This IT support requirements has expanded with the advent of ecommerce; utilizing B2B (Business to Business) and P2P (Partner to Partner) ecommerce. There has been an increasing tendency to set up consortia that represent several players in a given field collaborating with one another to form a large logistics consortium in order to form one organization to compete with larger competitors and/or extend beyond their region of operation. This paper deals with the management of collaborative workflow changes in such consortia and the adaptation of these changes to existing workflow systems. We also discuss issues of adaptation to new systems, workflow mining techniques for adaptation and a proposed prototype to capture the meta-data to implement the workflow system.","PeriodicalId":217890,"journal":{"name":"Computer Supported Acitivity Coordination","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131100258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信