Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Programmed Graph Transformations and Graph Transformation Units in GRACE
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Computational Completeness of Programming Languages Based on Graph Transformation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Proper termination of flow-of-control in programs involving concurrent processes
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Tool integration at the meta-model level: the Fujaba approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Semantics and analysis of business process models in BPMN
Information and Software Technology
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Embedding and Confluence of Graph Transformations with Negative Application Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Formal Semantics and Verification of BPMN Transaction and Compensation
APSCC '08 Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
The Graph Programming Language GP
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Towards Test-Driven Semantics Specification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
GrGen.NET: The expressive, convenient and fast graph rewrite system
International Journal on Software Tools for Technology Transfer (STTT)
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System
International Journal on Software Tools for Technology Transfer (STTT)
Graph transformation tool contest 2008
International Journal on Software Tools for Technology Transfer (STTT)
A comparison of model migration tools
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Henshin: advanced concepts and tools for in-place EMF model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Transforming process models: executable rewrite rules versus a formalized java program
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Formalisations and applications of BPMN
Science of Computer Programming
Journal of Visual Languages and Computing
Nested quantification in graph transformation rules
ICGT'06 Proceedings of the Third international conference on Graph Transformations
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Hi-index | 0.00 |
Context: The Business Process Model and Notation (BPMN) standard informally defines a precise execution semantics. It defines how process instances should be updated in a model during execution. Existing formalizations of the standard are incomplete and rely on mappings to other languages. Objective: This paper provides a BPMN 2.0 semantics formalization that is more complete and intuitive than existing formalizations. Method: The formalization consists of in-place graph transformation rules that are documented visually using BPMN syntax. In-place transformations update models directly and do not require mappings to other languages. We have used a mature tool and test-suite to develop a reference implementation of all rules. Results: Our formalization is a promising complement to the standard, in particular because all rules have been extensively verified and because conceptual validation is facilitated (the informal semantics also describes in-place updates). Conclusion: Since our formalization has already revealed problems with the standard and since the BPMN is still evolving, the maintainers of the standard can benefit from our results. Moreover, tool vendors can use our formalization and reference implementation for verifying conformance to the standard.