論文の概要: On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
- arxiv url: http://arxiv.org/abs/2604.22455v1
- Date: Fri, 24 Apr 2026 11:20:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-27 15:36:26.437356
- Title: On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
- Title（参考訳）: ABPMSプロセスフレームのハイブリッド性とそのプロセス発見への応用について
- Abstract要約: AI-Augmented Business Process Management System(ABPMS)の中核となるコンポーネントはプロセスフレームである。
本稿では,ABPMSプロセスフレームを半同時実行される手続き型プロセスモデルと宣言型プロセスモデルからなるハイブリッドビジネスプロセス表現として概念化する。
- 参考スコア（独自算出の注目度）: 10.74252380914441
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A core component of any AI-Augmented Business Process Management System (ABPMS) is the process frame, which gives the system process-awareness and defines the boundaries in which the system must operate. Compared to traditional process models, the process frame should, in principle, provide a somewhat more permissive representation of the managed processes, such that the (semi) autonomous behavior of an ABPMS, referred to as framed autonomy, could emerge. At the same time, it is not limited to a single linguistic or symbolic formalism and may incorporate heterogeneous knowledge ranging from predefined procedures to commonsense rules and best practices. In this paper, we conceptualize the notion of an ABPMS process frame as a hybrid business process representation, consisting of semi-concurrently executed procedural and declarative process models. We rely on our earlier works to outline the execution semantics of this type of process frame, arguing in favor of adopting the open-world assumption of the declarative paradigm also for procedural process models. The latter leads to a constraint-like interpretation, where each procedural model is considered to constrain the activities within that model, without imposing explicit execution requirements nor limitations on activities that may be present in other models. This is analogous to existing declarative languages, such as Declare, where each constraint has a direct effect only on the specific activities being constrained. Given this similarity, we propose mapping subsets of discovered declarative constraints into equivalent semi-concurrently executed procedural fragments, thus laying the foundation for a corresponding process (frame) discovery approach.
- Abstract（参考訳）: ABPMS(AI-Augmented Business Process Management System)の中核となるコンポーネントはプロセスフレームであり、システムにプロセス認識を与え、システムが動作しなければならない境界を定義する。
従来のプロセスモデルと比較して、プロセスフレームは、原則として、フレーム化された自律性と呼ばれるABPMSの(半)自律的な振る舞いが出現するように、管理プロセスのより寛容な表現を提供するべきである。
同時に、単一の言語的あるいは象徴的な形式主義に限らず、事前定義された手続きからコモンセンスルールやベストプラクティスまで多種多様な知識を取り入れることができる。
本稿では,ABPMSプロセスフレームを半同時実行される手続き型プロセスモデルと宣言型プロセスモデルからなるハイブリッドビジネスプロセス表現として概念化する。
我々は、このタイプのプロセスフレームの実行セマンティクスを概説し、宣言的パラダイムのオープンワールドな仮定を手続き的プロセスモデルにも適用することに賛成している。
後者は制約のような解釈を導き、各手続きモデルは、明示的な実行要件や他のモデルに存在する可能性のあるアクティビティに制限を加えることなく、そのモデル内のアクティビティを制約すると考えられる。
これはDeclareのような既存の宣言型言語と類似しており、それぞれの制約は制約されている特定のアクティビティにのみ直接影響する。
この類似性から、発見された宣言的制約のサブセットを半同時実行される半手続き的断片にマッピングすることを提案し、それに対応するプロセス(フレーム)発見手法の基礎を築いた。
関連論文リスト
- Contrastive Energy Fields for Inference-Time Procedure Planning in Instructional Videos [48.22554718706414]
本研究では,行動条件付き表現空間を表現するための予測器を学習する手続き計画手法CEFITOを提案する。
従来の手法とは異なり、CEFITOは推論時計画において無関係な動作を省略することで、アクション空間を明示的に理由付けている。
論文 参考訳（メタデータ） (2026-08-17T11:56:11Z) - Multiparty Session Types for GDPR Purpose Compliance [0.0]
分散システムのための形式的で目的対応のフレームワークを紹介します。
フレームワーク内のシステム実装は、分散相互作用のセマンティクスをキャプチャーし、一級エンティティとしてプライベートデータを特徴付ける計算を用いて特定される。
論文 参考訳（メタデータ） (2026-07-22T14:15:41Z) - Supporting Autonomous Process Execution within a Multi-Perspective Constraint Frame via Numeric Planning [2.8555387714154485]
Framed Autonomyは、ビジネスプロセス(BP)インスタンスの実行を自律的に進めるシステムの能力を表す。
我々は、プロセスフレームを多視点制約で拡張するWhat-if分析のための新しいツールを提案する。
部分的なプロセス実行を前提として、提案手法は、この拡張されたフレームを利用して、基礎となるプロセス仕様に従って最適な継続を推奨する。
論文 参考訳（メタデータ） (2026-07-18T09:58:35Z) - Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems [51.82266520875928]
実行セマンティクスは、第一級のエンジニアリングエンティティとして扱われない。
モデリングとシミュレーションに基づくエンジニアリングは、正式な実行、実験的な実行、検証、アクティビティによる検証を交互に行う反復サイクルのエンジニアリングを組織する。
これらの応用は、フレームワークがCPSを超えて、明示的に定義された実行条件に依存するあらゆるシステムに一般化することを示している。
論文 参考訳（メタデータ） (2026-04-13T12:42:12Z) - Executable Ontologies in Game Development: From Algorithmic Control to Semantic World Modeling [51.56484100374058]
我々は,実行可能オントロジー(EO)が,アルゴリズム行動プログラミングからセマンティックワールドモデリングへ移行したことを論じる。
本稿では,EOが明示的なプリエンプションロジックではなく,データフロー条件によるタスク割り込みを優先的に行う方法を示す。
論文 参考訳（メタデータ） (2026-01-12T19:57:35Z) - Direct Encoding of Declare Constraints in ASP [9.599644507730106]
Declare制約のための新しいエンコーディングを導入し、それらのセマンティクスを直接ASPルールとしてモデル化する。
本稿では,2つのプロセスマイニングタスクにおける新しい手法の有効性を評価する。
論文 参考訳（メタデータ） (2024-12-13T14:11:33Z) - AgentSimulator: An Agent-based Approach for Data-driven Business Process Simulation [6.590869939300887]
ビジネスプロセスシミュレーション(Business Process Simulation, BPS)は、プロセスのパフォーマンスを様々なシナリオで推定するための汎用的な手法である。
本稿では,イベントログからマルチエージェントシステムを検出するリソースファーストなBPS手法であるAgentSimulatorを紹介する。
実験の結果,AgentSimulatorは従来の手法よりもはるかに少ない時間で計算精度を向上できることがわかった。
論文 参考訳（メタデータ） (2024-08-16T07:19:11Z) - A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
この研究は、より正確で統一されたビジネスプロセスモデル実行の基礎となる。
特定のBPMN要素をPASSと互換性のあるフォーマットに変換するプロトタイプトランスレータの開発について説明する。
これらのモデルはソースコードに変換され、bespokeワークフロー環境で実行される。
論文 参考訳（メタデータ） (2024-06-18T06:19:44Z) - Process Modeling With Large Language Models [42.0652924091318]
本稿では,大規模言語モデル(LLM)のプロセスモデリングへの統合について検討する。
プロセスモデルの自動生成と反復的改善にLLMを利用するフレームワークを提案する。
予備的な結果は、プロセスモデリングタスクを合理化するフレームワークの能力を示している。
論文 参考訳（メタデータ） (2024-03-12T11:27:47Z) - FRAPPE: A Group Fairness Framework for Post-Processing Everything [48.57876348370417]
本稿では,任意の正規化インプロセッシング手法をポストプロセッシング手法に変換するフレームワークを提案する。
理論的および実験を通して、我々のフレームワークは、内部処理で達成された優れた公正なエラートレードオフを保っていることを示す。
論文 参考訳（メタデータ） (2023-12-05T09:09:21Z) - Code Models are Zero-shot Precondition Reasoners [83.8561159080672]
シーケンシャルな意思決定タスクのために、コード表現を使ってアクションの前提条件を推論します。
本稿では,政策によって予測される行動が前提条件と一致していることを保証する事前条件対応行動サンプリング戦略を提案する。
論文 参考訳（メタデータ） (2023-11-16T06:19:27Z) - Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。
RABは両方の制限を解除することで既存のモデルを一般化する。
データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文 参考訳（メタデータ） (2022-08-12T17:03:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。