論文の概要: Automated Sustainability Compliance Checking Using Process Mining and
Formal Logic
- arxiv url: http://arxiv.org/abs/2006.05777v2
- Date: Thu, 18 Jun 2020 11:48:19 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-16 02:48:29.620079
- Title: Automated Sustainability Compliance Checking Using Process Mining and
Formal Logic
- Title(参考訳): プロセスマイニングと形式論理を用いたサステナビリティコンプライアンス自動チェック
- Authors: Clemens Schreiber
- Abstract要約: 私は、サステナビリティコンプライアンスの目的で、コンプライアンスチェック技術の適用に貢献したい。
私は、コンプライアンスチェックのタスクを自動化するデータ駆動アプローチを分析し、開発したいと思っています。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Business processes need to have certain constraints such that they can lead
to sustainable outcomes. These constraints can be manifold and their adherence
has to be monitored. In the past compliance checking has been applied in
several business domains without considering certain sustainability aspects,
such as multi-dimensionality and impact level. With my research I want to
contribute to the application of compliance checking techniques for the purpose
of sustainability compliance. In order to achieve this, I want to analyse and
develop data-driven approaches, which allow to automate the task of compliance
checking. The way in which this can be achieved, is be combining methods from
process mining with formal languages that can express sustainability rules in a
machine-readable manner. The main goal is to develop a compliance engine that
can be adapted by ERP systems in order to evaluate sustainability conformance
in business processes.
- Abstract(参考訳): ビジネスプロセスには、持続可能な結果につながるような一定の制約が必要です。
これらの制約は多様体であり、その付着を監視しなければならない。
過去には、複数のビジネス領域において、多次元や影響レベルといった持続可能性的な側面を考慮せずにコンプライアンスチェックが適用されてきた。
私の研究で、持続可能性コンプライアンスのためにコンプライアンスチェック技術の適用に貢献したいと思います。
これを実現するために、コンプライアンスチェックのタスクを自動化するデータ駆動アプローチを分析し、開発したいと思います。
これを実現する方法は、プロセスマイニングからの手法と、機械可読な方法で持続可能性ルールを表現できる形式言語を組み合わせることである。
主な目標は、ビジネスプロセスの持続可能性適合性を評価するためにERPシステムに適応可能なコンプライアンスエンジンを開発することである。
関連論文リスト
- The Foundations of Computational Management: A Systematic Approach to
Task Automation for the Integration of Artificial Intelligence into Existing
Workflows [55.2480439325792]
本稿では,タスク自動化の体系的アプローチである計算管理を紹介する。
この記事では、ワークフロー内でAIを実装するプロセスを開始するための、ステップバイステップの手順を3つ紹介する。
論文 参考訳(メタデータ) (2024-02-07T01:45:14Z) - Defining and executing temporal constraints for evaluating engineering
artifact compliance [56.08728135126139]
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。
これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。
関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
論文 参考訳(メタデータ) (2023-12-20T13:26:31Z) - Object-Centric Conformance Alignments with Synchronization (Extended
Version) [63.105872371236636]
対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。
我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
論文 参考訳(メタデータ) (2023-12-13T21:53:32Z) - Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent
Transitions [4.163635746713724]
プロセス内で意思決定を行う際に、非決定論がどのように解決されるのかを定量的に理解するには、ビジネスおよび作業プロセスにおける振る舞いのキャプチャが不可欠である。
これはプロセスマイニングにおいて特に関心があり、プロセスの実際の実行を追跡するイベントデータがプロセスモデルと関連している。
ペトリネットの変数はこのための自然な公式な基礎を提供するが、それらは(おそらく重複した)アクティビティとラベル付けされ、サイレント遷移を備える必要がある。
これらの分析タスクは解析的に解決可能であることを示し、特に、自動制御技術を組み合わせてLSP内の関心の振る舞いを抽出する1つの方法に還元する。
論文 参考訳(メタデータ) (2023-06-10T07:57:24Z) - Measuring Rule-based LTLf Process Specifications: A Probabilistic
Data-driven Approach [2.5407767658470726]
宣言的プロセス仕様は、有限トレース上の線形時間論理に基づくルールによってプロセスの振舞いを定義します。
マイニングの文脈では、これらの仕様は情報システムによって記録された複数セットの実行から推論され、チェックされる。
本稿では,イベントログに対する仕様書の満足度を測定する手法を提案する。
論文 参考訳(メタデータ) (2023-05-09T13:07:01Z) - Extending Process Discovery with Model Complexity Optimization and
Cyclic States Identification: Application to Healthcare Processes [62.997667081978825]
モデル最適化のための半自動支援を実現するプロセスマイニング手法を提案する。
所望の粒度で生モデルを抽象化するモデル単純化手法が提案されている。
医療分野の異なるアプリケーションから得られた3つのデータセットを用いて、技術的ソリューションの能力を実証することを目的としている。
論文 参考訳(メタデータ) (2022-06-10T16:20:59Z) - Predictive Compliance Monitoring in Process-Aware Information Systems:
State of the Art, Functionalities, Research Directions [0.0]
ビジネスプロセスのコンプライアンスは、ビジネスプロセス管理の重要な領域です。
プロセスのコンプライアンスはプロセス設計期間中に、プロセスモデルの検証に基づいてチェックすることができる。
既存のコンプライアンス監視アプローチでは、コンプライアンス違反を予測できるかどうか、そしてどのように予測できるかは、まだ不明である。
論文 参考訳(メタデータ) (2022-05-10T13:38:56Z) - A Research Agenda for Artificial Intelligence in the Field of Flexible
Production Systems [53.47496941841855]
生産会社は、需要変動や要求の変化に対して生産制御を迅速に適応することに関して、問題に直面します。
サービスという意味で生産機能をカプセル化することを目的とした制御手法は,サイバー物理生産システムの柔軟性を高めるために有望であることが示されている。
しかし、そのようなアプローチの既存の課題は、要求された機能と提供された機能の間に直接(統語的)一致がない場合に、一連の要求に対して提供された機能に基づいて生産計画を見つけることである。
論文 参考訳(メタデータ) (2021-12-31T14:38:31Z) - Trustworthy Artificial Intelligence and Process Mining: Challenges and
Opportunities [0.8602553195689513]
プロセスマイニングは、AIコンプライアンスプロセスの実行に事実に基づく可視性を得るために有用なフレームワークを提供することができることを示す。
AI規制コンプライアンスプロセスの不確実性を分析し、修正し、監視する自動化アプローチを提供する。
論文 参考訳(メタデータ) (2021-10-06T12:50:47Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳(メタデータ) (2021-03-18T20:22:50Z) - Inverse Reinforcement Learning of Autonomous Behaviors Encoded as
Weighted Finite Automata [18.972270182221262]
本稿では,論理タスク仕様とコスト関数を実演から学習する手法を提案する。
本稿では,タスクの未知論理構造を近似した重み付き有限オートマトン(WFA)の抽出にスペクトル学習手法を用いる。
高レベルタスクガイダンスのためのWFAと低レベル制御のためのラベル付きマルコフ決定プロセス(L-MDP)との間にある製品を定義し、実証者の行動にマッチするコスト関数を最適化する。
論文 参考訳(メタデータ) (2021-03-10T06:42:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。