Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Data & Knowledge Engineering - Special issue on ER '96
Introduction to algorithms
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Distributed and Parallel Databases
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
Efficient Snapshot Differential Algorithms for Data Warehousing
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Coordinating Web Services based on business models
ICEC '03 Proceedings of the 5th international conference on Electronic commerce
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Discovering workflow models from activities' lifespans
Computers in Industry - Special issue: Process/workflow mining
Service components for managing the life-cycle of service compositions
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
IPSI-PF: A Business Process Matchmaking Engine
CEC '04 Proceedings of the IEEE International Conference on E-Commerce Technology
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A survey on tree edit distance and related problems
Theoretical Computer Science
Introduction to Data Mining, (First Edition)
Introduction to Data Mining, (First Edition)
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
International Journal of Networking and Virtual Organisations
Data & Knowledge Engineering
Managing the Life Cycle of Access Rules in CEOSIS
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Monitoring Dependencies for SLAs: The MoDe4SLA Approach
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 1
Discovering Reference Process Models by Mining Process Variants
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Relaxed Compliance Notions in Adaptive Process Management Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
What are the Problem Makers: Ranking Activities According to their Relevance for Process Changes
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Equivalence of Web Services in Process-Aware Service Compositions
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Analyzing Impact Factors on Composite Services
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Business process choreography in WebSphere: combining the power of BPEL and J2EE
IBM Systems Journal
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
Data–driven process control and exception handling in process management systems
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Evolution of process choreographies in DYCHOR
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Hi-index | 0.00 |
Deciding on Web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. However, restricting such decisions to activity label equivalence is not sufficient for many practical applications: if two activities and Web services respectively have equivalent labels, does this necessarily mean they are equivalent as well? In many scenarios e.g., evolution of a composition schema or mining of completed composition instances, other factors also play an important role. Examples include context information e.g., input and output messages and information on the position of Web services within compositions. In this paper, the authors introduce the whole composition life cycle and discuss specific requirements for Web service equivalence along its different phases. The authors define adequate equivalence notions for the design, execution, analysis, and evolution of service compositions. This paper focuses on attribute and position equivalence and contributes a new understanding and treatment of equivalence notions in service compositions.