COCO: consistency analysis of process-driven internetware applications

Authors:
Wenjia Zhang;Wei Song;Xiaoxing Ma;Qiliang Yang;Xuewei Zhang
Affiliations:
Nanjing University of Science and Technology Nanjing, China;Nanjing University of Science and Technology Nanjing, China;Nanjing University Nanjing, China;PLA University of Science and Technology, Nanjing, China;PLA University of Science and Technology, Nanjing, China
Venue:
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Year:
2013

Citing 6
Cited 0

A Calculus of Communicating Systems

A Calculus of Communicating Systems
Internetware: a shift of software paradigm

Proceedings of the First Asia-Pacific Symposium on Internetware
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models

IEEE Transactions on Software Engineering
Refactoring and Publishing WS-BPEL Processes to Obtain More Partners

ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Quantifying Consistency between Conceptual and Executable Business Processes

SCC '13 Proceedings of the 2013 IEEE International Conference on Services Computing
Behavioral consistency measurement and analysis of WS-BPEL processes

WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Processes are an effective and efficient way to construct on-demand 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.