論文の概要: A formalisation of BPMN in Description Logics
- arxiv url: http://arxiv.org/abs/2109.10716v1
- Date: Wed, 22 Sep 2021 13:17:28 GMT
- ステータス: 処理完了
- システム内更新日: 2021-09-23 17:45:34.369731
- Title: A formalisation of BPMN in Description Logics
- Title(参考訳): 記述論理におけるBPMNの形式化
- Authors: Chiara Ghidini, Marco Rospocher, Luciano Serafini
- Abstract要約: 本稿では、BPMN(Business Process Modelling Notation)の構造的コンポーネントについて、明確なセマンティックな形式化を提供する。
オントロジーの開発は、BPMN仕様のAnnex Bに含まれるBPMN要素属性と型の全セットの説明によって導かれた。
- 参考スコア(独自算出の注目度): 11.550524384837892
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper we present a textual description, in terms of Description
Logics, of the BPMN Ontology, which provides a clear semantic formalisation of
the structural components of the Business Process Modelling Notation (BPMN),
based on the latest stable BPMN specifications from OMG [BPMN Version 1.1 --
January 2008]. The development of the ontology was guided by the description of
the complete set of BPMN Element Attributes and Types contained in Annex B of
the BPMN specifications.
- Abstract(参考訳): 本稿では、BPMNオントロジーの記述論理(Description Logics)の観点から、OMG(BPMN Version 1.1 - 2008)の最新の安定したBPMN仕様に基づいて、BPMN(Business Process Modelling Notation)の構造的コンポーネントの明確なセマンティックな形式化を提供する。
オントロジーの開発は、BPMN仕様のAnnex Bに含まれるBPMN要素属性と型の全セットの説明によって導かれた。
関連論文リスト
- DEMO enhanced BPMN [0.0]
BPMNは、形式的なセマンティクス、曖昧さ、マルチパーティのコラボレーションをモデリングする際の制限の欠如に悩まされています。
DEMOのトランザクションパターンの厳密さとより実践的で広く採用されているBPMNフレームワークを組み合わせる新しいアプローチを提案し、実証した。
この組み合わせはビジネスプロセスのモデリングを豊かにし、実践者と研究者の両方にとってより一貫性があり信頼性の高いツールを提供する、と我々は主張する。
論文 参考訳(メタデータ) (2024-09-25T11:43:29Z) - A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
この研究は、より正確で統一されたビジネスプロセスモデル実行の基礎となる。
特定のBPMN要素をPASSと互換性のあるフォーマットに変換するプロトタイプトランスレータの開発について説明する。
これらのモデルはソースコードに変換され、bespokeワークフロー環境で実行される。
論文 参考訳(メタデータ) (2024-06-18T06:19:44Z) - Document Structure in Long Document Transformers [64.76981299465885]
長い文書は、しばしばセクションヘッダーや段落のような異なる機能で階層的に整理された要素を持つ構造を示す。
文書構造の不明瞭さにもかかわらず、自然言語処理(NLP)におけるその役割はいまだに不透明である。
長期文書変換モデルは事前学習中に文書構造の内部表現を取得するか?
事前トレーニング後に構造情報をモデルに伝達するにはどうすればよいのか、下流のパフォーマンスにどのように影響するのか?
論文 参考訳(メタデータ) (2024-01-31T08:28:06Z) - A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems [1.0624606551524207]
本稿ではBPMNの実行セマンティクスの形式化を提案する。
私たちのアプローチは、BPMNモデルからグラフ変換システムへの高次の変換に基づいています。
このアプローチの能力を示すため、オープンソースのWebベースツールとして実装しました。
論文 参考訳(メタデータ) (2023-11-09T09:55:10Z) - Deep Stochastic Processes via Functional Markov Transition Operators [59.55961312230447]
本稿では,ニューラルパラメータ化マルコフ遷移作用素の列を関数空間に重ねて構築した新しいプロセス群(SP)を紹介する。
これらのマルコフ遷移作用素は、SPの交換可能性と整合性を維持することができることを証明している。
論文 参考訳(メタデータ) (2023-05-24T21:15:23Z) - Autoregressive Structured Prediction with Language Models [73.11519625765301]
本稿では, PLM を用いた自己回帰的手法を用いて, モデル構造を行動列として記述する。
我々のアプローチは、私たちが見てきた全ての構造化予測タスクにおいて、新しい最先端を実現する。
論文 参考訳(メタデータ) (2022-10-26T13:27:26Z) - Explainability in Process Outcome Prediction: Guidelines to Obtain
Interpretable and Faithful Models [77.34726150561087]
本稿では、プロセス結果予測の分野における説明可能性モデルと説明可能性モデルの忠実性を通して、説明可能性を定義する。
本稿では,イベントログの仕様に基づいて適切なモデルを選択することのできる,X-MOPというガイドラインのセットを提案する。
論文 参考訳(メタデータ) (2022-03-30T05:59:50Z) - CoPHE: A Count-Preserving Hierarchical Evaluation Metric in Large-Scale
Multi-Label Text Classification [70.554573538777]
ニューラルLMTCモデルの予測の階層的評価について論じる。
先行技術における構造化ラベル空間の表現における構造的問題について述べる。
深度に基づく表現を用いた階層的評価のための指標セットを提案する。
論文 参考訳(メタデータ) (2021-09-10T13:09:12Z) - A conditional, a fuzzy and a probabilistic interpretation of
self-organising maps [0.0]
記述論理の優先意味論と自己組織化マップとのリンクを確立する。
本研究では,SOMの論理的解釈に概念的マルチプレファレンスセマンティクスが利用できることを示した。
論文 参考訳(メタデータ) (2021-03-11T18:31:00Z) - Document-level Neural Machine Translation with Document Embeddings [82.4684444847092]
この研究は、複数の形式の文書埋め込みの観点から、詳細な文書レベルのコンテキストを活用することに重点を置いている。
提案する文書認識NMTは,大域的および局所的な文書レベルの手がかりをソース端に導入することにより,Transformerベースラインを強化するために実装されている。
論文 参考訳(メタデータ) (2020-09-16T19:43:29Z) - Structure of Resource Theory of Block Coherence [0.0]
本稿では,Block Incoherent Operations(BIO),SBIO(Strictly Block Incoherent Operations),PBIO(Privically Block Incoherent Operations)の概念を紹介する。
SBIOに対応する拡張定理は、この操作の適切な物理的解釈を明らかにするために導入された。
論文 参考訳(メタデータ) (2019-08-05T22:10:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。