paperbot · PL 论文追踪

全部论文 待读 收藏

P2 BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules

BuRRiTo:一个提取、指定、验证和分析业务规则的框架
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 2/10 · 论文关注从文档和遗留代码中提取业务规则并做语义查询与功能缺口分析,属于需求工程/软件维护方向,与用户核心的 PL→AI、AI→PL、浮点程序分析和贝叶斯程序分析交叉很少。虽然标题涉及验证,但未聚焦静态分析、LLM/Agent 或形式化验证方法。引用 6 inbox
Pavan Kumar Chittimalli, Kritika Anand, Shrishti Pradhan, Sayandeep Mitra, Chandan Prakash, Rohit Shere, Ravindra Naik
crossref: 2026-09-12

AI 速览

一句话:提出 BuRRiTo 框架,自动从文档与遗留代码提取业务规则,清理异常并支持语义查询与功能缺口分析。

企业系统中的业务规则通常以自然语言记载于操作规程、条款和文档,或隐含在遗留系统源码中。分析师手工解释这些规则并转为 UML 用例规格或用于并购分析时,容易产生不一致与歧义,且问题往往到测试阶段才暴露,成本高。BuRRiTo 框架旨在自动从文档与源码中挖掘业务规则,支持对其清洗,处理不一致、冗余、冲突等异常,并分析功能缺口以及进行语义查询与搜索,从而减少人工解释错误和测试开销。摘要未报告具体实验或定量评估。

问题
企业业务规则分散于自然语言文档和遗留代码,人工提取与解释易产生不一致、歧义和功能缺口,问题常到测试阶段才暴露,修复昂贵。
方法
BuRRiTo 自动从文档和源码中挖掘业务规则,清洗不一致、冗余、冲突等异常,并支持功能缺口分析与语义查询/搜索。
评估
摘要未给出具体评估数据;从描述看,评估体现在框架对提取、清洗、缺口分析与语义查询等能力的支持,而非定量实验。
原文摘要(Abstract)

An enterprise system operates business by providing various services that are guided by set of certain business rules (BR) and constraints. These BR are usually written using plain Natural Language in operating procedures, terms and conditions, and other documents or in source code of legacy enterprise systems. For implementing the BR in a software system, expressing them as UML use-case specifications, or preparing for Merger & Acquisition (M&A) activity, analysts manually interpret the documents or try to identify constraints from the source code, leading to potential discrepancies and ambiguities. These issues in the software system can be resolved only after testing, which is a very tedious and expensive activity. To minimize such errors and efforts, we propose BuRRiTo framework consisting of automatic extraction of BR by mining documents and source code, ability to clean them of various anomalies like inconsistency, redundancies, conflicts, etc. and able to analyze the functional gaps present and performing semantic querying and searching.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5307,
  title = {BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules},
  author = {Pavan Kumar Chittimalli and Kritika Anand and Shrishti Pradhan and Sayandeep Mitra and Chandan Prakash and Rohit Shere and Ravindra Naik},
  booktitle = {ASE},
  year = {2019},
  doi = {10.1109/ase.2019.00134}
}