概要 : 形式的仕様記述言語 LOTOS の動作式部分に リフレクション機 構を導入し、拡張した言語として RLOTOS (Reflective LOTOS) がある。RLOTOS で は、メタレベルとオブジェクトレベルの概念が存在する。メタレベ ルシステムはオブジェクトレベルの制御システムに関する情報を扱い、オブジェク トレベルの記述をデータとして扱い、実行するインタプリタが存在する。このイン タプリタを制御することでオブジェクトレベルの動作を変更する。本論文では、 RLOTOS を用いて仕様を記述するための総合環境について述べる。とくに本環境で は、メタレベルでデータとして表現されるオブジェクトレベルの動作をユーザに理 解しやすい形で提供できるようになっている。

概要 : We have proposed the formal specification language RLOTOS ( Reflective LOTOS) which is an extension of LOTOS. It has reflective computationfacilities and layered architecture which contains object level and meta level as other reflective languages. On meta level there is an interpreter which executes the object level description, and we can change the behaviour of the object level by controlling the interpreter. In this paper, we present an environment for the formal specification development in RLOTOS. The environment provides some useful tools for representing the meta information which is the behaviour of object level.