Formal process algebraic modeling,verification, and analysis of an abstract Fuzzy Inference Cloud Service |
| |
Authors: | Ali Rezaee Amir Masoud Rahmani Ali Movaghar Mohammad Teshnehlab |
| |
Affiliation: | 1. Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran 2. Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|