COCO:Consistency Analysis of Process-Driven Internetware Applications

摘要：

　　Processes are an effective and efficient way to construct ondemand Internetware applications.It is often needed to evaluate whether two process-driven applications are consistent,or whether the implemented process conforms to the process specification.Most existing methods only return qualitative results (i.e.,true or false),so slight inconsistencies may lead to a false result.To address this problem,based on activity constraints,we have presented a quantitative approach to process consistency analysis.In this paper,we focus on the implementation issues of our approach and introduce how to use our tool in practice.

关键词： Internetware process-driven consistency activity constraint

作者: Wenjia Zhang Wei Song Xiaoxing Ma Qiliang Yang Xuewei Zhang

作者单位: Nanjing University of Scienceand TechnologyNanjing,China Nanjing University Nanjing,China PLA University of Science and Technology Nanjing,China

会议类型: 国际会议

会议名称: 第五届亚太网构软件研讨会

会议地点: 长沙

会议语种:英文

页码: 179-182

在线出版日期: 2013-10-23（万方平台首次上网日期，不代表论文的发表时间）