学と産の連携による基盤ソフトウェアの先進的開発:6.双方向変換による高信頼構造化文書処理

全文

(1)特集. の連携による基盤ソフトウェアの先進的開発. 双方向変換による高信頼構造化文書処理武市正人＊1. ＊1 東京大学情報理工学系研究科. ｛第1 部｝. 高い生産性を持つ. 産. 高信頼ソフトウェア. と. 作成技術の開発＊. 学. 6. 電子的な構造化文書情報の蓄積と効果的な情報利用技術. Transformation）技術を追究し，それに基づいて高信頼 XML 文書処理を実現するためのソフトウェアを開発. はインターネットを含む広範な情報の交換・流通にとっ. した．特に双方向変換技術に関しては，その基礎となる. ● A. ● B. ● S. ● T. ● R. ● A. ● C. ● T. ●. てきわめて重要な位置を占めている．我々は 2003 年度から 2007 年度までの 5 年間にわたって文部科学省リーディングプロジェクト e-Society の「高信頼構造化文書変換技術」を実施し，双方向変換に基づく高信頼. XML 文書処理を実現し，構造化文書処理に信頼性の高. 双方向変換言語 Bi-X の設計・開発を中核に置き，高信頼 XML 文書処理に向けて先進的な手法を開発した． PSD は文書内で相互に依存する項目間の整合性を確保して文書情報の信頼性を高めることを目指したものである．また，双方向変換は構造化文書間の変換の枠組みであり，一方向の変換プログラムを Bi-X 言語で記述す. い技術基盤を与えた．そこでは，文書を作成する一般利. れば，対応する逆方向の変換もそのプログラムで実行で. 用者と文書処理ソフトウェアの開発者に先進的ツールを. きるというものである．これにより，両方向の変換相互. 提供することを目指した．本稿では，この研究の基盤と. の整合性を保証して信頼性を確保すると同時に，文書変. なっている双方向変換技術の考え方を述べるとともに開. 換ソフトウェアの開発効率を高めることができる．すな. 発したツールを紹介する．. わち，これらの基盤技術は構造化文書処理の信頼性を高めると同時に，ソフトウェアの生産性を高めるために有効なものといえる．. 高信頼構造化文書処理. 本研究の成果として得られたソフトウェアは http://. されるこれまでの技術は，発展の著しい情報環境下で既. www.psdlab.org/ を通じて公開している．なお，本プロジェクトで（株）ジャストシステムの XML 開発環境 xfy Client（http://www.xfy.com/jp/）のプラグイン biXfy を開発するにあたっては同社の技術協力を得た．また，プロジェクト期間を通じて同社と XML 文書処理. 存技術を拡張してできたものを事実上の標準としている. 技術に関する定期的な議論を行った．. 電子的な構造化文書情報の蓄積と効果的な情報利用技術はインターネットを含む広範な情報の交換・流通にとってきわめて重要な位置を占めている．XML に代表. が，その言語的な概念は十分に整理されているわけではなく，そのような既存技術の使い回しによる姑息な対処や人手による個別対応が信頼性に欠ける文書情報を蓄積. プログラマブル構造化文書. する一因となっている．我々はこうした問題を解決する. プログラマブル構造化文書（PSD）は，文書内で相互. ために，体系的な文書処理技術の基盤を確立して高信頼. に依存する項目間の整合性を確保して文書情報の信頼性. XML 文書処理（Dependable XML Processing）を実現. を高めることを目指したものである．文書内のある部分. することを目的とし，文書処理に信頼性の高い技術基盤. Tar が同一文書の他の部分 Src に依存して決まるという. を与えるとともに，文書を作成する一般利用者とソフト. 例は，表計算において列のいくつかの数値要素の総和が. ウェア開発者に先進的ツールを提供することを目指した．. 列の要素から決まることや，書籍の目次が本文の章の題. 本研究は 2003 年度から 2007 年度までの 5 年間にわ. 目から定まるといったところに見ることができる．PSD. たって文部科学省リーディングプロジェクト e-Society. の考え方は，このような依存性をプログラム Code に. の「高信頼構造化文書変換技術」として実施した．そ. よる計算によって表現し，表計算にあるような計算機構. こでは，技術的基盤として，文書内にプログラム記述. を付随させて構造化文書処理を実現しようとするもので. を含むプログラマブル構造化文書（Programmable. ある（図 -1）．. Structured Document, PSD ）の枠組み，および構造化文書処理における双方向変換（Bidirectional. PSD の計算機構では，数値計算だけではなく文書の一部を結果とするような計算も許容する．具体的には，情報処理 Vol.49 No.11 Nov. 2008. 1265.

(2) ｛第一部｝高い生産性を持つ高信頼ソフトウェア作成技術の開発. 特集. 学. と. 産. の連携による基盤ソフトウェアの先進的開発. fwd. Code Code. Tar Src. Src. Src に依存する Tar が Code によって計算され. る. Src. Tar. Tar. 編集. 双方向変換. Tar は Code によって表現され Src から Code によって生成される. Src. bwd. Tar. 図 -1 プログラマブル構造化文書. 図 -2 双方向変換による構造化文書処理. Tar が Src から Code によって生成されるものとして，文書中の Tar にあたる部分に Code を埋め込んで PSD 文書を構成する．このような PSD 文書内の Code を記. がある．通常の XML による目次付き文書では，目次に. 述するためのプログラミング言語は一般的なものでよ. のない文書を作成してしまうことがあり得る．これに対. い．このような文書では，Src の部分に変更が加えられ. して，PSD 文書の枠組みでは，本文 Src から章の題目. たときに一時的に項目間の整合性は崩れるが，Code を. を抽出する変換 fwd による結果 Tar を目次とすること. 再実行することによってその変更が Tar 部分に反映さ. によって，本文中の章の題目の変更を目次に反映させて. れて整合性を保証した文書を得ることができる．. 一貫性のある文書を作ることができる．しかし，このよ. 本研究の初期段階には，このような考え方に基づいて. うな PSD の枠組みでは文書の一貫性を保持できる反面，. いくつかのアプリケーションソフトウェアを開発してそ. 編集の自由度が制限されてしまう．たとえば，上のよう. の有効性を確かめた．木構造計算シート TreeCalc は，. な文書では変換結果である Tar の目次の部分を編集す. 表計算シートにおける表セルの代わりに木構造の木ノー. ることはできない．これに対して，目次の編集を許す逆. ドを用いて計算を行う対話的なアプリケーションであ. 方向の変換 bwd があれば，目次に含まれる章の題目の. る．XML を用いた木構造で表されるデータ上の計算を，. 変更を本文の章の題目に反映させることができる．. 一般の表計算シートのソフトウェアよりも効率よく扱え. このように，順方向変換 fwd だけではなく逆方向変. るのが特徴である．TreeCalc では，XML 上の木ノード. 換 bwd をも同時に実現する双方向変換は PSD の枠組. の値を計算するために，XML の構造上の位置を参照す. みにおいて重要な基盤技術を与えることになる．双方向. る XPath によって他の部分の値を参照して計算するプ. 変換は順方向の変換ごとにその逆方向の変換の定義を与. ログラム Code をそのノードに埋め込んで PSD 文書を. えることによって実現することができるが，両方向の変. 構成している．また，対話的動的文書 iDocument は，. 換を矛盾なく維持することは一般には難しい．特に，構. 対話的に利用者の入力に基づいて内容が変化する文書で. 造化文書処理においては，原文書 Src の情報量を落とす. ある．この iDocument は XML 文書の編集操作として. ような単射ではない順方向変換 fwd を扱うので，この. 利用者の入力を受け取り，それに応じて文書内容を動的. 逆方向変換 bwd では，一般の逆関数とは異なり，更新. に作成するプログラム Code を XML 文書内に埋め込む. された結果 Tar’だけではなく原文書 Src に関する情報. ことで対話的文書の作成を実現している．. も考慮する必要があるからである（図 -2）．双方向変換. これらのアプリケーションの開発を通じて，PSD 文. 技術による構造化文書処理の詳細については，文献 1)，. 書編集を簡便に行うために（株）ジャストシステムの. xfy Client にプラグインすることによって機能拡張を行う一般利用者向けの PSD 文書編集システム biXfy を開. 5) を参照されたい．我々は順方向変換 fwd とともに逆方向変換 bwd を同時に記述することのできる言語 Bi-X を関数型言語の設. 発した．. 計方針に基づいて設計した．それによれば，一般の言語. 置かれた章の題目と本文中の章の題目は独立した文字列として表現されるので，それらを個別に変更して一貫性. による順方向変換の記述と同様の記述を Bi-X で与える. 双方向変換による構造化文書処理. ことにより，順方向変換に対応する逆方向変換も得るこ. 内部に依存関係を持つプログラマブル構造化文書. には順方向と逆方向の意味（セマンティクス）が同時に. （PSD）の簡単な例の 1 つに書籍のような目次付き文書. 1266. 情報処理 Vol.49 No.11 Nov. 2008. とができる．すなわち，言語 Bi-X のプログラム Code 定められているのである．.

(3) 6. 双方向変換による高信頼構造化文書処理本研究では，これらの双方向変換にかかわる基盤技術をもとにして文書処理システムを開発し，一般利用者が簡便に XML 文書処理を行うためのプログラマブル文書編集システム biXfy，および Web サイト編集支援システム Vu-X を公開している．これらはいずれも双方向変換技術を応用したソフトウェアであるが，一般利用. XML ソース Src. 初期変換サービス. Bi-X プログラム Code. できるものである．一方で，XML 文書処理システムの. XML ビュー Tar’ ’. Bi-X サーバ. 者はそれを意識することなく，文書の一貫性が保証される信頼性の高い文書処理ツールとして捉えることの. XML ソース Src’. Bi-X プログラム Code. XML ビュー Tar. XML ビュー Tar’. 開発者やプログラマは，biXfy システムによる具体的な. 更新変換サービス. XML ソース Src. アプリケーション設計や Vu-X による Web サイト設計にあたって双方向変換の知識を活用することができる．. Vu-X システムにはプログラマ向けに Bi-X プログラム. 図 -3 双方向変換サービス. 開発を支援するツールが用意されており，双方向変換技術を修得しつつプログラムを開発できるようにしてある．さらに，各種の XML 文書処理に双方向変換を利用. タフェースを用いて効率的に実行できる Bi-XJ を実装. することができるように，双方向変換 Bi-X サーバも公. している．Bi-XJ ライブラリの Java ソースコードは約. 開している．これを用いて双方向変換を利用した広範な. 15,000 行である 4）．言語 Bi-X によるプログラムは，通常のプログラミン. 文書処理システムを開発することができる．. グ言語とは異なり，ポイントフリー形式で記述されるた. 双方向変換言語 Bi-X と Bi-X サーバ. め，一般のプログラマにとっては Bi-X プログラミングは容易ではない．そこで，XML クエリ言語 XQuery か. 言語 Bi-X は双方向変換を記述するための言語である．. ら Bi-X への翻訳ツールなどを作成してある．. 我々は，関数型言語の設計方針に基づいて言語 Bi-X を. このようにして開発された Bi-X プログラムを実行す. 開発し，順方向変換を記述するだけで逆方向変換が自動. るための Bi-X サーバを開発した．これは，利用者がイ. 的に定義される枠組みを実現した．言語 Bi-X の処理系. ンターネットを経由してどのクライアントからでも双方. は Java ライブラリ Bi-XJ として作成されている．. 向変換のサービスを受けることができるようにしたもの. 言語 Bi-X は型付きの言語であり，その型は XML で. である．また，これを用いると，他の Web サービスな. 広く使われている Document Type Definition（DTD）. どと連携させて双方向変換を利用した Web アプリケー. と同等の表現力を持っている．プログラムの入力となる. ションを構築することも容易である. 原文書 Src の型と Bi-X プログラム Code が与えられた. Bi-X サーバで利用可能な基本的なサービスは初期変. とき，Bi-X インタプリタは順方向変換 fwd による出力. 換サービスと更新変換サービスの 2 つである（図 -3）．. である目的文書（ビュー）Tar の型を推論する．これに. 初期変換サービスは原文書ファイル Src（あるいはその. より，もし原文書 Src が宣言された型を持つならば，順. ポインタ）と Bi-X プログラム Code を受け取り，Src. 方向変換 fwd によって生成されたビュー Tar は推論さ. に対して順方向の変換を施した結果（ビュー）Tar を返. れた型を持つことが保証される．また，更新されたビュー. す．更新変換サービスは，原文書ファイル Src と Bi-X. Tar’が推論された型を持つならば，逆方向変換 bwd によって更新された原文書 Src’は宣言された型を持つ．型推論では Bi-X インタプリタは各構成子に型情報を付加しており，この型情報は，ビュー Tar を更新してビュー Tar’に新しい要素を挿入する場合に利用される．言語 Bi-X の実行を支援するライブラリ Bi-XJ は XML の標準的な内部表現 JDOM に対して Java で実現したが，Bi-X プログラムでは XML の原文書の変換の際. プログラム Code，および更新されたビュー文書 Tar’. に大量の中間データが生成されて無駄な処理が多くなっ. をもとにして，我々は PSD の枠組みに双方向変換技術. てしまうので，部分木の共有を表現できる DOM ライ. を適用して，より簡潔にアプリケーションを作成するた. ブラリ JDOMX を作成して，JDOM のものと同じイン. めのプラットフォームを開発した．そこでは，依存関. 3）. ．. を受け取り，逆方向の変換を施して得られる更新後の原文書ファイル Src’とそれに順方向の変換を施した新しいビュー Tar’ ’の 2 つのデータを返すサービスである．. PSD 編集システム biXfy 本研究の初期に試行開発した PSD アプリケーション. 情報処理 Vol.49 No.11 Nov. 2008. 1267.

(4) ｛第一部｝高い生産性を持つ高信頼ソフトウェア作成技術の開発. 特集. 学. 産. と. の連携による基盤ソフトウェアの先進的開発書を作成するには，まず，想定している XML 文書のス. xfy View Designer. スキーマデザイン + スキーマへのプログラム埋込み. 依存関係記述スキーマ. キーマに合わせて，xfy View Designer を用いて依存. ビュー定義データ. ビューデザイン + 編集 UI の定義 + 変換用コマンド定義. プラグイン. Bi-X へ変換 + 依存解析 + Bi-X 合成. 関係記述スキーマを作成し，スキーマを満たす XML のブラウザ上でのレイアウトを定義する．このとき，このスキーマには，XML 文書に対するものに加えてその文書から抽出などの変換によって派生する文書構造や要. Bi-X プログラム. Code. 素も含む全体の XML 文書の型の情報をスキーマとして. xfy Client ビュー文書の編集. XML ソース. Src. XML ビュー. 双方向変換. Tar. 図 -4 依存関係技術スキーマによる双方向文書作成. 定義することになる．xfy View Designer では，さらにブラウザ上で XML 文書に変更を加えるためのインタフェースや変換用コマンドを呼び出すためのメニューを定義することができる．XML 文書を xfy Client で開くと，この文書は既定のビュー定義に従って表示されるが，メニューから変換プログラムを生成するコマンドを選ぶとプラグインが起動し，依存関係記述スキーマから埋め. 係を記述するプログラムを XML 文書内ではなく XML. 込まれたコードを抽出して個別の Bi-X プログラムに変. Schema の記述内に置き，プログラムを XML 文書のい. 換し，さらに参照関係を考慮して適切な順序で対応する. くつもの場所に埋め込むことはしないで，このスキーマ. 場所に出力する 1 つの Bi-X プログラムを生成する．こ. に記述した依存関係から編集操作時に使用する双方向更. うして，もとの XML 文書を双方向変換の原文書 Src と. 新コマンドを自動作成することによって，文書更新時の. し，その XML 文書とそれから派生した部分を合わせた. 項目間の一貫性を確保している．この機構を xfy Client. を参照して抽出や並べ換えなどの操作を記述する．この. XML 文書全体を目的文書（ビュー）Tar とする変換プログラム Code を得る．双方向変換による編集を行うには，まず，biXfy のメニューから順方向変換を行う Init コマンドを選択して編集用のビューを作る．すなわち，Bi-X プログラム Code が XML 原文書 Src に対して順方向変換を施してビュー文書 Tar を生成し，それが View Designer で定義されたビューに従った表示を得ることになる．xfy Client 上でビュー文書 Tar の既存データ部分または派. ような依存関係記述スキーマを設計したのは，このス. 生データ部分に変更を加えると，一時的に一貫性が崩れ. キーマに従う XML 文書に対して，スキーマの埋込みコー. るが，biXfy メニューから Update コマンドを選択して. ド要素に該当する要素として埋込みコードの実行結果. 逆方向変換─順方向変換を順に施すことによって XML. を置いて PSD 文書を構成することを意図したものであ. 原文書 Src に変更を反映させるとともに，一貫性を保っ. る．プログラムは XML Schema の annotation 要素内. たビュー文書 Tar が得られる．. の appinfo 要素中に記述してスキーマ内に埋め込まれ. 公開している biXfy プラグインの付属資料には，注文. る．appinfo 要素は WXS の中でコメントを記述するた. 管理システムと図書管理システムの例を添えてある．注. めのものであるが，ここではその情報を依存関係の記述. 文管理システムは，顧客からの注文の XML データをデー. として利用する．繰返しが定義されている要素定義部分. タベースとして，入荷済み商品，引渡し済み商品等を区. にプログラムを埋め込むと，対応するそれぞれの XML. 別して，それぞれの目的に合わせたビュー上で変更を加. 要素内に実行結果が出力されるので，XML 文書の要素. えるというアプリケーションである．また，図書管理シ. ごとに同様のコードを記述するよりも手間がかからず，. ステムは貸出者のデータを含む所蔵図書リストから利用. 誤りの入る可能性も低くなる．埋め込まれた XQuery. 者別の貸出状況リストを自動生成して，図書の貸借時に. のプログラムは単一方向の依存関係を記述しているが，. 所蔵図書リスト，あるいは貸出状況リストのいずれかを. biXfy ではこれを双方向言語 Bi-X のプログラムに自動. 編集すればそれが他方にも反映されるというものである．. のプラグインとして機能する biXfy として実装して，. xfy が提供するツールと連携した XML 文書編集システムを実現している．依存関係を記述するスキーマは，W3C XML Schema （WXS）に XML 文書内の要素間の依存関係を記述する XQuery プログラムを埋め込んだものである．その. XQuery プログラムでは，パスによって文書内の要素. 翻訳して実行するので，逆方向の依存関係も含んだ双方向の依存関係を定義することになる. 2）. ．. 依存関係記述スキーマによる双方向 PSD 文書を作成する仕組みの概要は図 -4 に示してある．双方向 PSD 文. 1268. 情報処理 Vol.49 No.11 Nov. 2008. Web サイト編集支援システム Vu-X 一般に Web サイトは複数の Web ページの集合とし.

(5) 6. 双方向変換による高信頼構造化文書処理. XML データ. クライアント（Web ブラウザ）. HTML. HTML. HTML. HTML. Bi-X. サーバ. サーバ. Bi-X プログラム. HTML. 図 -5 双方向変換による Web サイトの構成. Vu-X. XML データ. 図 -6 Vu-X の構成. て構成され，ページ間の情報の一貫性を保持することは難しい．これを解決するために，共有の XML データとそれを HTML 文書に変換するプログラムを用意することが考えられる．このような，XML-based Publishing と呼ばれる方法は，XML データを更新することによってページ間の一貫性を保証しようとするものである．しかし，この方法では XML データベースの中で更新すべき場所を特定しなければならず，このような操作は必ずしも容易ではない．我々は，このような問題点の解決のために，図 -5 に示すような方式で，双方向変換に基づいた XML-based Publishing による Web サイト編集支援システム Vu-X を開発した. 6）. ．. この方式には以下のような特徴がある．. • XML データベース Src と双方向変換プログラムにより Web サイトを構成するので，Web ページ相互の情報の整合性を保つことができる．. • XML データ Src から HTML 文書 Tar への変換 Code を記述するだけで，HTML 文書側の編集結果はもとの XML データに反映される． • 双方向変換ための Bi-X サーバを利用することにより，. 図 -7 Vu-X のスクリーンショット. 存・管理する通常のファイルサーバに加えて，双方向変換を実行する Bi-X サーバと Web ページの編集を支. クライアント側には特別なソフトウェアを必要としな. 援する Vu-X サーバを利用している．Vu-X サーバは各. いで Web ページを更新することができる．. Web ページの内容の更新や Bi-X によるプログラムの. • サーバと交信する JavaScript を HTML 文書に付加することにより，クライアント側では Web ブラウザ上で HTML 文書の編集ができる．これにより，特別なアプリケーションがなくても WYSIWYG スタイルで Web ページの更新ができる．. 作成支援に重要な役割を果たしている．双方向変換の原文書 Src としての XML データと目的文書 Tar としての Web ページ（HTML 文書）への変換プログラム Code が Bi-X で与えられたとき，Bi-X の処理系による順方向変換の結果はブラウザで表示されるべき HTML 文書であるが，このままではブラウ. 双方向変換による XML-based Web Publishing に. ザから編集することはできない．そこで，Vu-X サー. よる Web サイトの構成では，各 Web ページは XML デー. バは Bi-X サーバから送られてくる HTML 文書に編集. タベースと Bi-X プログラムによって与えられる．それ. 機能を追加する JavaScript プログラムを付加して，そ. ぞれの Web ページは図 -6 に示すような仕組みで編集. れをクライアントの Web ブラウザに渡している．こ. される．この機能は，通常の Web ブラウザから Web ペー. の JavaScript プログラムにより，クライアントが受け. ジを更新できるように，Web アプリケーションとして. 取った HTML 文書をブラウザ上で直接編集することが. 提供されている（図 -7）．. できるようになっている．このように，編集のための. この枠組みでは，XML データや変換プログラムを保. JavaScript プログラムを埋め込んだ HTML ファイルに情報処理 Vol.49 No.11 Nov. 2008. 1269.

(6) ｛第一部｝高い生産性を持つ高信頼ソフトウェア作成技術の開発. 特集. 学. と. 産. の連携による基盤ソフトウェアの先進的開発. Click a ul component to edit.. 図 -8 Vu-X サーバが埋め込む JavaScript による編集支援. は，各要素にイベントハンドラを登録してあり，要素を. 文等で公表したものであるが，ここでは，紙面の関係で. ダブルクリックするとその部分を編集するポップアップ. 参考文献は限定して示してある．関連論文はそれらから. ウィンドウが表示されて種々の編集操作ができるように. 参照していただきたい．. なっている（図 -8）．. 本研究は，筆者が研究代表者を務めた上記プロジェク. Bi-X プログラム作成支援ツールは，HTML. トにおいて，胡振江，中野圭介，林康史，劉東喜，西岡. WYSIWYG エディタと Bi-X コードビルダの 2 つのツールで構成されている．HTML WYSIWYG エディタでは，GUI を通じて HTML の要素を配置することによって，Bi-X コード埋込み HTML の編集ができる．GUI による既存の HTML WYSIWYG エディタと異なる点は，編集機能が言語 JavaScript で実装されているので Web ブラウザ上で利用できることと，XML データに依存する要素が Bi-X コードビルダによって挿入されるという点である．Bi-X コードビルダは XML データを入力として HTML 文書の一部の要素を返すような Bi-X プログラムを記述するためのものである．言語 Bi-X に. 真吾，筧一彦各氏により実施されたものである．また，. は，一般の言語にあるような，操作対象を表すための変数は存在しないので，言語 Bi-X によるプログラミングでは，変数を使わないポイントフリー形式で記述する．そのために，プログラムの実行によってどのようにデータが変換されているかが認識しにくく，プログラムの生産性の妨げになることも少なくない．そこで，プログラマが，原文書となる XML データの変換の様子を追跡できるように GUI を提供している．Bi-X コードビルダは. Java アプレットとして実装されており，Vu-X システムの HTML WYSIWYG エディタから JavaScript を通じて呼び出すことができる．. おわりに. （株）ジャストシステムの植松直也，原雅文，田村恭士各氏ほかの協力を得た．本研究の成果が広く活用されるとともに，継続してさらなる研究を進め，先進的な高信頼構造化文書処理の方法論とソフトウェアツールを一般利用者とソフトウェア開発者に提供してゆきたいと考えている．参考文献. 1) Mu, S. -C., Hu, Z. and Takeichi, M. : An Algebraic Approach to Bi-directional Updating Problem, The 2nd Asian Symp. on Prog. Lang. and Systems (APLAS2004), Taipei, Taiwan, LNCS 3302, pp.2-20 (Nov. 4-6, 2004). 2) Liu, D., Hu, Z. and Takeichi, M. : Bidirectional Interpretation of XQuery. ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), Nice, France, pp.21-30 (Jan. 15-16, 2007). 3) Hayashi, Y., Liu, D., Emoto, K., Matsuda, K., Hu, Z. and Takeichi, M. : A Web Service Architecture for Bidirectional XML Updating, The Joint Conf. of 9th Asia-Pacific Web Conf. and 8th Int. Conf. on Web-Age Inf. Management (APWeb/ WAIM'07), Huangshan, China, LNCS 4505, pp.721- 732 (June 2007). 4) Liu, D., Hu, Z., Takeichi, M., Kakehi, K. and Wang, H. : A Java Library for Bidirectional XML Transformation, コンピュータソフトウェア，Vol.24, No.2, pp164-177 (2007). 5) Hu, Z., Mu, S.-C. and Takeichi, M. : A Programmable Editor for Developing Structured Documents Based on Bidirectional Transformations. Higher-Order and Symbolic Computation, pp.89-118 (Springer, 2008). 6) Nakano, K., Hu, Z. and Takeichi, M. : Consistent Web Site Updating Based on Bidirectional Transformation. The 10th IEEE Int. Symp. on Web Site Evolution (WSE2008), Beijing, China (Oct. 3-4, 2008). （平成 20 年 7 月 29 日受付）. 本研究は文部科学省の「高信頼構造化文書変換技術」プロジェクトとして実施したものである．その成果として，本稿で述べたものを始めとするいくつかの実用的なソフトウェアを http://www.psdlab.org/ で公開している．また，本稿で概要を述べた技術的内容はすでに論. 1270. 情報処理 Vol.49 No.11 Nov. 2008. 武市正人（正会員） takeichi@mist.i.u-tokyo.ac.jp 東京大学情報理工学系研究科教授．1972 年東京大学，電気通信大学，東京大学を経て 1993 年東京大学教授．2003 年より日本学術会議会員．ソフトウェア科学の教育研究に従事．日本ソフトウェア科学会， ACM 各会員．.

(7)