返回Google圖書搜尋

Specification, Transformation, and Programming of Concurrentsystems in Rewriting Logic

SRI International. Computer Science LaboratoryPatrick LincolnNarciso Marti-OlietJose Meseguer

出版	SRI International, Computer Science Laboratory, 1994
URL	http://books.google.com.hk/books?id=UcpoHwAACAAJ&hl=&source=gbs_api

註釋Abstract: "This paper proposes a declarative paradigm in which parallelism is implicit and machine-independent, and the programs so developed are intrinsically parallel. This paradigm is obtained by generalizing the notion of rewriting to make it more widely applicable and capable of expressing not only functional computations but also a wide variety of parallel computations that are highly nonfunctional in nature. The generalization in question is provided by rewriting logic, a logic of change in which the states of a system are understood as algebraically axiomatized data structures, and the basic local changes that can concurrently occur in a system are axiomatized as rewrite rules that correspond to local patterns that, when present in the state of a system, can change into other patterns. Simple Maude, a carefully designed sublanguage of rewriting logic supporting three types of rewriting -- term, graph, and objet-oriented --, is then proposed as a machine-independent parallel programming language that can be efficiently implemented in parallel on many different machines. The adequacy of term, graph, and object-oriented rewriting to naturally express many different parallel programming problems is illustrated with examples. Several program transformation techniques mapping rewriting logic specifications into Simple Maude programs are discussed using representative examples. The incorporation of modules containing conventional code or special subsystems or devices within Simple Maude is also discussed. Finally, the advances made so far on general compilation techniques for Simple Maude are summarized."