Japan Advanced Institute of Science and Technology
JAIST Repository
https://dspace.jaist.ac.jp/
Title
並行自己反映計算の宣言的記述に関する研究Author(s)
石川, 洋Citation
Issue Date
1998‑03Type
Thesis or DissertationText version
authorURL
http://hdl.handle.net/10119/851Rights
Description
Supervisor:二木 厚吉, 情報科学研究科, 博士Reective Computation
Hiroshi Ishikawa
School of Information Science,
Japan Advanced Institute of Science and Technology
January 16, 1998
Abstract
Theconcurrentreectivecomputationmodelisrecognizedtobeauseful frameworkfor
constructing reliable and easy-to-maintain concurrent and/or distributed system. Many
applications have b een constructed based on the framework. In order to construct such
a system having more higher quality, it is required to give its specication as correctas
possible.
This thesis proposes a method to give specications for concurrent reective compu-
tation in rewriting logic which can represent dynamic behaviours of concurrent and/or
reactivesystemsdeclaratively. Furthermorethosespecicationsareexecutable,theauthor
constructs some example based onthem and analyzes their properties.
In this thesis, twosubjectsare contained:
Thegroup-widearchitectureisproposedasoneofframeworktoconstructconcurrent
reectivecomputational system. Makinguse ofitsmodellingbasedonactormo del,
theauthorreconstructsitinrewritinglogic. Basedonthespecication,anexample
isexecuted, and a property of the metalevelsystem is proved.
TheauthorgivesanoperationalsemanticsofGAEA,organicprogramminglanguage.
Based on the semantics, a robot example is constructed and executed, and some
prop erties of GAEA are analyzed.
This thesis shows that giving the specication of concurrent reective computation in
rewritinglogiccanbeexpectedtounderstandthesystemitselfandanalyzeitsprop erties.
Key Words: Concurrent Reective Computation, Group-Wide Architec-
ture, Operational Semantics, Organic Programming Lan-
guage GAEA, Rewriting Logic
