IOCL:仕様,検証とOCL(オブジェクト制約言語)制約を評価するための対話型ツール【Powered by NICT】

Hammad Muhammad; Yue Tao; Yue Tao; Wang Shuai; Ali Shaukat; Nygard Jan F.

文献

J-GLOBAL ID：201702259128337379 整理番号：17A1559919

IOCL:仕様,検証とOCL(オブジェクト制約言語)制約を評価するための対話型ツール【Powered by NICT】

IOCL: An interactive tool for specifying, validating and evaluating OCL constraints

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A1559919&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A1559919&from=J-GLOBAL&jstjournalNo=H0806A") }}

著者 (6件)： , , , , ,
資料名：
巻： 149 ページ： 3-8 発行年： 2017年
JST資料番号： H0806A ISSN： 0167-6423 CODEN： SCPGD4 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：オランダ (NLD) 言語：英語 (EN)

オブジェクト制約言語(OCL)は,さらに,モデルの意味論による施行にモデルに付加的な制約を記述するための一般的に用いられている。しかし,実務家と研究者の多くはOCLを用いた十分な親密性の欠如のためにある程度OCL(オブジェクト制約言語)を用いた気が進まない。OCL(オブジェクト制約言語)制約を特定する実践家と研究者を容易にするために,筆者らは与えられたモデルに制約を特定する対話のための対話型OCL(iOCL)と呼ばれるウェブ基盤ツールを設計・開発した。iOCLの背後にある中心的アイデアは,制約仕様書プロセスの与えられた段階でユーザにOCL(オブジェクト制約言語)の関連のみ詳細(例えば,手術)を提示し,そのをシンタックスに持つモデラーを助けるに添加することである。ノルウェー癌レジストリからの実世界の事例研究を用いたiOCLを評価し,その結果は,iOCLはOCL(オブジェクト制約言語)制約を特定し,仕様プロセス時の構文論的誤差の可能性を減少させるのに必要な時間を大幅に低減できることを示した。iOCLはOCL(オブジェクト制約言語)制約特異化の過程を容易にすることができると結論した。関心ユーザはiOCLを試みることができる:http://iocl.zen tools.com/。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

, , , ,
, 【Automatic Indexing@JST】

著者キーワード (3件)： , ,

計算機システム開発

, , , , , , ,

前のページに戻る