日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 タグ情報を表示リリース履歴を表示詳細要約
  Automated Verification of Interactive Rule-based Configuration Systems

Dhungana, D., Tang, C. H., Weidenbach, C., & Wischnewski, P. (2013). Automated Verification of Interactive Rule-based Configuration Systems. In E., Denney, T., Bultan, & A., Zeller (Eds.), 28th IEEE/ACM International Conference on Automated Software Engineering (pp. 551-561). Piscataway, NJ: IEEE. doi:10.1109/ASE.2013.6693112.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0015-794F-C 版のパーマリンク: https://hdl.handle.net/21.11116/0000-000E-33B3-E
資料種別: 会議論文

ファイル

表示: ファイル
非表示: ファイル
:
paper.pdf (全文テキスト（全般）), 466KB
 
ファイルのパーマリンク:
-
ファイル名:
paper.pdf
説明:
-
OA-Status:
閲覧制限:
非公開
MIMEタイプ / チェックサム:
application/pdf
技術的なメタデータ:
著作権日付:
-
著作権情報:
-
CCライセンス:
-

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Dhungana, Deepak1, 著者
Tang, Ching Hoo2, 著者           
Weidenbach, Christoph2, 著者                 
Wischnewski, Patrick1, 著者           
所属:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:
非表示:
キーワード: -
 要旨: Rule-based specifications of systems have again become common in the context of product line variability modeling and configuration systems. In this paper, we define a logical foundation for rule-based specifications that has enough expressivity and operational behavior to be practically useful and at the same time enables decidability of important overall properties such as consistency or cycle-freeness. Our logic supports rule-based interactive user transitions as well as the definition of a domain theory via rule transitions. As a running example, we model DOPLER, a rule-based configuration system currently in use at Siemens.

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2013-112013
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: その他: Local-ID: 977B59458D5362E2C1257C6900520065-Dhungana2013
DOI: 10.1109/ASE.2013.6693112
BibTex参照ID: Dhungana2013
 学位: -

関連イベント

表示:
非表示:
イベント名: 28th IEEE/ACM International Conference on Automated Software Engineering
開催地: Palo Alto, CA, USA
開始日・終了日: 2013-11-11 - 2013-11-15

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: 28th IEEE/ACM International Conference on Automated Software Engineering
  省略形 : ASE 2013
種別: 会議論文集
 著者・編者:
Denney, Ewen1, 編集者
Bultan, Tevfik1, 編集者
Zeller, Andreas1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Piscataway, NJ : IEEE
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 551 - 561 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-1-4799-0215-6