Formal Analysis and Verification of Agent-Oriented Supply-Chain Management
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 6
Abstract
Managing various relationships among the supply chain processes is known as Supply Chain Management (SCM). SCM is the oversight of finance, information and material as they move in the flow from different suppliers to manufacturer, wholesaler, retailer and customers. The main problem with such software architecture is coordination and reliability while performing activities. Moreover, continuously changing market makes this coordination challenging. For example failure of production facilities, irregularities in meeting deadlines, unavailability of workers at required times. However, in the Agent-Oriented Supply-Chain Management described in [Mark S. Fox, Mihai Barbuceanu, and Rune Teigen “Agent-Oriented Supply-Chain Management”. The International Journal of Flexible Manufacturing Systems, 12 (2000)] the proposed solution claims a remarkable coordination on the basis of an agentoriented software architecture. In this paper, we formally specify architecture and verify it using model checking. We use UPPAAL to formally specify the agents’ behaviour involved in SCM. By model-checking, we prove that the given SCM’s architecture partially fulfills its functional requirements.
Authors and Affiliations
Muhammad Zubair Shoukat, Muhammad Atif, Imran Riaz Hasrat, Nadia Mushtaq, Ijaz Ahmed
Keywords
Related Articles
- EP ID EP323097
- DOI 10.14569/IJACSA.2018.090655
- Views 99
- Downloads 0
KASP: A Cognitive-Affective Methodology for Designing Serious Learning Games
Many research studies agree on the existence of a close link between emotion and cognition. Actually, much research has demonstrated that students with learning disabilities (LD) experience emotional distress related to...
Performance Analysis of In-Network Caching in Content-Centric Advanced Metering Infrastructure
In-network caching is a key feature of content-centric networking. It is however a relatively costly mechanism with hardware requirements besides placement/replication strategies elaboration. As content-centric networkin...
A Proposed Integrated Approach for BI and GIS in Health Sector to Support Decision Makers (BIGIS-DSS)
This paper explores the possibilities of adopting Business Intelligence (BI), and Geographic Information System (GIS) to build a spatial intelligence and predictive analytical approach. The proposed approach will help in...
A Generic Methodology for Clustering to Maximises Inter-Cluster Inertia
This paper proposes a novel clustering methodology which undeniably manages to offer results with a higher inter-cluster inertia for a better clustering. The advantage obtained with this methodology is due to an algorith...
Energy Saving EDF Scheduling for Wireless Sensors on Variable Voltage Processors
Advances in micro technology has led to the development of miniaturized sensor nodes with wireless communication to perform several real-time computations. These systems are deployed wherever it is not possible to mainta...