Title :
Distributed rule-based AST-systems
Author :
Cremers, Armin B. ; Igel, Burkhard ; Reichwein, Georg
Author_Institution :
Dortmund Univ., West Germany
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
Keywords :
distributed processing; knowledge based systems; software tools; specification languages; AST-systems; applicative state transition systems; communicating processes; distributed production systems; distributed systems; executable specification; forward chaining; production system; rule-based component; specification tool; system behavior; Bipartite graph; Computer architecture; Expert systems; Functional programming; Hardware; Interleaved codes; Power system modeling; Production systems; State-space methods; Writing;
Conference_Titel :
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN :
0-8186-0897-8
DOI :
10.1109/FTDCS.1988.26712
