論文の概要: Semantic based model of Conceptual Work Products for formal verification
of complex interactive systems
- arxiv url: http://arxiv.org/abs/2008.01623v1
- Date: Tue, 4 Aug 2020 15:10:44 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-03 01:00:45.858881
- Title: Semantic based model of Conceptual Work Products for formal verification
of complex interactive systems
- Title（参考訳）: 複雑な対話システムの形式的検証のための概念的作業物の意味的モデル
- Authors: Mohcine Madkour, Keith Butler, Eric Mercer, Ali Bahrami, Cui Tao
- Abstract要約: 概念的作業製品に対する客観的な仕様を検証するための自動論理推論器について述べる。
概念的な作業製品仕様は、明確に述べられ、正しく、解決可能な、基本的な出力要件として機能する。
セマンティックWebのツールによる作業オントロジーは、自動推論による解決可能性の検証のために、クラスと状態図を変換するために必要です。
- 参考スコア（独自算出の注目度）: 3.0458872052651973
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Many clinical workflows depend on interactive computer systems for highly
technical, conceptual work products, such as diagnoses, treatment plans, care
coordination, and case management. We describe an automatic logic reasoner to
verify objective specifications for these highly technical, but abstract, work
products that are essential to care. The conceptual work products
specifications serve as a fundamental output requirement, which must be clearly
stated, correct and solvable. There is strategic importance for such
specifications because, in turn, they enable system model checking to verify
that machine functions taken with user procedures are actually able to achieve
these abstract products. We chose case management of Multiple Sclerosis (MS)
outpatients as our use case for its challenging complexity. As a first step, we
illustrate how graphical class and state diagrams from UML can be developed and
critiqued with subject matter experts to serve as specifications of the
conceptual work product of case management. A key feature is that the
specification must be declarative and thus independent of any process or
technology. Our Work Domain Ontology with tools from Semantic Web is needed to
translate UML class and state diagrams for verification of solvability with
automatic reasoning. The solvable model will then be ready for subsequent use
with model checking on the system of human procedures and machine functions. We
used the expressive rule language SPARQL Inferencing Notation (SPIN) to develop
formal representations of the UML class diagram, the state machine, and their
interactions. Using SPIN, we proved the consistency of the interactions of
static and dynamic concepts. We discussed how the new SPIN rule engine could be
incorporated in the Object Management Group (OMG) Ontology Definition Metamodel
(ODM)
- Abstract（参考訳）: 多くの臨床ワークフローは、診断、治療計画、ケアコーディネーション、ケースマネジメントなど、高度に技術的で概念的な作業製品のための対話型コンピュータシステムに依存している。
我々は,これらの高度に技術的だが抽象的な作業製品に対して客観的な仕様を検証する自動論理推論器について述べる。
概念ワークプロダクトの仕様は基本的な出力要件として機能し、明確に述べられ、正しく、解決されなければならない。
このような仕様は、システムモデルチェックによって、ユーザプロシージャで取られたマシン機能が、実際にこれらの抽象的な製品を達成することができるかどうかを検証できるため、戦略的に重要である。
難治性難治性多発性硬化症 (MS) の症例管理を症例として選択した。
第1のステップとして、umlのグラフィカルクラスと状態ダイアグラムが、ケースマネジメントの概念的なワークプロダクトの仕様として機能するために、主題の専門家とどのように開発され、批判されるかを説明します。
重要な特徴は、仕様が宣言的であり、従っていかなるプロセスや技術にも依存していないことである。
セマンティックWebのツールを使った作業ドメインオントロジーは、自動推論による解決可能性の検証のためにUMLクラスと状態図を翻訳するために必要です。
解決可能なモデルは、ヒューマンプロシージャとマシン機能のシステムに対するモデルチェックで、その後の使用に備えられる。
我々は、表現型ルール言語SPARQL Inference Notation(SPIN)を使用して、UMLクラス図、状態マシン、およびそれらの相互作用の形式表現を開発しました。
SPINを用いて静的概念と動的概念の相互作用の整合性を実証した。
我々は新しいSPINルールエンジンをオブジェクト管理グループ(OMG)オントロジー定義メタモデル(ODM)に組み込む方法について論じた。
関連論文リスト
- Formalizing UML State Machines for Automated Verification -- A Survey [14.99225452541953]
モデリング言語(UML)は、動的システムのモデリングの標準である。
Object Management Group (OMG) が管理する仕様は、自然言語で文書化されている。
論文 参考訳（メタデータ） (2024-07-24T12:15:31Z) - Automated Process Planning Based on a Semantic Capability Model and SMT [50.76251195257306]
製造システムと自律ロボットの研究において、機械で解釈可能なシステム機能の仕様に「能力」という用語が用いられる。
セマンティック能力モデルから始めて、AI計画問題を自動的に生成するアプローチを提案する。
論文 参考訳（メタデータ） (2023-12-14T10:37:34Z) - Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。
我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
論文 参考訳（メタデータ） (2023-12-13T21:53:32Z) - To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines [0.11470070927586014]
DoActivity振舞いは、ある状態に入力された状態マシンとは独立して実行される振舞いを記述する。
仕様や教科書は、doActivityの振る舞い構造をどのように適切に使用するべきかについて曖昧である。
そこで本研究では,仕様書のテキスト,意味モデル,実行可能なテストケース,PSSMをサポートするシミュレータの相互チェックから,セマンティックスを解析した。
論文 参考訳（メタデータ） (2023-09-26T12:30:51Z) - A Model for Intelligible Interaction Between Agents That Predict and Explain [1.335664823620186]
エージェントを特殊特性を持つオートマチックにすることで相互作用モデルを定式化する。
プロトコルの実行によって実行時に現れるプロパティとして,ワンウェイとツーウェイのインテリジェンスを定義する。
a)インダクティブ論理プログラミング(ILP)で行われているように、論理に基づく説明を提供するMLシステムと対話する人間に関する文献報告における1-および2-Way知能の事例を特定し、(b)1-または2-Way知能に精巧な自然言語に基づく対話モデルで人間と機械間の相互作用をマッピングする。
論文 参考訳（メタデータ） (2023-01-04T20:48:22Z) - Natural Language Processing for Systems Engineering: Automatic
Generation of Systems Modelling Language Diagrams [0.10312968200748115]
構造化されていない自然言語テキストからシステム図の自動生成を支援する手法が提案されている。
目的は、より標準化され、包括的で自動化されたスタートポイントをユーザに提供することです。
論文 参考訳（メタデータ） (2022-08-09T19:20:33Z) - One-way Explainability Isn't The Message [2.618757282404254]
この文脈における人間と機械の両方の要件は、かなり異なると我々は主張する。
このようなヒューマン・マシン・システムの設計は、情報の2方向の繰り返しの可視性によって駆動されるべきである。
我々は、協調的な意思決定支援システムの設計を導くために、運用原則、すなわち、知性公理(Intelligibility Axioms)を提案します。
論文 参考訳（メタデータ） (2022-05-05T09:15:53Z) - SOLIS -- The MLOps journey from data acquisition to actionable insights [62.997667081978825]
本稿では,基本的なクロスプラットフォームテンソルフレームワークとスクリプト言語エンジンを使用しながら,すべての要件をサポートする統合デプロイメントパイプラインとフリー・ツー・オペレートアプローチを提案する。
しかし、このアプローチは、実際のプロダクショングレードシステムに機械学習機能を実際にデプロイするために必要な手順やパイプラインを提供していない。
論文 参考訳（メタデータ） (2021-12-22T14:45:37Z) - Learning Multi-Objective Curricula for Deep Reinforcement Learning [55.27879754113767]
深部強化学習(DRL)のサンプル効率と最終性能を向上させるために,各種自動カリキュラム学習(ACL)手法が提案されている。
本稿では,多目的だがコヒーレントなカリキュラムを作成するための統合された自動カリキュラム学習フレームワークを提案する。
既存の手設計のカリキュラムパラダイムに加えて,抽象カリキュラムを学習するためのフレキシブルなメモリ機構を設計する。
論文 参考訳（メタデータ） (2021-10-06T19:30:25Z) - Multimodal Semantic Scene Graphs for Holistic Modeling of Surgical
Procedures [70.69948035469467]
カメラビューから3Dグラフを生成するための最新のコンピュータビジョン手法を利用する。
次に,手術手順の象徴的,意味的表現を統一することを目的としたマルチモーダルセマンティックグラフシーン(MSSG)を紹介する。
論文 参考訳（メタデータ） (2021-06-09T14:35:44Z) - Technology Readiness Levels for Machine Learning Systems [107.56979560568232]
機械学習システムの開発とデプロイは、現代のツールで簡単に実行できますが、プロセスは一般的に急ぎ、エンドツーエンドです。
私たちは、機械学習の開発と展開のための実証済みのシステムエンジニアリングアプローチを開発しました。
当社の「機械学習技術準備レベル」フレームワークは、堅牢で信頼性が高く、責任あるシステムを確保するための原則的なプロセスを定義します。
論文 参考訳（メタデータ） (2021-01-11T15:54:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。