Distributed rule-based AST-systems

Author

Cremers, Armin B. ; Igel, Burkhard ; Reichwein, Georg

Author_Institution

Dortmund Univ., West Germany

fYear

1988

Firstpage

311

Lastpage

317

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of

Print_ISBN

0-8186-0897-8

Type

conf

DOI

10.1109/FTDCS.1988.26712

Filename

26712