Pub Date : 1900-01-01DOI: 10.5220/0002665902270232
C. Olguín, A. Raposo, I. Ricarte
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
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002501900230034
F. Abouzaid
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. . . .
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002670401490163
D. Neiger, L. Churilov
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.
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002672600410050
D. Sanderson, L. Atack
"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.
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002474001070115
Kudakwashe Dube, Bing Wu
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.
{"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}
Pub Date : 1900-01-01DOI: 10.4324/9781315703619-15
Kevin Crowston
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.
自1994年首次发表以来，协调理论(Malone and Crowston, 1994)已被近300篇期刊文章、书籍章节、会议论文和论文所引用。本章将分析这一研究的贡献，以确定协调理论如何用于用户任务分析和HCI建模。将讨论的问题包括:1)理论是如何应用的;2)导致理论成功的因素;3)确定需要进一步研究的领域。
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002682701160125
S. Cherry, P. Robillard
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.
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002667800610070
Andrzej Ceglowski, L. Churilov, J. Wassertheil
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.
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002501100130022
César Cáceres, Alberto Fernández, Sascha Ossowski, Matteo Vasirani
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.
{"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}
Pub Date : 1900-01-01DOI: 10.5220/0002675802460252
L. Pudhota, E. Chang, Jon Davis, J. Venable
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：