Business process property evaluation engine for interactive and reliable Business Process Modeling

Capturing business processes in the early phases of systems development is the trend being followed by many enterprises of the current business scenario. Business Process Modeling Notation (BPMN) is the widespread dexterous set employed by such organizations. Prior studies have only examined issues related to semantic and functional model checking methods. In this paper, a productive architecture for business process property evaluation engine which can be integrated with any Business Process modeling framework to efficiently extract the isolated properties in the individual components of the model is proposed. It incorporates the provision to visualize the runtime exceptions in the model. Evaluation of the proposed architecture with the help of the Architecture Tradeoff Analysis Method (ATAM) exposes the major potential of this property evaluation engine. This new course of research in the development of efficient business model renders ample scope for the certitude of the easy maintenance and re-engineering of business processes in future.