Monitoring Strategies of a Company by the Model Checking-Based Business Process

An agile system design based on the agent and model checker paradigms is proposed in this study to monitor the company's strategy. The proposed framework addresses tow levels one for the strategy the other for the supervision to develop a multi-agent system that uses monitoring protocol primitives, to carry out a strategy analysis and implements many mobile agents, to take actual measures to improve the internal or external business process efficiency. As a result, the current strategy uses an expanded balanced score card (BSC) to assist decision-making by giving visibility on the status of business processes. When the interaction of a business process planning is specify by formal methods and verified using temporal logic and model checker. The traces of the cooperative behavior has been recorded at a run time without conflicts. The developed system's specificity is associated with its agility, which refers to how simple it is to modify or improve a system component undependably to the rest of the other components.