MATHEMATICAL MODELING USING COORDINATION MECHANISMS FOR MULTI-AGENT SYSTEMS IN SERVICE ORIENTED ARCHITECTURE
In software engineering, formal methods are mathematical based techniques used to provide the specification, development, and verification of software systems prior to the implementation. The formal methods have been used widely in software development because of its promising benefits in coherence degree and coordination between activities of software application. Coordination is a common issue in distributed cross-platform communications, which implemented in agent-based software. The study of the coordination problem is an important issue in the multi-agent system. In the current software development industry, most software products are produced with the expectation that the application will provide intelligent coordination with the minimum level of interruption. This case is not always acceptable especially for the critical system especially those that deal with complex communications that involved multiple types of participants where the partner application needs to know about the basic guide and specification of each other. The proposed solution is dealing with one of these issues as it evaluates the coordination between the partner applications where the accuracy of responding is involved. For this reason, we modeled the proposed system mathematically using Coordination mechanisms to validate and verify the system for cross-platform communications in SOA system.