Process innovation: reengineering work through information technology
Process innovation: reengineering work through information technology
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Distributed and Parallel Databases
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Understanding and Modelling Business Processes with DEMO
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Theoretical Computer Science - Implementation and application of automata
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
The deep structure of business processes
Communications of the ACM - Two decades of the language-action perspective
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Semantics and analysis of business process models in BPMN
Information and Software Technology
Modeling Service Choreographies Using BPMN and BPEL4Chor
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
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
Verifying Business Process Compatibility (Short Paper)
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Scaling Choreography Modelling for B2B Value-Chain Analysis
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Oryx --- An Open Modeling Platform for the BPM Community
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Transforming BPMN Diagrams into YAWL Nets
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Extending BPMN for modeling complex choreographies
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
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Interaction modeling using BPMN
BPM'07 Proceedings of the 2007 international conference on Business process management
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Let's dance: a language for service behavior modeling
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
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
With the rise of electronic integration between organizations, the need for a precise specification of interaction behavior increases. Information systems, replacing interaction previously carried out by humans via phone, faxes and emails, require a precise specification for handling all possible situations. Such interaction behavior is described in process choreographies. While many proposals for choreography languages have already been made, most of them fall into the category of interconnection models, where the observable behavior of the different partners is described and then related via message flow. As this article will show, this modeling approach fails to support fundamental design principles of choreographies and typically leads to modeling errors. This motivates an alternative modeling style, namely interaction modeling, for overcoming these limitations. While the main concepts are independent of a concrete modeling language, iBPMN is introduced as novel interaction modeling language. Formal execution semantics are provided and a comprehensive toolset implementing the approach is presented.