Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service

  • Authors:

  • Ali Rezaee;Amir Masoud Rahmani;Ali Movaghar;Mohammad Teshnehlab

  • Affiliations:

  • Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran;Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran;Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran

  • Venue:
  • The Journal of Supercomputing
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

Abstract

In cloud computing, services play key roles. Services are well defined and autonomous components. Nowadays, the demand of using Fuzzy inference as a service is increasing in the domain of complex and critical systems. In such systems, along with the development of the software, the cost of detecting and fixing software defects increases. Therefore, using formal methods, which provide clear, concise, and mathematical interpretation of the system, is crucial for the design of these Fuzzy systems. To obtain this goal, we introduce the Fuzzy Inference Cloud Service (FICS) and propose a novel discipline for formal modeling of the FICS. The FICS provides the service of Fuzzy inference to the consumers. We also introduce four novel formal verification tests, which allow strict analysis of certain behavioral disciplines in the FICS as follows: (1)聽Internal consistency, which analyzes the service in a strict and delicate manner; (2)聽Deadlock freeness; (3)聽Divergence freeness; and (4)聽Goal reach ability. The four tests are discussed and the FICS is verified to ensure that it can pass all these tests.