首页 > 最新文献

Computer Supported Activity Coordination最新文献

英文 中文
A Conception of Multiagent Management System of Dispersed Market Information - E-negotiations Area 分散市场信息的多智能体管理系统构想——电子谈判区
Pub Date : 2018-08-24 DOI: 10.5220/0002559000480055
L. Kieltyka, Rafal Niedbal
The conception of multiagent system (MAS) as a tool aiding dispersed market information management in e-negotiations area was proposed in this article. The results of the conducted surveys concerning among other things identification of the application areas of intelligent software agents in the enterprises are also presented here. Attention was paid to the role of business negotiation in market information acquisition. Software environment AgentBuilder enabling elaboration of the simulating model of the proposed conception of the system was also described in the present article.
本文提出了多智能体系统(MAS)作为电子谈判领域分散市场信息管理工具的概念。本文还介绍了有关企业中智能软件代理的应用领域识别的调查结果。关注商务谈判在市场信息获取中的作用。软件环境AgentBuilder使所提出的系统概念的仿真模型的细化也在本文中描述。
{"title":"A Conception of Multiagent Management System of Dispersed Market Information - E-negotiations Area","authors":"L. Kieltyka, Rafal Niedbal","doi":"10.5220/0002559000480055","DOIUrl":"https://doi.org/10.5220/0002559000480055","url":null,"abstract":"The conception of multiagent system (MAS) as a tool aiding dispersed market information management in e-negotiations area was proposed in this article. The results of the conducted surveys concerning among other things identification of the application areas of intelligent software agents in the enterprises are also presented here. Attention was paid to the role of business negotiation in market information acquisition. Software environment AgentBuilder enabling elaboration of the simulating model of the proposed conception of the system was also described in the present article.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115820251","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
Integrating Awareness Sources in Heterogeneous Collaboration Environments 在异构协作环境中集成感知源
Pub Date : 2018-07-22 DOI: 10.5220/0002577600180027
V. Bharadwaj, Y. Reddy, S. Reddy
Collaboration in heterogeneous environments involves dealing with variety of information sources that generate information that users need to be aware of. Users must be empowered to tailor the quality of awareness information. Heterogeneity of sources and media adversely affects the quality of group awareness. We propose a solution in terms of integrating the sources at the information level and provide a model for the same. We discuss our progress in designing the model, its utility and benefits. We believe that such a unifying framework can increase the effectiveness of group awareness in supporting coordination and execution of collaborative work.
异构环境中的协作涉及处理各种信息源,这些信息源生成用户需要了解的信息。必须授权用户定制感知信息的质量。来源和媒介的异质性对群体意识的质量产生不利影响。我们提出了一种在信息层面上集成信息源的解决方案,并提供了一个模型。讨论了该模型的设计进展、效用和效益。我们认为,这样一个统一的框架可以提高团队意识在支持协作工作的协调和执行方面的有效性。
{"title":"Integrating Awareness Sources in Heterogeneous Collaboration Environments","authors":"V. Bharadwaj, Y. Reddy, S. Reddy","doi":"10.5220/0002577600180027","DOIUrl":"https://doi.org/10.5220/0002577600180027","url":null,"abstract":"Collaboration in heterogeneous environments involves dealing with variety of information sources that generate information that users need to be aware of. Users must be empowered to tailor the quality of awareness information. Heterogeneity of sources and media adversely affects the quality of group awareness. We propose a solution in terms of integrating the sources at the information level and provide a model for the same. We discuss our progress in designing the model, its utility and benefits. We believe that such a unifying framework can increase the effectiveness of group awareness in supporting coordination and execution of collaborative work.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124729625","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
Improving Supply Chain Operations Performance by Using a Collaborative Platform Based on a Service Oriented Architecture 基于面向服务架构的协同平台提高供应链运营绩效
Pub Date : 2016-11-27 DOI: 10.5220/0002576300560065
Rubén Darío Franco, Á. O. Bas, Víctor Anaya, Rosa Navarro
Every new technology promises to solve a lot of problems inside companies and to achieve unforeseen performance improvements. Nowadays, Service-Oriented Architectures begin to be promoted as new balsam where companies may realize their visions and put all their new strategies in practice. Initially focused on intra-organizational integration efforts, they begin to be used when supporting inter-organizational business processes engineering in networked organizations. Although these kinds of initiatives in most of cases are lead by major companies, the INPREX project (Spanish acronym for Interoperability in Extended Processes), here presented falls out this category. By contrast, this is an undergoing initiative leaded by a Small and Medium Enterprise (SME) and founded by a local government in Spain. In this work, we introduce the IDIERE Platform which has been designed for supporting three major requirements of networked enterprises: openness, flexibility and dynamism when deploying and executing distributed business processes
每一项新技术都承诺解决公司内部的许多问题,并实现不可预见的性能改进。如今,面向服务的体系结构开始作为一种新的方法被推广,公司可以在其中实现他们的愿景,并将他们所有的新战略付诸实践。最初关注于组织内集成工作,它们开始用于支持网络组织中的组织间业务流程工程。尽管这些类型的计划在大多数情况下是由大公司领导的,但这里介绍的INPREX项目(扩展过程中的互操作性的西班牙语首字母缩写)属于这一类。相比之下,这是一项正在进行的倡议,由一家中小企业(SME)领导,由西班牙地方政府创立。在这项工作中,我们介绍了IDIERE平台,该平台旨在支持网络化企业在部署和执行分布式业务流程时的三大需求:开放性、灵活性和动态性
{"title":"Improving Supply Chain Operations Performance by Using a Collaborative Platform Based on a Service Oriented Architecture","authors":"Rubén Darío Franco, Á. O. Bas, Víctor Anaya, Rosa Navarro","doi":"10.5220/0002576300560065","DOIUrl":"https://doi.org/10.5220/0002576300560065","url":null,"abstract":"Every new technology promises to solve a lot of problems inside companies and to achieve unforeseen performance improvements. Nowadays, Service-Oriented Architectures begin to be promoted as new balsam where companies may realize their visions and put all their new strategies in practice. Initially focused on intra-organizational integration efforts, they begin to be used when supporting inter-organizational business processes engineering in networked organizations. Although these kinds of initiatives in most of cases are lead by major companies, the INPREX project (Spanish acronym for Interoperability in Extended Processes), here presented falls out this category. By contrast, this is an undergoing initiative leaded by a Small and Medium Enterprise (SME) and founded by a local government in Spain. In this work, we introduce the IDIERE Platform which has been designed for supporting three major requirements of networked enterprises: openness, flexibility and dynamism when deploying and executing distributed business processes","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126164117","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
A Machine Learning Middleware For On Demand Grid Services Engineering and Support 面向按需网格服务工程与支持的机器学习中间件
Pub Date : 2016-11-16 DOI: 10.5220/0002558200890100
W. Omar, A. Taleb-Bendiab, Y. Karam
Over the coming years, many are anticipating grid computing infrastructure, utilities and services to become an integral part of future socioeconomical fabric. Though, the realisation of such a vision will be very much affected by a host of factors including; cost of access, reliability, dependability and security of grid services. In earnest, autonomic computing model of systems’ self-adaptation, self-management and self-protection has attracted much interest to improving grid computing technology dependability, security whilst reducing cost of operation. A prevailing design model of autonomic computing systems is one of a goal-oriented and model-based architecture, where rules elicited from domain expert knowledge, domain analysis or data mining are embedded in software management systems to provide autonomic systems functions including; self-tuning and/or self-healing. In this paper, however, we argue for the need for unsupervised machine learning utility and associated middleware to capture knowledge sources to improve deliberative reasoning of autonomic middleware and/or grid infrastructure operation. In particular, the paper presents a machine learning middleware service using the well-known Self-Organising Maps (SOM), which is illustrated through a casestudy scenario -intelligent connected home. The SOM service is used to classify types of users and their respective networked appliances usage model (patterns). The models are accessed by our experimental self-managing infrastructure to provide Just-in-Time deployment and activation of required services in line with learnt usage models and baseline architecture of specified services assemblies. The paper concludes with an evaluation and general concluding remarks.
在未来几年中,许多人预计网格计算基础设施、公用事业和服务将成为未来社会经济结构的一个组成部分。然而,这一愿景的实现将受到一系列因素的极大影响,包括:电网服务的接入成本、可靠性、可靠性和安全性。系统自适应、自管理、自保护的自主计算模型在提高网格计算技术的可靠性、安全性和降低运行成本方面受到了广泛关注。自主计算系统的主流设计模型是一种面向目标和基于模型的体系结构,其中从领域专家知识、领域分析或数据挖掘中得出的规则被嵌入到软件管理系统中,以提供自主系统功能,包括;自我调整和/或自我修复。然而,在本文中,我们认为需要无监督机器学习实用程序和相关中间件来捕获知识来源,以改进自主中间件和/或网格基础设施操作的审慎推理。特别地,本文提出了一种使用著名的自组织地图(SOM)的机器学习中间件服务,并通过一个案例研究场景-智能互联家庭来说明。SOM服务用于对用户类型及其各自的网络设备使用模型(模式)进行分类。我们的实验性自我管理基础设施访问这些模型,以根据学习到的使用模型和指定服务组件的基线体系结构,提供所需服务的即时部署和激活。最后对全文进行了评价和总结性评述。
{"title":"A Machine Learning Middleware For On Demand Grid Services Engineering and Support","authors":"W. Omar, A. Taleb-Bendiab, Y. Karam","doi":"10.5220/0002558200890100","DOIUrl":"https://doi.org/10.5220/0002558200890100","url":null,"abstract":"Over the coming years, many are anticipating grid computing infrastructure, utilities and services to become an integral part of future socioeconomical fabric. Though, the realisation of such a vision will be very much affected by a host of factors including; cost of access, reliability, dependability and security of grid services. In earnest, autonomic computing model of systems’ self-adaptation, self-management and self-protection has attracted much interest to improving grid computing technology dependability, security whilst reducing cost of operation. A prevailing design model of autonomic computing systems is one of a goal-oriented and model-based architecture, where rules elicited from domain expert knowledge, domain analysis or data mining are embedded in software management systems to provide autonomic systems functions including; self-tuning and/or self-healing. In this paper, however, we argue for the need for unsupervised machine learning utility and associated middleware to capture knowledge sources to improve deliberative reasoning of autonomic middleware and/or grid infrastructure operation. In particular, the paper presents a machine learning middleware service using the well-known Self-Organising Maps (SOM), which is illustrated through a casestudy scenario -intelligent connected home. The SOM service is used to classify types of users and their respective networked appliances usage model (patterns). The models are accessed by our experimental self-managing infrastructure to provide Just-in-Time deployment and activation of required services in line with learnt usage models and baseline architecture of specified services assemblies. The paper concludes with an evaluation and general concluding remarks.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128040904","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
Reduction Over Time: Easing the Burden of Peer-to-Peer Barter Relationships to Facilitate Mutual Help 随着时间的推移减少:减轻点对点易货关系的负担,促进相互帮助
Pub Date : 2005-12-01 DOI: 10.5220/0002578000280037
Kenji Saito, E. Morino, J. Murai
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges and building relationships for coordinated activities. i-WAT[11] is a proposed such currency usable on the Internet. It is based on the WAT System[15], a polycentric complementary currency using WAT tickets as its media of exchange: participants spontaneously issue and circulate the tickets as needed, whose values are backed up by chains of trust. i-WAT implements the tickets electronically by exchanging messages signed in OpenPGP[3]. This paper proposes an extension to the design of i-WAT to facilitate mutual help among people in need. In particular, we propose additional “reduction” tickets whose values are reduced over time. By deferring redemption of such tickets, the participants can contribute to reduce the debts of the issuers, as well as to accelerate spending. Applications of this feature include a relief to disaster-affected people. A reference implementation of i-WAT has been developed in the form of a plug-in for an XMPP[6][7] instant messaging client. We have been putting the currency system into practical use, to which the proposed feature will be added shortly.
点对点的补充货币可以成为促进交流和建立协调活动关系的有力工具。i-WAT[11]是一种可以在互联网上使用的货币。它基于WAT系统[15],一种多中心的互补货币,使用WAT票证作为交换媒介:参与者根据需要自发发行和流通票证,票证的价值得到信任链的支持。i-WAT通过交换在OpenPGP[3]中签名的消息来实现电子票据。本文建议将“资讯通”的设计扩展,以方便有需要的人士互相帮助。特别是,我们建议额外的“减值”票,其价值随着时间的推移而减少。通过推迟这些票据的赎回,参与者可以帮助减少发行方的债务,并加速支出。该功能的应用包括对受灾害影响的人进行救济。已经以XMPP[6][7]即时消息客户端的插件形式开发了i-WAT的参考实现。我们一直在将货币系统投入实际使用,建议的功能将很快添加到该系统中。
{"title":"Reduction Over Time: Easing the Burden of Peer-to-Peer Barter Relationships to Facilitate Mutual Help","authors":"Kenji Saito, E. Morino, J. Murai","doi":"10.5220/0002578000280037","DOIUrl":"https://doi.org/10.5220/0002578000280037","url":null,"abstract":"A peer-to-peer complementary currency can be a powerful tool for promoting exchanges and building relationships for coordinated activities. i-WAT[11] is a proposed such currency usable on the Internet. It is based on the WAT System[15], a polycentric complementary currency using WAT tickets as its media of exchange: participants spontaneously issue and circulate the tickets as needed, whose values are backed up by chains of trust. i-WAT implements the tickets electronically by exchanging messages signed in OpenPGP[3]. This paper proposes an extension to the design of i-WAT to facilitate mutual help among people in need. In particular, we propose additional “reduction” tickets whose values are reduced over time. By deferring redemption of such tickets, the participants can contribute to reduce the debts of the issuers, as well as to accelerate spending. Applications of this feature include a relief to disaster-affected people. A reference implementation of i-WAT has been developed in the form of a plug-in for an XMPP[6][7] instant messaging client. We have been putting the currency system into practical use, to which the proposed feature will be added shortly.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117210370","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}
引用次数: 6
Identity Management for Electronic Negotiations 电子谈判的身份管理
Pub Date : 1900-01-01 DOI: 10.5220/0002562600380047
O. Tafreschi, Janina Fengel, Michael Rebstock
Using the Internet as the medium for transporting sensitive business data poses risks to companies. Before conducting business electronically, a company should take preventive measures against data manipulations and possible data misuse. One initial step could be obtaining certainty about the true identity of a potential business partner responding to a request or tender. In this paper we report on the development of a concept for identity management to introduce trust for electronic negotiations. We describe the character of electronic negotiations and give an example for a possible use-case scenario of our concept. For this we choose the most complex type of negotiations in the business domain, which are interactive bilateral multiattributive negotiations. Based on a general application architecture for such negotiations developed in a research project, we show the necessity of security provisions and introduce a security concept for identity management. We argue that the development of authentication and authorization services for the identity management of business partners involved in a negotiation are not only crucial but also an enhancement for electronic marketplaces.
使用互联网作为传输敏感业务数据的媒介给公司带来了风险。在进行电子业务之前,公司应该采取预防措施,防止数据操纵和可能的数据滥用。第一步可能是确定响应请求或投标的潜在商业伙伴的真实身份。在本文中,我们报告了身份管理概念的发展,以引入电子协商的信任。我们描述了电子谈判的特点,并给出了我们概念的一个可能用例场景的示例。为此,我们选择商务领域中最复杂的谈判类型,即互动式双边多定语谈判。基于研究项目中开发的用于此类协商的通用应用程序体系结构,我们展示了安全条款的必要性,并介绍了身份管理的安全概念。我们认为,为参与谈判的业务伙伴的身份管理开发身份验证和授权服务不仅至关重要,而且是对电子市场的增强。
{"title":"Identity Management for Electronic Negotiations","authors":"O. Tafreschi, Janina Fengel, Michael Rebstock","doi":"10.5220/0002562600380047","DOIUrl":"https://doi.org/10.5220/0002562600380047","url":null,"abstract":"Using the Internet as the medium for transporting sensitive business data poses risks to companies. Before conducting business electronically, a company should take preventive measures against data manipulations and possible data misuse. One initial step could be obtaining certainty about the true identity of a potential business partner responding to a request or tender. In this paper we report on the development of a concept for identity management to introduce trust for electronic negotiations. We describe the character of electronic negotiations and give an example for a possible use-case scenario of our concept. For this we choose the most complex type of negotiations in the business domain, which are interactive bilateral multiattributive negotiations. Based on a general application architecture for such negotiations developed in a research project, we show the necessity of security provisions and introduce a security concept for identity management. We argue that the development of authentication and authorization services for the identity management of business partners involved in a negotiation are not only crucial but also an enhancement for electronic marketplaces.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"20 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":"133453109","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
A Web Services based Communication Services Framework for Collaborative Work 基于Web服务的协同工作通信服务框架
Pub Date : 1900-01-01 DOI: 10.5220/0002540401090117
Jun Liu, Bo Yang, Wei-jiang Lu
This paper considers the problem of integrating communication services that support group collaboration systems. Past experience has shown that heterogeneous communication services are extremely difficult to be integrated into collaboration environment and extended to meet continuous changing requirements. This paper aims at proposing a common, interoperable framework based on Web Services technology for integrating communication services in a collaboration environment. This framework allows the implementation of reusable communication services components that can be plugged into the collaboration system and be invoked on demand according to communication requirements of collaboration applications. Based on this framework, a prototype system called Rich Media Collaborative Workplace is developed. This system provides an integrated collaborative workplace with benefits of increasing productivity, saving cost and improving efficiency.
本文研究了支持群组协作系统的通信服务集成问题。过去的经验表明,异构通信服务非常难以集成到协作环境中并进行扩展以满足不断变化的需求。本文旨在提出一个基于Web服务技术的通用的、可互操作的框架,用于在协作环境中集成通信服务。该框架允许实现可重用的通信服务组件,这些组件可以插入到协作系统中,并根据协作应用程序的通信需求按需调用。在此框架的基础上,开发了富媒体协同工作场所原型系统。该系统提供了一个集成的协作工作场所,具有提高生产力、节约成本和提高效率的优点。
{"title":"A Web Services based Communication Services Framework for Collaborative Work","authors":"Jun Liu, Bo Yang, Wei-jiang Lu","doi":"10.5220/0002540401090117","DOIUrl":"https://doi.org/10.5220/0002540401090117","url":null,"abstract":"This paper considers the problem of integrating communication services that support group collaboration systems. Past experience has shown that heterogeneous communication services are extremely difficult to be integrated into collaboration environment and extended to meet continuous changing requirements. This paper aims at proposing a common, interoperable framework based on Web Services technology for integrating communication services in a collaboration environment. This framework allows the implementation of reusable communication services components that can be plugged into the collaboration system and be invoked on demand according to communication requirements of collaboration applications. Based on this framework, a prototype system called Rich Media Collaborative Workplace is developed. This system provides an integrated collaborative workplace with benefits of increasing productivity, saving cost and improving efficiency.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity 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":"131864059","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
Using Timed Model Checking for Verifying Workflows 使用定时模型检查来验证工作流
Pub Date : 1900-01-01 DOI: 10.5220/0002559500750088
V. Gruhn, R. Laue
The correctness of a workflow specification is critical for the automation of business processes. For this reason, errors in the specification should be detected and corrected as early as possible at specification time. In this paper, we present a validation method for workflow specifications using model-checking techniques. A formalized workflow specification, its properties and the correctness requirements are translated into a timed state machine that can be analyzed with the Uppaal model checker. The main contribution of this paper is the use of timed model checking for verifying time-related properties of workflow specifications. Using only one tool (the model checker) for verifying these different kinds of properties gives an advantage over using different specialized algorithms for verifying different kinds of properties.
工作流规范的正确性对于业务流程的自动化至关重要。由于这个原因,规范中的错误应该在规范时尽早检测和纠正。在本文中,我们提出了一种使用模型检查技术的工作流规范验证方法。形式化的工作流规范、它的属性和正确性需求被转换成一个可以用Uppaal模型检查器分析的定时状态机。本文的主要贡献是使用时间模型检查来验证工作流规范的时间相关属性。仅使用一种工具(模型检查器)来验证这些不同类型的属性比使用不同的专用算法来验证不同类型的属性具有优势。
{"title":"Using Timed Model Checking for Verifying Workflows","authors":"V. Gruhn, R. Laue","doi":"10.5220/0002559500750088","DOIUrl":"https://doi.org/10.5220/0002559500750088","url":null,"abstract":"The correctness of a workflow specification is critical for the automation of business processes. For this reason, errors in the specification should be detected and corrected as early as possible at specification time. In this paper, we present a validation method for workflow specifications using model-checking techniques. A formalized workflow specification, its properties and the correctness requirements are translated into a timed state machine that can be analyzed with the Uppaal model checker. The main contribution of this paper is the use of timed model checking for verifying time-related properties of workflow specifications. Using only one tool (the model checker) for verifying these different kinds of properties gives an advantage over using different specialized algorithms for verifying different kinds of properties.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"66 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":"127661111","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}
引用次数: 19
Application of Social Network Theory to Software Development: The problem of Task Allocation 社会网络理论在软件开发中的应用:任务分配问题
Pub Date : 1900-01-01 DOI: 10.5220/0002576500030017
C. Amrit
To systematize software development, many process models have been proposed over the years. These models focus on the sequence of steps used by developers to create reliable software. Though these processmodels have helped companies to gain certification and attain global standards, they don’t take into account interpersonal interactions and various other social aspects of software development organizations. In this paper we tackle one crucial part of the Coordination problem in Software Development, namely the problem of task assignment in a team. We propose a methodology to test a hypothesis based on how social networks can be used to improve coordination in Software Industry. In a pilot case study based on 4 teams of Masters Student working in a globally distributed environment (Holland and India), the social network structures along with the task distribution in each of the teams were analyzed. In each case we observed patterns, which could be used to test many hypotheses on team coordination and task allocation between them.
为了使软件开发系统化,多年来提出了许多过程模型。这些模型关注开发人员创建可靠软件所使用的步骤序列。尽管这些过程模型已经帮助公司获得认证并达到全球标准,但是它们并没有考虑到软件开发组织的人际互动和其他各种社会方面。在本文中,我们解决了软件开发中协调问题的一个关键部分,即团队中的任务分配问题。我们提出了一种方法来检验一个假设,该假设是基于如何使用社交网络来改善软件行业的协调。在一个基于全球分布环境(荷兰和印度)的4个硕士研究生团队的试点案例研究中,分析了每个团队的社会网络结构以及任务分配。在每种情况下,我们都观察到一些模式,这些模式可以用来测试关于团队协调和任务分配的许多假设。
{"title":"Application of Social Network Theory to Software Development: The problem of Task Allocation","authors":"C. Amrit","doi":"10.5220/0002576500030017","DOIUrl":"https://doi.org/10.5220/0002576500030017","url":null,"abstract":"To systematize software development, many process models have been proposed over the years. These models focus on the sequence of steps used by developers to create reliable software. Though these processmodels have helped companies to gain certification and attain global standards, they don’t take into account interpersonal interactions and various other social aspects of software development organizations. In this paper we tackle one crucial part of the Coordination problem in Software Development, namely the problem of task assignment in a team. We propose a methodology to test a hypothesis based on how social networks can be used to improve coordination in Software Industry. In a pilot case study based on 4 teams of Masters Student working in a globally distributed environment (Holland and India), the social network structures along with the task distribution in each of the teams were analyzed. In each case we observed patterns, which could be used to test many hypotheses on team coordination and task allocation between them.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity Coordination","volume":"8 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":"126246014","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
Other Way of Making Business: A Virtual e-Commerce Community / CVN Platform 另一种做生意的方式:虚拟电子商务社区/ CVN平台
Pub Date : 1900-01-01 DOI: 10.5220/0002567501410148
Roberto Naranjo, Jorge Moreno, Luz Marina Sierra, Martha Mendoza
This article describes the current problem in the business environment from the department of Cauca – Colombia (South America), and the proposed solution called Project CVN (Spanish initials) “Business Virtual Community for the department of Cauca Internet Commercial Platform or BVC”. Based on a markets research, the architecture of the added value conceived by the project is described; these values support advertising, collaboration, B2C, and B2B, activities framed within the virtual environment of the community. Below, the business model proposed for the community and the logic architecture of the software is described. Lastly the experiences and the learnt lessons throughout the implementation of the project are exposed.
本文从科卡省—哥伦比亚省(南美洲)的商业环境中描述了目前存在的问题,并提出了解决方案CVN项目(西班牙语首字母缩写)“科卡省互联网商业平台商业虚拟社区或BVC”。在市场调研的基础上,描述了项目所构想的增值体系结构;这些价值观支持广告、协作、B2C和B2B,以及社区虚拟环境中的活动。下面描述了为社区提出的业务模型和软件的逻辑体系结构。最后,介绍了项目实施过程中的经验和教训。
{"title":"Other Way of Making Business: A Virtual e-Commerce Community / CVN Platform","authors":"Roberto Naranjo, Jorge Moreno, Luz Marina Sierra, Martha Mendoza","doi":"10.5220/0002567501410148","DOIUrl":"https://doi.org/10.5220/0002567501410148","url":null,"abstract":"This article describes the current problem in the business environment from the department of Cauca – Colombia (South America), and the proposed solution called Project CVN (Spanish initials) “Business Virtual Community for the department of Cauca Internet Commercial Platform or BVC”. Based on a markets research, the architecture of the added value conceived by the project is described; these values support advertising, collaboration, B2C, and B2B, activities framed within the virtual environment of the community. Below, the business model proposed for the community and the logic architecture of the software is described. Lastly the experiences and the learnt lessons throughout the implementation of the project are exposed.","PeriodicalId":297042,"journal":{"name":"Computer Supported Activity 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":"131064445","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
期刊
Computer Supported Activity Coordination
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1