ページもしくは巻、ページを入力してください。検索条件と一致する記事が見つかりませんでした。検索結果に複数のレコードがあります。号を指定してください。ページもしくは巻、ページを入力してください。検索条件と一致する記事が見つかりませんでした。検索結果に複数のレコードがあります。号を指定してください。巻、号、ページもしくは巻、ページを入力してください。検索条件と一致する記事が見つかりませんでした。検索結果に複数のレコードがあります。号を指定してください。抄録を表示する抄録を非表示にするプログラミング言語において、クラスとML-styleのモジュールは補完的な関係にある。前者は拡張性に優れ、後者は抽象化の扱いに優れている。本論では、相互参照のあるオブジェクト指向モジュールシステムを構築することで、両機構を併せ持つ言語の設計を提案する。本システムでは、モジュールとクラスが同一視されており言語の簡潔さが保たれている。モジュール間に循環的な依存関係が存在し得るため、このシステムの設計においては、安全性を静的に保証することは困難な問題となる。我々は、決定可能な型システムによりモジュールの定義が循環的に依存していないことを保証する。値呼び出しの意味論を定義し、型システムがこれに対して健全であることを示す。抄録を表示する抄録を非表示にするソフトウェア工学における主要な研究目標の一つである「複雑性の制御法」に関する技術をオントロジー工学を適用して分類する。Engineering,ソフトウェア工学辞典に含まれている知識を対象とし、それらの知識をプロセス、アクティビティ、知識単位の3層からなる知識階層として整理する。抄録を表示する抄録を非表示にする横断的関心事を明示的に扱うアスペクト指向モデリングでは、抽象度の高いデザイン段階のアスペクトに対して紡ぎあわせを行う。アプリケーション固有の意味が関係するため、紡ぎあわせを自動化することが難しい。紡ぎあわせ前後でシステムが持つ性質を保存することを確認しなければならない。本稿では、役割に基づくアスペクト指向モデリングを基本とし、紡ぎあわせの系統的な方法を提案する。具体例としてアクセス制御アスペクトを用い、形式仕様言語Alloyを用いる方法を議論する。抄録を表示する抄録を非表示にする我々は、アクセス集中時においても、安定してサービスを提供することができるWebサーバのアプリケーション(App)レベル・スケジューラを開発している。Webサーバは、様々な環境で稼動されており、サーバの性能はマシン性能やOSに大きく依存する。Appサーバの性能を測定することで、性能が実際にOSに大きく影響されることを示す。Appサーバとしてよく知られるTomcatを動作させ、Tomcatに負荷の異なる複数のservletを処理させる実験を行った。実験の結果、OSの違いにより、servletの処理性能に無視できない大きな差が出ることを確認した。OSレベルスケジューラだけで安定したサービスを提供するのは困難であり、Appレベルスケジューラを用いて性能の改善を試みる余地があることが示された。抄録を表示する抄録を非表示にするリモートコンポーネントを組み合わせて得られるコンポーネントベースシステムは、長期の運用を実現するために高い保守性を持つことが望ましい。保守性の判定法として、複雑度の測定がある。従来の測定法は、オブジェクト指向クラス集合、もしくは、一般的な抽象化によって得られる構造を測定対象とし、コンポーネントを単位とした保守作業の容易さを適切に反映しない。本稿では、リモートコンポーネントの特徴を考慮してコンポーネントベースシステムを段階的に抽象化し、得られる構造に対して要素間の関連に基づく複雑度を測定する手法を提案する。複数のEJBアプリケーションについて測定実験を行った結果、得られる複雑度が保守性を適切に反映することを確認した。抄録を表示する抄録を非表示にする本稿では、リアルタイムプログラムの機能仕様書と、システムの動作遷移をモデル化した時間オートマトン記述から、コード生成向きのシステム設計仕様を新たに生成する手法を提案する。リアルタイム性を要するソフウェア開発において、時間制約など要求仕様が頻繁に変更されることによる開発工程の圧迫が問題となっている。ここで、システムの設計仕様から自動的にコードを生成することが可能であれば、ソフトウェア開発工程での作業負荷の軽減が期待できる。Java)を対象としたスケルトンコードの自動生成を目指す。experience)が低下する原因となる。アプリケーション)を自動的に生成する手法を提案する。この手法により特別な概念やスキルを習得することなくユーザ体験が改善されたアプリケーションを開発できる。抄録を表示する抄録を非表示にするソフトウェア開発の需要はますます高まるばかりだが、今日のソフトウェアの複雑さと相まって困難になってきており、このソフトウェア需要の増加に応えていくにはソフトウェア開発はより一層の効率化が必要である。ソフトウェアの開発をプログラムコードよりも一歩抽象的で人間にとって分かりやすい概念で行うことにより、開発の一層の効率化を行える可能性があり、また同時に不具合の発生率も低く抑えることが可能なはずである。本研究ではそれを実現する一手法として、プログラムの状態遷移表記(ObCLを用いた)から、プログラムコード生成を行った。状態遷移表記の「状態」に実機上での動作に関するコードを埋め込み、「遷移」に遷移条件を埋め込むことでプログラムコードを生成を行っており、問題領域を状態遷移上で分割し、状態の遷移に関する具体的なロジックを半自動的に生成することで開発の効率化を試みている。Quicksort(MKQ)とBurstsort(Burst)がラディクスソートより高性能を持つと報告された.その要因はラディクスソートがソート過程中に大量なキャッシュミスを起こすからだと考えられる。抄録を表示する抄録を非表示にするΣモノイドとはFiore,Plotkin,Turiらによって提案された変数束縛と代入の機構を持つ言語の代数的モデルである。本論文では、このモデルから具体的な「言語」を構成する。これは数学的には、代数的な自由生成によってΣモノイドを構成することによる。結果として得られる言語は、自動証明システムやプログラム変換でよく用いられる高階抽象構文と呼ばれるものに類似した言語であるが、いくつかの点で拡張されており、また付随する代入操作を統一的に説明することが可能である。このことを示すために、同様の目的を持ついくつかの具体的な形式的体系とこの言語を比較して考察する。これにより、この言語が「メタ変数」と「明示的環境」とみなすことができる構文的要素を自然に持つことをみる。λ計算を文脈の「穴」で拡張した体系との興味深い一致を示す。抄録を表示する抄録を非表示にする本研究では型付き関数型言語を基にしたアスペクト指向言語を提案する。アスペクト指向機構部分はJavaを基にしたアスペクト指向言語AspectJにならい、ポイントカット・アドバイス機構と型拡張機構を持つ。本稿ではそれらの機構の設計と、その際に見られた関数型言語特有の問題点および解決策について述べる。プログラム実行時のメソッド呼出しとフィールド変数の値の変化をそれぞれ解析し、通常の呼出し系列や通常の値から(大きく)外れた挙動をはずれ値として検出する。これにより、通常とは異なる挙動を示すメソッドや変数、あるいは挙動の原因となった入力や呼出し元のメソッドを障害の原因とみなすことができる。本稿では、両システムの動作を実例を用いて説明する。実稼働中のソフトウェアに対する本手法の適用や、異常と障害との関係について論じる。抄録を表示する抄録を非表示にする対話的システムは、誤操作の修正手段としてユーザにUndo機能を提供するが、その適用範囲は各々のアプリケーションに限られる。Linuxを拡張し、Linuxの複数の計算状態を保存、再実行できるようにしたものである。SBUMLを用いて、オペレーティングシステムレベルにおける、より汎用的なUndo機能を実現することが可能である。通常のアプリケーションのそれと異なり、サーバのインストールのような、本来不可逆な操作をもUndoできる。このようなUndoに基づいて、使い勝手の良いバックアップ機能のみならず、様々な応用が考えられる。その一つとして我々は、GNUデバッガの拡張を提案し、いかにデバッグ効率を向上させるかについて述べる。今回のシステムの特徴を、以下に挙げたいと思います。(1)今のコンピュータデータの処理には、以下の処理が含まれています。_丸1_算術演算_丸2_挿入処理_丸3_削除処理_丸4_置換え処理_丸5_検索処理_丸6_抽出処理_丸7_結合処理(2)全ての処理を式で表しています。(3)上記の演算は算術演算と同じレベルです。_丸2_から_丸7_の演算は列演算群と呼びます。(4)これに対して、各種のデータ(数量データ、文字データ等)には、データ固有の演算処理があります。この列演算のために、幾つかの新しい演算子を演算式に組み込んでいます。(γ,ζ,ρ,χ,φなど)φは数学の集合理論で、空集合を表す記号です。抄録を表示する抄録を非表示にするLMNtalは無方向リンクと膜機能を特徴とする並行言語モデルであるが、諸機能の相互作用を考慮した操作的意味論の設計は、多くの議論と多角的検討を要する作業であった。本発表ではLMNtalの最新機能を紹介するとともに、意味論の設計過程で直面したいくつかの問題点について考察する。抄録を表示する抄録を非表示にする本研究では、プログラムの動作の意味を、そのソースコードから時相論理式として抽象化し、それを用いてデッドロックが起きることがない等の動作仕様をプログラムが満たしているかを効率的に判定する自動的な方法を提案する。並行プログラムに焦点を当て、その部分的意味を論理式で表現する手続きを与えた。この手続きはプログラムの同期に関係する記述や、条件分岐の記述などの処理に関わるものの中で特に動作に影響を与える記述を境界として、コードレベルでプログラムを領域分解し、その領域間のスレッドの動きに注目することでプログラムの動作に関する意味を論理式に変換するものである。この論理式から仕様を記述した論理式が推論できるかどうかによってプログラムの正しさが検証される。抄録を表示する抄録を非表示にする実行時検証は、実行時にシステムが満たすべき性質を満たしているかを、そこまでの実行系列より動的に検証する手法である。このような検証は、システムをモデル化したものを静的に検証するよりも少ない計算コストで行うことができ、テストや実際の運用時の情報収集に有効である。本論文では、ユーザにより記述された動作仕様を実行系列が満たしているかを調べる実行時検証手続きを与える。仕様を記述する言語として、線形時間論理に自然数時間を付与した簡単な実時間論理を扱う。これらの論理は無限の状態列をモデルとするが、実行時検証においては検証する実行系列は有限であるので、有限の解釈を与え、それを基に検証を行う。本手続きでは、実行前において仕様と等価な時間オートマトンのような構成物を作らず、実行系列を得るごとに動的に必要な部分の構成を変化させて検証を行う。抄録を表示する抄録を非表示にするHyperPageは、かってのHyperCardを近代化した、ユーザ指向オーサリングプログラムである。HyperPageの文書はHyperPageの集合であり、一定順に並べられる。classにまとめることができる。機能を追加することができる。instanceを生成する。Pageには、frame、pane、control等のオブジェクトが配置される。これらのページのデータはXMLによって、記述される。本報告では、HyperPageの基本概念について述べる。抄録を表示する抄録を非表示にする組織における財務情報を記述したXBRL文書は,XML文書であり,財務データを記述したインスタンス文書と財務諸表の様式を定義したタクソノミから構成される。組織では,基本的なタクソノミを表現したXBRL文書を拡張・修正して,その組織専用のタクソノミを構築することが一般的である。そのため,基本となるタクソノミが改訂された場合には,その改訂に応じて組織専用のタクソノミの修正も必要となる。タクソノミの修正・再構築は人手に依存する要素が多く,非常に手間のかかる作業となる。そこで,本研究では組織用に拡張・修正されたタクソノミを生成する際に用いた基本となるタクソノミに施した変更処理を検出し,それを再利用し,改訂に対応した新しいタクソノミを半自動的に再構築する方法を提案する。変更処理を検出することにより,タクソノミの拡張箇所と修正箇所が抽出でき,XBRL文書の再構築が比較的容易に実現可能となる。抄録を表示する抄録を非表示にするローカルポリシーに違反するアプリケーションの実行を抑止する機構が数多く提案されているが、動的検出によるものは問題箇所で場当たり的に実行を突然アボートするなど、利用者の観点からは不便なものが多い。本稿では問題のある機能を自動的に無効にした上でアプリケーションの機能を限定して実行できる機構を提案する。モジュール化されたアプリケーションにおいて、ポリシーに違反するモジュールを静的プログラム解析により検出して自動的に切り離したり、コード埋め込みによる動的解析で実行時に該当機能が呼び出されないようにする。GUIアプリケーションでは、ウィジットツリーの解析により、切り離されたモジュールを呼び出しているメニューアイテムやボタンを無効にするなど、利用者が禁止された機能を選択できないようなコード変換を行う。今回、統合環境Eclipseにおいて、本機能を実装した。バージョンバリアとは、あるバージョンのクラスのインスタンスを別バージョンのクラスの変数へ代入させない仕組みである。同じ名前でも別のクラスローダでロードされたクラスは異なるクラスとして認識され、本稿では、そのようなクラスを異なるバージョンと表現する。バージョンバリアが緩められることで、古いアプリケーションは進化のために新クラスローダによりロードされた別バージョンクラスのインスタンスを受け取れる。一方のバージョンがもう一方のバージョンに互換するようにクラスをロードする。抄録を表示する抄録を非表示にする本論文では、仮想計算環境を提供するシステム(仮想環境システム)とアプリケーションの協調により仮想化処理を最適化する仕組みを提案する。通じてプログラマは自分が持つ知識を仮想環境システムに伝える。仮想環境システムは伝えられた知識を用いて自身の処理を最適化する。多くの関数から成るが、本論文では、仮想化処理や安全性検査の投機実行を支援するための関数と将来アクセスされる可能性が高い資源の情報を伝える関数に焦点を絞って述べる。