An Expert System for Pi-Calculus and Api-Calculus Automated Reduction

摘要

As a formal method, π-Calculus is a notation that provides the means to represent the system state and demonstrate behavior thus detecting problems with the system before the system is implemented. In 2002, Rahimi [1] introduced a new multi-process formal modeling language known as Api-Calculus which expanded the functionality of π-Calculus. Both types of Calculi rely on a complex system of interactions between their entities known as reduction to show the evolution, or change of state, of the system. Although these are useful tools for formally modeling multi-process systems, π-Calculus and Api-Calculus are difficult to reduce by hand and there exists no automated tool for their reduction. The goal of this work is to develop a system to perform this reduction regardless of whether the system is in π-Calculus or in Api-Calculus. This paper describes the under taken process to create an expert system to automate the reduction process. The presented system is the first system that solves the complicated syntax and semantics of π-Calculus and Api-Calculus and provides an automated mechanism for enforcing reduction.