Distributed rule-based AST-systems

Abstract

A specification tool for distributed systems that uses the idea of applicative state transition systems is used to obtain an executable specification of the system behavior. A distributed system is regarded as a set of applicative state transition (AST) systems. Integration of a rule-based component into an existing applicative specification method for distributed systems produces a suitable language for the formulation of distributed production systems. This language unifies the model of AST systems with a (forward chaining) production system and with C.A.R. Hoare's (1985) ideas of communicating processes.<>