Exponential space computation of Gröbner bases
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Information and Computation - Special issue on EXPRESS 1997
A signal extension for Petri nets and its use in controller
Fundamenta Informaticae
Software specification methods: an overview using a case study
Software specification methods: an overview using a case study
Distributed and Parallel Databases
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Communications of the ACM - Blueprint for the future of high-performance networking
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
From BPMN Process Models to BPEL Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
YAWL: yet another workflow language
Information Systems
What business process modelers can learn from programmers
Science of Computer Programming
Semantics and analysis of business process models in BPMN
Information and Software Technology
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Model-driven synthesis of SOA solutions
IBM Systems Journal
BPEL to BPMN: The Myth of a Straight-Forward Mapping
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:
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
Modern Business Process Automation: YAWL and its Support Environment
Modern Business Process Automation: YAWL and its Support Environment
Modeling workflow patterns from first principles
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Semantics of standard process models with OR-joins
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
Incremental Test Generation for Software Product Lines
IEEE Transactions on Software Engineering
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Formal semantics and implementation of BPMN 2.0 inclusive gateways
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Space-efficient Gröbner basis computation without degree bounds
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
A DSML for Coordinating User-Centric Communication Services
COMPSAC '11 Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
Whom to talk to? A stakeholder perspective on business process development
Universal Access in the Information Society
Workflow patterns put into context
Software and Systems Modeling (SoSyM)
Contribution to a rigorous analysis of web application frameworks
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
We investigate three approaches describing models of business processes: the OMG standard BPMN in its recent version 2.0, the workflow patterns of the Workflow Pattern Initiative and their reference implementation YAWL. We show how the three approaches fail to provide practitioners with a suitable means precisely and faithfully to capture business scenarios and to analyze, communicate and manage the resulting models. On the positive side, we distill from the discussion six criteria which can help to recognize practical and reliable tool-supported business process description and modeling systems.