| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SWIM | 2010-06-04 14:20 |
東京 | 機械振興会館 | プロセス代数CCSによるBPELの形式化 ○山内一馬・新川芳行（龍谷大）  SWIM2010-4 |
Webサービスオーケストレーション言語であるBPELによりビジネスプロセスの自動化や高度な判断処理を要する情報システムの... [more] | SWIM2010-4 pp.23-28 |
| SWIM | 2010-06-04 16:05 |
東京 | 機械振興会館 | UMLアクティビティ図-クラス図間の整合性検証 ○堂西祐一・新川芳行（龍谷大） SWIM2010-6 |
統一モデリング言語 (UML)を用いることにより、ソフトウェアの構造及び振る舞いについての仕様を詳細に記述できるが、各U... [more] | SWIM2010-6 pp.39-44 |
| SWIM | 2010-06-04 16:30 |
東京 | 機械振興会館 | 時間制約が存在するUMLの正当性検証 ○野村将人・新川芳行（龍谷大） SWIM2010-7 |
本論文では、モデル検査ツールUPPAALを用いてUMLシーケンス図の正当性を検証する方法について述べる。UPPAALはシ... [more] | SWIM2010-7 pp.45-50 |
| SWIM | 2010-02-26 16:25 |
東京 | 機械振興会館B3-2 | UMLシーケンス図における時間制約の記述とその検証 ○安田佳宏・新川芳行（龍谷大） SWIM2009-24 |
UML2.0ではシーケンス図に時間制約の記述が可能となっているが, UML自体にはその検証機能がないため, 時間制約の検... [more] | SWIM2009-24 pp.27-32 |
| SWIM | 2009-11-27 11:05 |
東京 | 東京国際フォーラム 407会議室 | SOAにおけるサービス適合性検証 ○岡田 祥・新川芳行（龍谷大） SWIM2009-13 |
SOAを実現するWebサービスにおいて，多くのサービスの中から利用者の要求に適合するものを発見することは，一般的に困難な... [more] | SWIM2009-13 pp.7-12 |
| SWIM | 2009-11-27 11:35 |
東京 | 東京国際フォーラム 407会議室 | BPEL記述からの例外処理分離とその形式化 ○周 旭・新川芳行（龍谷大） SWIM2009-14 |
[more] | SWIM2009-14 pp.13-18 |
| SWIM | 2009-11-27 15:15 |
東京 | 東京国際フォーラム 407会議室 | クラス‐シーケンスモデル間の整合性検証 ○高谷彰俊・新川芳行（龍谷大） SWIM2009-16 |
UMLクラス図とシーケンス図はそれぞれシステムの静的及び，動的な側面をモデル化する記法として広く使われている．同一の問題... [more] | SWIM2009-16 pp.25-30 |
| SWIM | 2009-03-27 15:15 |
東京 | 機械振興会館 | ［特別講演］[特別講演]モデル正当性検証の虚と実 ○新川芳行（龍谷大） SWIM2008-29 |
モデル検証手法は形式・非形式手法を問わず多数提唱されているが、適用範囲はきわめて限定的であり、汎用性に欠けるという問題を... [more] | SWIM2008-29 pp.21-25 |
| SWIM | 2008-11-21 11:00 |
東京 | 東京国際フォーラム | ユースケース‐シーケンスモデル間の整合性検証 ○高谷彰俊・新川芳行（龍谷大） SWIM2008-18 |
シーケンス図には制約条件を記述する部分がないため、一般にモデルの検証が困難である。本論文ではユースケースの事前事後条件を... [more] | SWIM2008-18 pp.13-18 |
| SWIM | 2008-11-21 11:25 |
東京 | 東京国際フォーラム | モデル検査によるUMLアクティビティ図の正当性検証 ○井上貴至・新川芳行（龍谷大） SWIM2008-19 |
アクティビティ図は、処理の実行順序を表現するためのダイアグラムであり、UML2.0で大幅に改善されたものの1つである。こ... [more] | SWIM2008-19 pp.19-24 |
| SWIM | 2008-11-21 14:20 |
東京 | 東京国際フォーラム | SOAにおけるサービス記述の形式化 ○岡田 祥・新川芳行（龍谷大） SWIM2008-22 |
SOAの基盤技術の一つであるWebサービスにおける記述言語WSDLを用いることによって、提供するサービスのインタフェース... [more] | SWIM2008-22 pp.35-40 |
| SWIM | 2008-11-21 15:55 |
東京 | 東京国際フォーラム | トランザクション処理における補償プロセスの設計と実装 ○周 旭・新川芳行（龍谷大） SWIM2008-24 |
Web サービスの普及に伴ってトランザクション処理がますます複雑化し、それにより例外発生時の回復処理も複雑化して，従来の... [more] | SWIM2008-24 pp.47-52 |
| SWIM | 2008-05-23 14:10 |
東京 | 機械振興会館 | Webサービスによる分散データベース実現 ○岡田 祥・新川芳行（龍谷大） SWIM2008-2 |
本研究ではWebサービスの適用分野として分散データベースに焦点を当て、Webサービスの特性を生かした分散データベースの実... [more] | SWIM2008-2 pp.7-12 |
| SWIM | 2008-05-23 14:35 |
東京 | 機械振興会館 | UMLシーケンス図におけるモデル検証方法 ○高谷彰俊・新川芳行（龍谷大） SWIM2008-3 |
本研究おいてモデル検査ツールSPINを使ったシーケンス図の検証方法を提案する。SPINはモデル記述をPromelaという... [more] | SWIM2008-3 pp.13-18 |
| SWIM | 2008-05-23 15:15 |
東京 | 機械振興会館 | SPINによるビジネスプロセスモデルの正当性検証 ○片岡慶二・新川芳行（龍谷大） SWIM2008-4 |
本研究では、モデル検査ツールSPINを用いて、ビジネスプロセス記述言語BPMNで記述されたビジネスプロセスモデルの正当性... [more] | SWIM2008-4 pp.19-24 |
| SWIM | 2008-03-14 13:55 |
東京 | 機械振興会館 | MDAにおける整合性の検証と管理 ○井上貴至・新川芳行（龍谷大） SWIM2007-25 |
MDAはモデリングを基本とした開発手法であり、モデリングにはUMLなどのモデル記述言語が使用される。しかしながら、UML... [more] | SWIM2007-25 pp.13-18 |
| SWIM | 2008-03-14 16:50 |
東京 | 機械振興会館 | 不確定要素を含む問題領域からの要求抽出とモデル化 ○重光 真・新川芳行（龍谷大） SWIM2007-30 |
現在のソフトウェア開発法では、事前にルールやプロセスが存在する事が前提となっており、非定型業務では開発生産性の低下や最適... [more] | SWIM2007-30 pp.39-44 |
| SWIM | 2007-08-24 14:50 |
東京 | 機械振興会館 | ゲームソフトウェアへのモデル駆動開発適用 ○井上貴至・新川芳行（龍谷大） SWIM2007-9 |
ゲームソフト開発は開発方法論が確立していないため、開発生産性などに問題がある。ゲームソフト開発においても他のソフトウェア... [more] | SWIM2007-9 pp.9-14 |
| SWIM | 2007-08-24 16:20 |
東京 | 機械振興会館 | 特性要因図を用いたクラス構造決定手法 ○重光 真・新川芳行（龍谷大） SWIM2007-12 |
[more] | SWIM2007-12 pp.25-30 |
[研究会発表申込システムのトップページに戻る]