Formal semantics and analysis of BPMN process models (original) (raw)
Related papers
Formal semantics and automated analysis of BPMN process models
2007
Semantics and analysis of business process models in BPMN
Information and Software Technology, 2008
Deterministic Petri Net Languages as Business Process Specification Language
2008
BPMN Formalisation using Coloured Petri Nets
2nd Annual International Conference on Software Engineering & Applications (SEA 2011), 2011
A Rigorous Semantics for BPMN 2.0 Process Diagrams
2014
An ontology-based evaluation of process modeling with petri nets
2007
Declarative Process Modeling in BPMN
Advanced Information Systems Engineering, 2015
Assigning ontology-based semantics to process models: the case of petri nets
2008
Formal verification of complex business processes based on high-level Petri nets
Information Sciences, 2017
A Petri-net Model for Formal Modeling of WS-BPEL Processes
Science Park Research Organization & Counselling
Toward a Formal Semantics for Control-Flow Process Models
Journal of Database Management, 2000
A class of Petri nets for modeling and analyzing business processes
A Petri Net Based Methodology for Business Process Modeling and Simulation
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, 2006
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology, 2009
On the suitability of BPMN for business process modelling
Business Process …, 2006
Semantic investigation of a control-flow subset of BPMN 2.0
2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP), 2015
A rigorous methodology for specification and verification of business processes
Formal Aspects of Computing, 2009
Towards the Verification of Business Process Modeling
A Formal Foundation for Process Modeling
Formal support of process chain networks using model-driven engineering and Petri nets
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Comparing and evaluating Petri net semantics for BPEL
International Journal of Business Process Integration and Management, 2009
Mapping Business Processes Models from Petri Nets Into Event-Driven Process Chains
Liveness and Reachability Analysis of BPMN Process Models
Journal of Computing and Information Technology, 2016
ChOrDa: a Methodology for the Modeling of Business Processes With BPMN
Arxiv preprint arXiv:0907.1238, 2009
AN INTEGRATED APPROACH FOR MODELLING BUSINESS PROCESSES USING BPMN AND XPDL STANDARDS
Leandro Loiacono, Nunzio Ingraffia, D. Za, A. Filograna
2000