| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2017-03-17 10:30 |
島根 | 島根大学総合理工学部1号館情報棟1階情報科学講義室 | サービスのオーダーメイド設計のためのアスペクト指向によるアプローチ ○小川 佑・Muhammad Syafiq Bin Ab Malek・山口真悟（山口大）  MSS2016-94 |
サービスへの要求やニーズが多様化している．本稿では，サービスを一般的な要求と利用者ごとのニーズに分離して設計する方法を提... [more] | MSS2016-94 pp.73-76 |
| MSS, SS (共催) |
2015-01-27 10:00 |
鳥取 | ブランナールみささ | ワークフローネットのスーパークラス抽出問題とその解法の洗練 ○西 颯麻・山口真悟（山口大） MSS2014-83 SS2014-47 |
複数のワークフローの共通の振舞いは，それらの振舞いを継承するスーパークラスとしてモデル化できる．筆者らはワークフローネッ... [more] | MSS2014-83 SS2014-47 pp.85-90 |
| MSS, SS (共催) |
2015-01-27 10:25 |
鳥取 | ブランナールみささ | ワークフローネットのリファクタリングに対するimplicitプレースに着目したアプローチ ○張 佳・豊嶋伊知郎・山口真悟（山口大） MSS2014-84 SS2014-48 |
ワークフローネットをその振舞いを保ったままサブクラスのネットへ変換することをリファクタリングという．アサイクリック拡張自... [more] | MSS2014-84 SS2014-48 pp.91-96 |
| MSS | 2014-03-06 13:55 |
愛媛 | 愛媛大学工学部 | TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザー制御を活用したアプローチ ○長野聡一郎・山口真悟（山口大） MSS2013-76 |
本稿ではTPハンドルをもつ自由選択ワークフローネットに対する健全化方法を提案する． この問題の対象となるワークフローネ... [more] |
MSS2013-76 pp.7-12 |
| MSS, SS (共催) |
2013-03-07 10:30 |
福岡 | 休暇村志賀島 | ワークフローネットのスーパークラス抽出問題とその一解法 ○西 颯麻・山口真悟（山口大） MSS2012-75 SS2012-75 |
本稿では２つのワークフローネット$N_{x}$と$N_{y}$の振舞いから共通プロセスの抽出に取り組む． ワークフロー... [more] |
MSS2012-75 SS2012-75 pp.91-96 |
| MSS | 2013-01-22 14:25 |
大阪 | 大阪国際会議場 | 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について ○加納大暉・山口真悟（山口大） MSS2012-48 |
ワークフローには定義とインスタンスという二つの側面がある． 本稿では,可達性を利用して，ワークフローインスタンスの正し... [more] |
MSS2012-48 pp.17-21 |
| MSS | 2013-01-22 14:50 |
大阪 | 大阪国際会議場 | 自由選択ワークフローネットにおける非安全マーキングへの可達性解析 ○村上雄基・豊嶋伊知郎・山口真悟（山口大） MSS2012-49 |
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] | MSS2012-49 pp.23-26 |
| KBSE | 2012-05-25 16:00 |
神奈川 | 慶應義塾大学 | オブジェクト指向ペトリネットによるビジネスプロセスの記述と同期 ○金子良太・片山輝彦・飯島 正（慶大） KBSE2012-4 |
オブジェクト指向ペトリネットに基づくワークフロー管理システムの基礎と，それに関連する研究プロジェクトについて紹介する．こ... [more] | KBSE2012-4 pp.19-23 |
| SS, MSS (共催) |
2012-01-26 13:45 |
高知 | 高知市文化プラザかるぽーと | 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について ○平川智悠・山口真悟（山口大） MSS2011-60 SS2011-45 |
ワークフローは法律の改正や市場の拡大などに適合するよう変更されることがある． その際，事業の継続性の観点から，変更後の... [more] |
MSS2011-60 SS2011-45 pp.33-38 |
| CAS, MSS (共催) |
2011-11-17 15:15 |
山口 | 山口大学大学会館 | 単純Well-Structuredワークフローネットの諸性質 ○孫 伯仲・山口真悟（山口大） CAS2011-77 MSS2011-46 |
Acyclic 拡張自由選択ワークフローネットをそのサブクラスの一つであるAcyclic well-structured... [more] | CAS2011-77 MSS2011-46 pp.77-82 |
| CAS, MSS (共催) |
2011-11-18 11:15 |
山口 | 山口大学大学会館 | Acyclic Well-Structuredワークフローネットの可達性判定について ○濱野慎司・山口真悟（山口大） CAS2011-78 MSS2011-47 |
ワークフローのモデル化と解析にワークフローネットが適用され，成果をあげている． 本稿では可達性を利用して，ワークフロー... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
| MSS, CAS (共催) |
2010-11-18 10:30 |
大阪 | 関西大学 | 抑止アーク付きワークフローネットに対する健全性判定について ○篠原悠樹・山口真悟（山口大） CAS2010-65 CST2010-38 |
ワークフローにおける一部の仕事は優先順位をもつものがある．優先順位をもつワークフローは抑止アーク付きワークフローネットで... [more] | CAS2010-65 CST2010-38 pp.1-5 |
| MSS | 2010-01-22 09:10 |
愛知 | 豊田中央研究所アクタスCホール | Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案 山口真悟・○濱野慎司・黒田祐樹・田中 稔（山口大） CST2009-45 |
ワークフロー管理とは仕事の流れをワークフローとして定義し，そのインスタンスを自動化することである． ワークフローには同... [more] |
CST2009-45 pp.45-48 |
| MSS, CAS (共催) |
2009-11-27 15:50 |
愛知 | 名古屋大学 | 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて ○黒田祐樹・山口真悟・田中 稔（山口大） CAS2009-60 CST2009-33 |
ワークフローネットはワークフローをモデル化するためのペトリネットである． 本稿では，ワークフローネットの振る舞いを維持... [more] |
CAS2009-60 CST2009-33 pp.89-93 |
| MSS | 2009-01-29 15:25 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | ワークフローネットの健全性判定に対するモデル検査法について ○山口宗師・山口真悟・田中 稔（山口大） CST2008-46 |
ワークフロー(WF)ネットが満たすべき性質として健全性(soundness)がある．健全性はワークフローの論理的な正しさ... [more] | CST2008-46 pp.27-32 |
| CAS, MSS (共催) |
2008-11-07 15:20 |
大阪 | 大阪大学 | 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について ○池田 良・山口真悟・田中 稔（山口大） CAS2008-62 CST2008-40 |
ワークフロー（WF）ネットを拡張する場合，拡張後のWFネットは 拡張前のWFネットの振る舞いを継承しなければならない．... [more] |
CAS2008-62 CST2008-40 pp.101-104 |
| MSS | 2007-08-31 13:25 |
島根 | 島根大学総合理工学部多目的ホール | モデル検査ツールSPINによるワークフローネットの健全性の判定について ○山口宗師・山口真悟・田中 稔（山口大） CST2007-12 |
ワークフロー(WF)ネットはワークフローをモデル化するためのペトリネットであり，ワークフローの解析や性能評価に活用されて... [more] | CST2007-12 pp.7-12 |
| MSS | 2006-01-27 10:10 |
神奈川 | 東芝科学館 ホール | ワークフローネットの健全性と並列度について ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿ではワークフロー(WF)ネットの健全性と並列度について議論する。 まずWFネットの並列性を評価する尺度として並列度... [more] |
CST2005-41 pp.13-18 |
| MSS | 2005-01-27 13:50 |
東京 | 電気通信大学 | 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について ○宮内克彰・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿では，状態機械ワークフローネット(SMWFネット)の動的変更に対する変更時間の計算について議論する． まずSMWF... [more] |
CST2004-45 pp.37-42 |
| MSS, CAS (共催) |
2004-11-04 16:10 |
愛知 | 愛知県立大学 | 競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について ○國吉圭介・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿では，競合なしリソース付きwell-structuredワークフローネット(CF-Res-WSWFネット)に対する最... [more] | CAS2004-54 CST2004-33 pp.71-76 |
[研究会発表申込システムのトップページに戻る]