Distributed rule-based AST-systems

Cremers, A.B., Igel, B., Reichwein, G.

international workshop on variable structure systems（1988）

引用 1|浏览4

暂无评分

摘要

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

查看译文

关键词

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,hardware,rule based,computer architecture,system integration,bipartite graph,functional programming,state transition,distributed system,production systems,writing,expert systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要