論文の概要: Formal Grammars in Business Process Management: A Systematic Literature Review
- arxiv url: http://arxiv.org/abs/2606.27399v1
- Date: Wed, 24 Jun 2026 10:59:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-29 18:24:25.272042
- Title: Formal Grammars in Business Process Management: A Systematic Literature Review
- Title（参考訳）: ビジネスプロセスマネジメントにおける形式文法 : 体系的文献レビュー
- Abstract要約: ビジネスプロセス管理(BPM)は、ビジネスプロセスの体系的な設計、実行、監視、改善に関するものです。
形式文法はBPMの特に実りの多い形式主義として現れ、生成的、宣言的、分析的な能力を提供しています。
本稿では,形式文法とBPMの交わりにおける34の初等研究について,体系的な文献レビューを行う。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Business Process Management (BPM) is concerned with the systematic design, execution, monitoring, and improvement of business processes. Formal grammars have emerged as a particularly fruitful formalism for BPM, offering generative, declarative, and analytical capabilities that are uniquely well-suited to process-oriented concerns. This paper presents a systematic literature review of 34 primary studies at the intersection of formal grammars and BPM. We identify seven research streams: (i) process grammars for organizational process design; (ii) process modeling languages evaluated as grammars under the Bunge-Wand-Weber ontological framework; (iii) production-rule grammars for process structural specification and variant management; (iv) attribute grammars for the declarative specification and distributed execution of workflows; (v) graph grammars for the transformation, generation, and semantic analysis of process models; (vi) grammatical inference for process mining and discovery; and (vii) process algebras as grammar-like compositional frameworks for behavioral specification and verification. For each stream, we synthesize contributions, formalisms employed, and limitations. The review reveals that formal grammars have influenced BPM across every lifecycle phase (from organizational design to formal verification and data-driven discovery) yet the seven streams have developed largely in parallel, without cross-stream synthesis. We identify five corpus-grounded open challenges and argue that a deeper, unified exploitation of grammatical theory holds significant promise for advancing the state of the art in BPM.
- Abstract（参考訳）: ビジネスプロセス管理(BPM)は、ビジネスプロセスの体系的な設計、実行、監視、改善に関するものです。
形式文法はBPMの特に実りのある形式主義として現れ、プロセス指向の関心事に特に適している生成的、宣言的、分析的な能力を提供しています。
本稿では,形式文法とBPMの交わりにおける34の初等研究について,体系的な文献レビューを行う。
私たちは7つの研究の流れを特定します。
一 組織的プロセス設計のためのプロセス文法
(二)文華和Webのオントロジ枠組みに基づく文法として評価されたプロセスモデリング言語
三 プロセス構造仕様及び変種管理のための生産規則文法
(四)宣言的仕様の属性文法及びワークフローの分散実行
五 プロセスモデルの変換、生成、意味解析のためのグラフ文法
六 プロセスマイニング及び発見のための文法的推論
(vii) 振る舞い仕様と検証のための文法的な構成フレームワークとしてのプロセス代数。
各ストリームに対して、コントリビューション、採用形式、制限を合成します。
レビューでは、形式的な文法が、(組織設計から形式的な検証やデータ駆動的な発見に至るまで)すべてのライフサイクルフェーズでBPMに影響を与えていますが、一方で、7つのストリームは、ストリーム間の合成なしに、ほぼ並列に開発されています。
コーパスを基礎としたオープンな5つの課題を特定し、文法理論のより深く、統一された利用がBPMの最先端を前進させる大きな可能性を秘めていると論じます。
関連論文リスト
- Does Syntax Matter? A Graph-Augmented Variational Topic Model for Computational Social Sciences [51.56484100374058]
本稿では、構文依存関係をトピック推論に組み込んだアーキテクチャである、構造的文脈確率的トピックモデル(SCPTM)を紹介する。
本研究では,レジスタ構造と談話構造が異なる4つのコーパスのトピックモデリング手法について検討した。
その結果, SCPTMのニューラルアーキテクチャは, 生成的ベースラインよりも文書・トピックアライメントが著しく向上していることが示唆された。
論文 参考訳（メタデータ） (2026-09-07T17:39:06Z) - ATWL: A Formal Language for Representing, Comparing, and Reusing Visual Analytics Workflows [18.606007955432283]
視覚分析(VA)は本質的に複雑で、データ変換、特徴工学、視覚的表現、人間の解釈を含む。
これらは典型的には、構造化されていない散文で説明され、体系的な比較を妨げる、証明された戦略の再利用、初心者の訓練などである。
本稿では,ドメインに依存しない宣言型言語であるArtifact-Transform Language(ATWL)について述べる。
論文 参考訳（メタデータ） (2026-05-25T06:51:02Z) - Lean-GAP: A Dataset of Formalized Graduate Algebra Problems [3.1963549333419388]
本稿では,PDF-to-La Algebra前処理,Lean 4への自動形式化,非公式な形式対応の検証などからなるスケーラブルなパイプラインを開発する。
コントリビューションには、(i)形式化された演習の構造化データセットの構築、(ii)教科書数学の形式化のための体系的方法論、(iii)形式化過程における繰り返しの課題の分析が含まれる。
論文 参考訳（メタデータ） (2026-05-20T08:15:43Z) - Large Language Models to Enhance Business Process Modeling: Past, Present, and Future Trends [0.0]
本稿では、自然言語をBPMNプロセスモデルに変換するAI駆動手法の文献レビューを紹介する。
この分析は、ルールベースおよび従来のNLPパイプラインからLLMベースのアーキテクチャへの移行を明らかにしている。
この文献は、意味的正当性、評価の断片化、現実世界の組織的文脈における限定的な検証に関する永続的な課題も明らかにしている。
論文 参考訳（メタデータ） (2026-04-15T16:15:03Z) - Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations [0.0]
本稿では,機械学習技術と形式検証を統合したLIFR(Learning-Infused Formal Reasoning)という研究ビジョンを概説する。
このフレームワークは、自然言語要求からの自動コントラクト合成、グラフマッチングと学習ベースの埋め込みを用いた検証アーティファクトのセマンティックリユース、および統一プログラミング理論(UTP)と制度理論に基づく数学的に基礎付けられたセマンティック基盤の3つの相補的な研究方向に焦点を当てている。
論文 参考訳（メタデータ） (2026-04-14T13:58:14Z) - Understanding Contextual Recall in Transformers: How Finetuning Enables In-Context Reasoning over Pretraining Knowledge [50.009682083079205]
我々は,文脈的リコールが単独で事前学習から生じるかどうかを検討する。
ICL評価とは異なる暗黙的推論を必要とするタスクの微調整は、文脈的リコールの出現を誘発することを示す。
メカニカル・インサイト(メカニカル・インサイト)では,現実から文脈への遷移を再現するアテンションオンリー・トランスフォーマーの構成を導出する。
論文 参考訳（メタデータ） (2026-03-21T22:46:55Z) - Multi-Agent Procedural Graph Extraction with Structural and Logical Refinement [66.51979814832332]
モデル式は、専用の構造的および論理的洗練を伴う多ラウンド推論プロセスとして手続きグラフ抽出を定式化する。
実験により、モデルが強いベースラインに対して構造的正当性と論理的整合性の両方において大幅に改善されることが示されている。
論文 参考訳（メタデータ） (2026-01-27T04:00:48Z) - Structuring Reasoning for Complex Rules Beyond Flat Representations [37.11501169845084]
我々は、専門家による推論プロセスに触発された新しいフレームワークを提案する。
Dynamic Adjudication template(DAT)は、推論メカニズムを3つの方法論的なステージに構成する。
DATは、複雑なルールベースのタスクにおいて、従来のChain-of-Thought(CoT)アプローチよりも一貫して優れています。
論文 参考訳（メタデータ） (2025-10-01T04:10:13Z) - Leveraging Machine Learning and Enhanced Parallelism Detection for BPMN Model Generation from Text [75.77648333476776]
本稿では、テキストからBPMNモデルを抽出する自動パイプラインについて紹介する。
この研究の重要な貢献は、新たに注釈付けされたデータセットの導入である。
モデルトレーニング用の32のパラレルゲートウェイを含む15の注釈付き文書でデータセットを増強する。
論文 参考訳（メタデータ） (2025-07-11T07:25:55Z) - Contextualize-then-Aggregate: Circuits for In-Context Learning in Gemma-2 2B [51.74607395697567]
In-Context Learning (ICL)は、大規模言語モデル(LLM)の興味深い能力である。
我々は5つの自然主義ICLタスクに対してGemma-2 2Bにおける情報フローを因果介入を用いて同定する。
このモデルでは,2段階戦略を用いてタスク情報を推論し,コンテキスト化-then-aggregateと呼ぶ。
論文 参考訳（メタデータ） (2025-03-31T18:33:55Z) - MetricPrompt: Prompting Model as a Relevance Metric for Few-shot Text
Classification [65.51149771074944]
MetricPromptは、数発のテキスト分類タスクをテキストペア関連性推定タスクに書き換えることで、言語設計の難易度を緩和する。
広範に使われている3つのテキスト分類データセットを4つのショット・セッティングで実験する。
結果から,MetricPromptは,手動弁証法や自動弁証法よりも優れた性能を示した。
論文 参考訳（メタデータ） (2023-06-15T06:51:35Z) - CINS: Comprehensive Instruction for Few-shot Learning in Task-oriented
Dialog Systems [56.302581679816775]
本稿では,タスク固有の命令でPLMを利用する包括的インストラクション(CINS)を提案する。
命令のスキーマ(定義、制約、プロンプト)と、ToDの3つの重要な下流タスクに対するカスタマイズされた実現を設計する。
これらのToDタスクに対して,小さな検証データを用いた現実的な数ショット学習シナリオで実験を行った。
論文 参考訳（メタデータ） (2021-09-10T03:23:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。