今泉 貴史

Cプログラム用のリファクタリングツールなどの実装にはCプログラムの正確な解析が必要となる．しかし，C前処理系(CPP)のため，Cプログラムの正確な解析は著しく困難になっている．Cプログラムの正確な解析には，CPPの処理前後のマッピング情報が必須である．従来は既存のCPP(例：Cpplib)を拡張して，このCPPマッピング情報を得ていた．しかしこの手法はCPPの実装に強く依存するため，保守や移植のコストが大きいという問題があった．<BR>この問題を解決するために，我々は新しい追跡子方式を提案する．追跡子方式ではCプログラムにXML風の追跡子を自動的に埋め込み，既存のCPPをそのまま手を加えずに前処理に用いて，最後に結果中の追跡子を解析してCPPマッピング情報を得る．このため追跡子方式には低い保守・移植コストと高い適用性という，従来方式には無い大きな利点がある．我々は追跡子方式を用いたCPP解析器のプロトタイプであるTBCppAの実装に成功した．また，TBCppAをgcc-4.1.1(約63万行)などのソースコードに実験的に適用した．この予備評価に限るが，移植性の高い方法でCPPマッピング情報を得る方式として，機能と性能の両面で追跡子方式は有用という結果を得た．

UMLはオブジェクト指向ソフトウェア開発において，システムの分析・設計に用いられるモデリング言語である．UMLでは複数の異なるダイアグラムを用いて，システムを様々な側面から記述しモデル化を行う．UMLの各ダイアグラムは互いに関連する部分を持つため，個々のダイアグラムは完全に独立してはいない．このため，ダイアグラム間で記述内容に不整合が生じる可能性がある．通常，ソフトウェア開発においてモデリング作業は複数人で行われるため，ダイアグラムを矛盾無く記述し，その状態を保つことは重要な問題となる．本研究では，ダイアグラム間の対応を定義し，その定義に基づいた検査手順を示すことで整合性検査の支援を実現する．ダイアグラム間で関連する部分を明確にすることで，容易に検査を行うことを可能とする．

本研究では多層構造リポジトリをもったバージョン管理手法を提案する。多層構造のリポジトリを用いて、開発の際に現れるバージョンを開発の段階における意味に対応させ分離を行ない、プロジェクトの開発者全体に公開されるべきバージョンと、個人のみが知っていれば良いバージョンなどが、リポジトリに混在する状況を防ぐ。また、分離を行った各リポジトリ層を連携させ、変更の通知、変更の衝突への対策などをとることで、共同開発を円滑に進めるための環境を整える。

Ordered attribute grammars (OAGs for short) are a useful class of attribute grammars (AGs). For some attribute grammars, even though they are not circular, OAG circularity test reports that they are not ordered and fails to generate attribute evaluators because some approximation introduces circularities (called type 3 circularities in this paper). First we discuss that it is sometimes difficult for programmers to eliminate type 3 circularities by hand. Second, to reduce this difficulty, we propose a new AG class called OAG that produces less type 3 circularities than OAG while preserving the positive characteristic of OAG. OAG uses a global dependency graph GDS that provides a new approximation algorithm. We obtained good results with our experimental implementation of OAG. It is shown that OAG is different from the existing GAG and Eli/Liga systems. Finally, two combinations of Eli/Liga and OAG are provided.

It is recognized as necessary to have a software development environment that can simultaneously store software products and maintain their detailed relationships. There exists the cut &amp paste model based on attribute grammars, which is effective in maintaining consistency among software products and in automatically maintaining the derived values. This model has a problem however, namely the description of the dynamical aspect of the software development environment is difficult. From such a viewpoint, an object-oriented attribute grammar type computation model OOAG has been proposed, which introduces the concept of the message passing into attribute grammars. The OOAG is defined with an extension and reorganization in regard to the dynamical description functions. Then, the problem in the cut &amp past model are discussed. As an example of the problems, it is pointed out that description is difficult for the case where the point of referral by the user and the point of modification are different. Such a situation is described by OOAG, demonstrating that OOAG can remedy the problem in the cut &amp paste model.

属性文法は、木構造上のノードに属性を張り付け、その上での属性計算を用いてさまざまな性質を表現しようとするものである。したがって、基本構造として木構造を持つオブジェクトは、属性文法を用いてその性質を記述することが可能である。本論文では、ブログラムの開発時に使用されるツールである版管理システムと構成管理システムとを木構造を扱うシステムであると見なし、その属性文法による記述に関して報告する。これらのシステムは木構造を変更しながらユーザとのインタラクションにより処理を進めるシステムであり、従来は属性文法で記述するのは困難と考えられていた。本論文では、このような問題に対しても属性文法によるアプローチが有効であることを、具体的なシステムの記述を通して示す。インタラクテイブなシステムを記述するために属性文法に必要とされる機構についても考察する。

ソフトウェアプロダクト同士の関係を密に保ったまま格納するソフトウェア開発環境の必要性が認識されている.属性文法に基づくcut&pasteモデルは,ソフトウェアプロダクト間の一貫性の保持や派生値の自動保守に有効である反面,ソフトウェア開発環境の動的な側面を記述しにくいという欠点がある.このため,属性文法にメッセージパッシングの概念を取り入れたオブジェクト指向属性文法型計算モデルOOAGが提案されている.本論文ではまず動的な記述機能に関して拡張・整理したOOAGを定義する.次にcut&pasteモデルの欠点を考察し,欠点の一例として「ユーザの参照位置と変更位置が異なる場合の記述が困難であること」を指摘する.また,これをOOAGで記述して,OOAGがcut&pasteモデルの欠陥を補うことを示す.

ラピッドプロトタイピングにおいては、抽象度の高い実行可能な仕様記述言語が、大きな役割を演じる。本論文では、仕様を実際に動作させることのできる記述言語である計算モデルOOAGについて述べる。OOAGは、属性文法に対してシステムの動的な側面も記述できるようにオブジェクト指向の拡張を行ったモデルである。また、実際にOOAGを用いてUNIXファイルシステムを記述することにより、OOAGが構造指向型システムを記述する能力を有することを確認した。