XMLとコンピュータサイエンス
スポンサーリンク
概要
- 論文の詳細を見る
XMLの普及にともない, さまざまなデータをXMLで統一的に記述し, これを処理したり交換したりすることが一般的になってきている.本稿ではこのような処理や交換に用いられるXML変換の技術に注目する.XML変換はまたコンピュータサイエンスのさまざまな分野と関連してくる面白いトピックである.その例としては, オートマトンや木変換器といった既存の理論にXML変換に対する新しい応用が考えられたり, またいままでのプログラミング言語のものと異なる新しい型システムが必要とされたり, などということが挙げられる.本稿では特に形式言語やプログラミング言語の分野の知識を使って, XMLの変換処理の技術とその最新のトピックをフォーマルに議論する.具体的には木変換器と正規表現型の話に触れる.そしてこれらによってどのようにXML変換の正しさを保証したり(XML変換の型検査), また与えられたXMLの変換処理をどのように最適化して効率のよいものにするのか(XML変換の合成)ということを見てゆく.
- 一般社団法人情報処理学会の論文
- 2005-09-15
著者
関連論文
- スクリプト言語とJava--Javaの観点からスクリプト言語を理解する (特集 新時代へ突入するソフトウェア開発トレンド)
- ビュースキーマを用いたXMLアクセス制御(XMLとアクセス制御)(夏のデータベースワークショップDBWS2004)
- ビュースキーマを用いたXMLアクセス制御(セッション2B : XMLとアクセス制御)(夏のデータベースワークショップ : DBWS2004)
- View Schemas for XML Access Control (夏のデータベースワークショップDBWS2004)
- 静的解析を用いたXMLアクセス制御
- 分散ソフトウェアのテストに適したアスペクト指向言語(プログラミング言語の設計)
- リフレクションの高速化技術
- テンプレート・プログラミングモデルに基づく自動ウェブ・クライアント・サーバ分割
- XMLとコンピュータサイエンス
- JAVA2のPermission機構のモデル化と実験
- SPA 2004の報告
- 静的解析を用いたXMLアクセス制御
- ソフトウェア・アーキテクチャ研究動向の調査報告概要(ソフトウェア工学の動向報告)
- 文字列解析を用いたアクセス権推論の精度向上(検証/セキュリティ)
- WebアプリケーションのWebサービス変換(組み込み・Web(学生セッション))