Concurrent bisimulations in Petri nets
Acta Informatica
Verification of workflow task structures: A petri-net-based approach
Information Systems
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Decidability Questions for Bismilarity of Petri Nets and Some Related Problems
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
A Formal Analysis of Dealock Behaviour in Workflows
A Formal Analysis of Dealock Behaviour in Workflows
A Meta Model for Structured Workflows Supporting Workflow Transformations
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Querying and Splicing of XML Workflows
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Automatic Workflow Graph Refactoring and Completion
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Process Materialization Using Templates and Rules to Design Flexible Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Unveiling Hidden Unstructured Regions in Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Introducing partner shared states into ebBP to WS-BPEL translations
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Federated enactment of workflow patterns
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
Managing adaptivity in web collaborative processes using policies and user profiles
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Making task modeling suitable for stakeholder-driven workflow specifications
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Structured service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Modelling temporal, data-centric medical processes
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Proceedings of the 5th India Software Engineering Conference
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
An architecture for proactive timed web service compositions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Design and management of flexible process variants using templates and rules
Computers in Industry
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Structuring acyclic process models
Information Systems
View driven inter-organisational workflows
International Journal of Intelligent Information and Database Systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Optimization of complex qos-aware service compositions
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Generalized aggregate Quality of Service computation for composite services
Journal of Systems and Software
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
A process distance metric based on alignment of process structure trees
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
Uniform modularization of workflow concerns using unify
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Understanding business process models: the costs and benefits of structuredness
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Journal of Database Management
Design for service compatibility
Software and Systems Modeling (SoSyM)
Eye-tracking the factors of process model comprehension tasks
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Information Sciences: an International Journal
Hi-index | 0.00 |
While there are many similarities between the languages of the various workflow management systems, there are also significant differences. One particular area of differences is caused by the fact that different systems impose different syntactic restrictions. In such cases, business analysts have to choose between either conforming to the language in their specifications or transforming these specifications afterwards. The latter option is preferable as this allows for a separation of concerns. In this paper we investigate to what extent such transformations are possible in the context of various syntactical restrictions (the most restrictive of which will be referred to as structured workflows). We also provide a deep insight into the consequences, particularly in terms of expressive power, of imposing such restrictions.