Specification-oriented semantics for communicating processes
Acta Informatica
Process algebra
Branching bisimilarity is an equivalence indeed!
Information Processing Letters
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Distributed and Parallel Databases
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Weak Semantics Based on Lighted Button Pressing Experiments
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Analyzing workflows implied by instance-dependent access rules
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Business processes for web services: principles and applications
IBM Systems Journal
Peer-to-peer form based web information systems
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Measuring similarity between semantic business process models
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Data-flow skeleton filled with activities driven workflow design
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Data & Knowledge Engineering
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Update support for database views via cooperation
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Highly dynamic adaptation in process management systems through execution monitoring
BPM'07 Proceedings of the 5th international conference on Business process management
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Interaction-centric modeling of process choreographies
Information Systems
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Process compliance analysis based on behavioural profiles
Information Systems
Perceived consistency between process models
Information Systems
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
Hi-index | 0.00 |
In the area of workflow management, one is confronted with a large number of competing languages and the relations between them (e.g. relative expressiveness) are usually not clear. Moreover, even within the same language it is generally possible to express the same workflow in different ways, a feature known as variability. This paper aims at providing some of the formal groundwork for studying relative expressiveness and variability by defining notions of equivalence capturing different views on how workflow systems operate. Firstly, a notion of observational equivalence in the absence of silent steps is defined and related to classical bisimulation. Secondly, a number of equivalence notions in the presence of silent steps are defined. A distinction is made between the case where silent steps are visible (but not controllable) by the environment and the case where silent steps are not visible, i.e., there is an alternation between system events and environment interactions. It is shown that these notions of equivalence are different and do not coincide with classical notions of bisimulation with silent steps (e.g. weak and branching).