Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Modeling and Analyzing Interorganizational Workflows
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Compatibility Analysis of Web Services
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
Control-path Oriented Workflow Intelligence Analysis on EnterprizeWorkflow Grids
SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management
IEEE Internet Computing
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Indexing Business Processes based on Annotated Finite State Automata
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
WSXplorer: searching for desired web services
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Tracking over collaborative business processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
Web service interoperations have triggered a growing interest in analyzing compatibility and similarity for public processes. However, current approaches are limited since they mainly focus on control-flow but largely ignore data-flow. This ignorance causes that they improperly regard public processes, which can interact with or be replaced by each other with the help of process mediators, as incompatible or different. To address these problems, we propose a novel approach to check compatibility and similarity of public processes considering both control-flow and data-flow. We firstly generate scenarios and views to describe a public process. Then the degree of compatibility and similarity of public processes are computed based on pairwise compatibility or similarity of their views. Our approach will benefit service modelers and users not only for a better understanding of public processes, but also for checking compatibility and similarity of public processes, which will further identify and solve mismatches, and thus facilitate Web service interoperations.