| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2011-01-21 13:55 |
山口 | 海峡メッセ下関 | シグナル伝達経路ペトリネットモデルにおける遅延時間の整合性確認手法の提案. ○村上祐樹・葛 崎偉・山口真悟・松野浩嗣（山口大）  CST2010-76 |
[more] | CST2010-76 pp.93-98 |
| MSS | 2011-01-21 15:40 |
山口 | 海峡メッセ下関 | ワークフローネットの合成規則の結合性とその応用について ○本堂真人・渡辺悠生・山口真悟（山口大） CST2010-81 |
[more] | CST2010-81 pp.121-126 |
| MSS, CAS (共催) |
2010-11-18 10:30 |
大阪 | 関西大学 | 抑止アーク付きワークフローネットに対する健全性判定について ○篠原悠樹・山口真悟（山口大） CAS2010-65 CST2010-38 |
ワークフローにおける一部の仕事は優先順位をもつものがある．優先順位をもつワークフローは抑止アーク付きワークフローネットで... [more] | CAS2010-65 CST2010-38 pp.1-5 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-21 14:20 |
北海道 | 北見工大 | 健全性と振る舞い継承を維持するワークフローネットの並列合成について ○渡辺悠生・山口真悟（山口大） CAS2010-11 VLD2010-21 SIP2010-32 CST2010-11 |
[more] | CAS2010-11 VLD2010-21 SIP2010-32 CST2010-11 pp.59-62 |
| 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-06-04 14:50 |
大阪 | 摂南大学大阪センター | アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則 ○渡辺悠生・山口真悟・池田 良・田中 稔（山口大） CST2009-9 |
[more] | CST2009-9 pp.49-52 |
| MSS | 2009-06-04 15:40 |
大阪 | 摂南大学大阪センター | CSTソリューションコンペティション2007及び2008の総括 ○山口真悟（山口大）・宮本俊幸（阪大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） CST2009-11 |
CSTソリューションコンペティションはCST研究専門委員会が主催する産学協働の 学生向けコンペ事業である．本稿では同コ... [more] |
CST2009-11 pp.59-64 |
| MSS | 2009-01-29 15:25 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | ワークフローネットの健全性判定に対するモデル検査法について ○山口宗師・山口真悟・田中 稔（山口大） CST2008-46 |
ワークフロー(WF)ネットが満たすべき性質として健全性(soundness)がある．健全性はワークフローの論理的な正しさ... [more] | CST2008-46 pp.27-32 |
| MSS | 2009-01-29 15:50 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 引継型と請負型のインターワークフローへの動的変更の解析 ○成井徹志・山口真悟・葛 崎偉・田中 稔（山口大） CST2008-47 |
本稿ではワークフローからインターワークフローへの動的変更の解析を議論する． インターワークフローの連携型が引継型か請負... [more] |
CST2008-47 pp.33-38 |
| CAS, MSS (共催) |
2008-11-07 15:20 |
大阪 | 大阪大学 | 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について ○池田 良・山口真悟・田中 稔（山口大） CAS2008-62 CST2008-40 |
ワークフロー（WF）ネットを拡張する場合，拡張後のWFネットは 拡張前のWFネットの振る舞いを継承しなければならない．... [more] |
CAS2008-62 CST2008-40 pp.101-104 |
| MSS | 2008-08-04 13:50 |
静岡 | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 | デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について ○山田太郎・山口真悟・田中 稔（山口大） CST2008-14 |
最近，UML/アクティビティ図がデバイスドライバの設計に使われている．本稿では，UML/アクティビティ図によるデバイスド... [more] | CST2008-14 pp.11-16 |
| MSS | 2008-06-03 11:15 |
愛知 | 名古屋大学野依記念学術交流館 | CSTソリューションコンペティション2007 ～ 評価実験の詳細報告 ～ ○宮本俊幸（阪大）・山口真悟（山口大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） CST2008-6 |
CST研究会では学生チームが企業から提供された課題に対して考案したソリューションを 競い合う「CSTソリューションコン... [more] |
CST2008-6 pp.7-12 |
| MSS | 2008-06-03 11:40 |
愛知 | 名古屋大学野依記念学術交流館 | WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察 ○池田 良・山口真悟・田中 稔（山口大） CST2008-7 |
[more] | CST2008-7 pp.13-18 |
| MSS | 2008-01-29 14:45 |
徳島 | 徳島大学 | トークン分布に依存した停止性のSWITCH-lessネットに対する判定について ○小宮圭介・山口真悟・葛 崎偉・田中 稔（山口大） CST2007-55 |
本稿では，（データフロー）プログラムネットの初期トークン分布に依存した停止性を議論する． 任意のトークン分布に対する停... [more] |
CST2007-55 pp.53-58 |
| MSS, CAS (共催) |
2007-11-29 13:25 |
新潟 | 新潟大学自然科学研究科 | Well-Structured ワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） CAS2007-68 CST2007-19 |
本稿では最長パスに着目したwell-structured WFネットの並列度PARAdegの ヒューリスティックアルゴ... [more] |
CAS2007-68 CST2007-19 pp.7-10 |
| MSS, CAS (共催) |
2007-11-30 10:20 |
新潟 | 新潟大学自然科学研究科 | CSTソリューションコンペティション2007 ～ 評価ツールの詳細 ～ ○宮本俊幸（阪大）・山口真悟（山口大） CAS2007-75 CST2007-26 |
学生チームが企業から提供された課題に対して考案したソリューションを 競い合う「CSTソリューションコンペティション」を... [more] |
CAS2007-75 CST2007-26 pp.13-18 |
| MSS | 2007-08-31 13:25 |
島根 | 島根大学総合理工学部多目的ホール | モデル検査ツールSPINによるワークフローネットの健全性の判定について ○山口宗師・山口真悟・田中 稔（山口大） CST2007-12 |
ワークフロー(WF)ネットはワークフローをモデル化するためのペトリネットであり，ワークフローの解析や性能評価に活用されて... [more] | CST2007-12 pp.7-12 |
| SS | 2007-02-01 16:15 |
愛知 | 愛知県立大学 | 割り込み処理のDelegationに基づく設計方法およびモデル検査方法について ○姿 善規・山口真悟・栗栖隆一・田中 稔（山口大） |
[more] | SS2006-77 pp.37-42 |
| MSS | 2007-01-26 13:50 |
東京 | 機械振興会館 | well-structured WFネットの構造解析とPARAdegの近似計算について ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
[more] | CST2006-40 pp.13-18 |
[研究会発表申込システムのトップページに戻る]