論文の概要: Reflections on the design, applications and implementations of the normative specification language eFLINT

• arxiv url: http://arxiv.org/abs/2511.12276v1
• Date: Sat, 15 Nov 2025 16:09:31 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-11-18 14:36:23.795534
• Title: Reflections on the design, applications and implementations of the normative specification language eFLINT
• Title（参考訳）: 標準仕様言語eFLINTの設計・応用・実装に関する考察
• Authors: L. Thomas van Binsbergen, Christopher A. Esterhuyse, Tim Müller,
• Abstract要約: 法的な実践は、解釈や資格のような主観的なプロセスを含む。 法則による計算推論には、法学とソフトウェアの専門知識の両方を含む学際的なプロセスが必要である。 本稿では,ドメイン固有のソフトウェア言語であるeFLINTについて考察する。
• 参考スコア（独自算出の注目度）: 0.764671395172401
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is getting more pervasive. Moreover, the digitalised services provided by governmental organisations and companies are governed by an increasing amount of laws and regulations, requiring highly adaptable compliance practices. A potential solution is to automate compliance using software. However, automating compliance is difficult for various reasons. Legal practices involve subjective processes such as interpretation and qualification. New laws and regulations come into effect regularly and laws and regulations, as well as their interpretations, are subjected to constant revision. In addition, computational reasoning with laws requires a cross-disciplinary process involving both legal and software expertise. This paper reflects on the domain-specific software language eFLINT developed to experiment with novel solutions. The language combines declarative and procedural elements to reason about situations and scenarios respectively, explicates and formalises connections between legal concepts and computational concepts, and is designed to automate compliance checks both before, during and after a software system runs. The various goals and applications areas for the language give rise to (conflicting) requirements. This paper reflects on the current design of the language by recalling various applications, the requirements they imposed, and subsequent design decisions. As such, this paper reports on results and insights of an investigation that can benefit language developers within the field of automated compliance.
• Abstract（参考訳）: 法律や規制、契約に対するソフトウェアのコンプライアンスをチェックすることは、ソフトウェアを社会的なプラクティスに組み込むことが、ますます広まりつつあるため、ますます重要でコストがかかる。 さらに、政府組織や企業が提供するデジタル化サービスは、法や規制の量が増え、高度に適応可能なコンプライアンスの慣行を必要としている。 潜在的な解決策は、ソフトウェアを使用してコンプライアンスを自動化することである。 しかし、コンプライアンスの自動化は様々な理由で困難である。 法的な実践は、解釈や資格のような主観的なプロセスを含む。 新しい法律や規則は定期的に施行され、法律や規則は解釈と同様に常に改訂される。 さらに、法則による計算的推論には、法学とソフトウェアの専門知識の両方を含む学際的なプロセスが必要である。 本稿では,ドメイン固有のソフトウェア言語であるeFLINTについて考察する。 この言語は、宣言的要素と手続き的要素を組み合わせて、それぞれ状況とシナリオを推論し、法的概念と計算的概念の関連を説明・形式化し、ソフトウェアシステムが実行される前後のコンプライアンスチェックを自動化するように設計されている。 言語に対する様々な目標と応用領域は、要求(紛争)を引き起こします。 本稿では、様々なアプリケーション、それらが課した要件、およびそれに続く設計決定をリコールすることで、現在の言語設計を反映する。 そこで本稿では,自動コンプライアンス分野における言語開発者の役に立つ調査結果と洞察について報告する。

関連論文リスト

• SWE-Compass: Towards Unified Evaluation of Agentic Coding Abilities for Large Language Models [59.90381306452982]
  ソフトウェアエンジニアリングのための大規模言語モデル(LLM)の評価は、タスクカバレッジの狭さ、言語バイアス、現実世界の開発者との整合性の不足によって制限されている。 SWE-1は、不均一なコード関連評価を構造化および生産整合性のあるフレームワークに統合する包括的なベンチマークである。 SWE-は8つのタスクタイプ、8つのプログラミングシナリオ、10のプログラミング言語にまたがる。
  論文  参考訳（メタデータ） (2025-11-07T18:01:32Z)
• From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law [0.0]
  この研究では、LLMを使用してコンプライアンスのためのソフトウェアユースケースを分類する3段階のパイプラインを採用している。 実世界のユースケースに対してLLMをベンチマークすることにより、この研究は、AI駆動のソリューションを活用してソフトウェアの法的コンプライアンスを強化するための洞察を提供する。
  論文  参考訳（メタデータ） (2025-07-05T23:36:05Z)
• Specification languages for computational laws versus basic legal principles [0.0]
  我々は,この法律が自動意思決定プロセスを通じてソフトウェアによって施行されることを意図した場合に,テキスト計算法について述べる。 本稿では、自然言語で書かれた計算法則や形式言語で書かれた計算法則の両シナリオにおいて、ある法的原則がいかに相応しいかを考察する。
  論文  参考訳（メタデータ） (2025-03-12T07:39:27Z)
• Legal Requirements Analysis [2.3349787245442966]
  法的な要件を解析し,その表現を例示する様々な手法について検討する。 機械分析可能な表現を規則から作成する代替案について述べる。
  論文  参考訳（メタデータ） (2023-11-23T09:31:57Z)
• SAILER: Structure-aware Pre-trained Language Model for Legal Case Retrieval [75.05173891207214]
  判例検索は知的法体系において中心的な役割を果たす。 既存の言語モデルの多くは、異なる構造間の長距離依存関係を理解するのが難しい。 本稿では, LEgal ケース検索のための構造対応プレトランザクショナル言語モデルを提案する。
  論文  参考訳（メタデータ） (2023-04-22T10:47:01Z)
• Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
  本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。 使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
  論文  参考訳（メタデータ） (2023-01-05T18:18:46Z)
• Lawformer: A Pre-trained Language Model for Chinese Legal Long Documents [56.40163943394202]
  我々は,中国法定長文理解のためのLongformerベースの事前学習言語モデル,Lawformerをリリースする。 判決の予測,類似事例の検索,法的読解,法的質問の回答など,さまざまな法務上の課題について法務担当者を評価した。
  論文  参考訳（メタデータ） (2021-05-09T09:39:25Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。