MATHEMATICAL MODELING USING COORDINATION MECHANISMS FOR MULTI-AGENT SYSTEMS IN SERVICE ORIENTED ARCHITECTURE

Authors

  • Najhan M.Ibrahim IIUM
  • Mohd Fadzil Hassan

Keywords:

Formal Methods, Mathematical Modeling, Multi-agent Systems, Service Oriented Architecture (SOA), Coordination Mechanisms.

Abstract

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.

Downloads

Published

2019-12-28

How to Cite

M.Ibrahim, N., & Hassan, M. F. (2019). MATHEMATICAL MODELING USING COORDINATION MECHANISMS FOR MULTI-AGENT SYSTEMS IN SERVICE ORIENTED ARCHITECTURE. Journal of Information Systems and Digital Technologies, 1(2), 48-63. Retrieved from https://journals.iium.edu.my/kict/index.php/jisdt/article/view/109

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.