文献

J-GLOBAL ID：201602201114791027   整理番号：16A0204701

ビジネスプロセスにおける時間制約検証

著者 (2件)： 梶村賢吾 (龍谷大 大学院理工学研究科) ,  新川芳行 (龍谷大 大学院理工学研究科)
資料名： 経営情報学会全国研究発表大会要旨集(Web)
巻： 2015  号： 秋季  ページ： K1-2(J-STAGE)  発行年： 2015年 
JST資料番号： U0249A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年,ネットワーク技術やweb技術の進歩により,ビジネスプロセスにおける時間制約が重要な問題となっている。ビジネスプロセス記述言語のBPMNやBPELにも時間記述の要素を提供しているが,十分な形式性や厳密性を備えていない。本研究は,ソフトウェア開発における標準的モデル記述言語UMLのタイミング図が持つ高い時間制約記述能力と,時間カラーペトリネットの厳密な時間制約検証能力に注目し,これらを統合して,ビジネスプロセスにも適用可能な時間制約記述およびその正当性・整合性検証の標準化されたプロセスを提案し,ビジネスプロセス設計とソフトウェア設計間の時間的矛盾の解消を図るものである。(著者抄録)

シソーラス用語： *プロセス設計 ,  過程 ,  *ソフトウェア設計 ,  制約条件 ,  *UML【モデリング言語】 ,  *Petriネット ,  *オートマトン ,  状態遷移図 ,  モデル検査 ,  モデリング ,  検証 ,  コンシステンシー【計算機】
準シソーラス用語： *ビジネスプロセス ,  *時間制約 ,  時間付きPetriネット ,  色付きPetriネット ,  時間オートマトン ,  オブジェクト指向モデリング ,  整合性チェック

分類 (2件)： 経営工学一般  (KA01010C) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： ビジネス ,  プロセス ,  制約 ,  検証