Sophistic Business Process Modeling Using Business Process Properties Evaluation System

Many organizations of the current decade use the Business Process Modeling Notation (BPMN) which is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with behavioral errors. Such errors are especially problematic at the levels of domain analysis and high-level systems design, because errors at these levels are among the hardest and most costly to correct. A methodology for monitoring the correctness and identification of the inherent properties of the process model is thus a desirable feature for modelling tools based on BPMN. Nevertheless, since prior studies have only examined issues related to semantic and functional model checking methods, there have been few researches that introduce and discuss the hidden properties and the behavioral relationships between the components of the model. In this paper, a robust architecture for business process property evaluation engine is proposed. This can be integrated with any Business Process Modeling framework to efficiently identify the isolated properties in the individual components of the model and visualize the runtime exceptions in the model. Evaluation of the proposed architecture with the help of the Architecture Tradeoff Analysis Method (ATAM) shows that using this property evaluation engine, a target system can be developed with less manpower, in less time, and with higher quality than previous methods. The property evaluation mechanism improves the earlier mode of business design and further recommends the business expert to convert the functionality into an optimized one. This is a new research dimension which paves way for the certainty of the easy maintenance and re-engineering of business processes in future.