Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
业务规范对于描述和理解业务（特别是业务规则）是必不可少的，与用于其可能的自动化的任何计算系统无关。他们必须以清晰、精确和明确的方式表达这种理解，以便作为业务领域专家和软件开发人员之间的共同基础。它们还为所有企业（从金融到电信）或大量企业共同的概念和结构（“模式”）的重用提供了基础，这样做可以节省智力、时间和金钱。此外，这些模式大大简化了在与业务客户进行漫游期间对业务规范的获取和验证，并支持使用视点分离关注点。
2014-09-24 cs.SE
Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
Tianjin University（天津大学）
本文提出SeGa方法，通过语义知识库生成单元测试以发现业务逻辑错误，实验显示其在检测错误数量和精度提升方面优于现有技术。
2026-10-07 cs.SE
Automating Business Intelligence Requirements with Generative AI and Semantic Search
针对商业智能（BI）系统需求获取的挑战，本文提出AI驱动系统AutoBIR，结合语义搜索与大型语言模型（LLMs），通过对话界面自动化BI需求规范，生成分析代码、测试报告等，优化数据驱动决策流程。
2024-12-10 cs.SE
Ontology based Approach for Semantic Service Selection in Business Process Re-Engineering
本研究的目的是提供一种可能性，让业务分析师能够知道他们设计的业务流程是否可行。为了解决这个问题，我们提出了一个称为BPMNSemAuto的模型，该模型利用了存储在服务注册表中的现有服务。根据从XML中提取的数据、WSDL文件和服务器上服务执行的跟踪数据，生成Web服务本体（WSOnto）来存储所有现有的服务。BPMNSemAuto模型接受业务流程设计规范的输入，并生成一个可执行的业务流程作为输出。它为业务分析人员提供了一个接口，以指定设计业务流程的每个服务任务的描述。对于每个服务任务，业务分析师指定任务目标（关键字）、输入、输出和服务质量（QoS）属性的权重。从具有服务任务规范的设计业务流程中，生成业务流程本体（BPOnto）。服务选择算法执行WSOnto和BPOnto的实例之间的映射，以获得这两个本体之间可能的映射。所获得的映射帮助模型获取Web服务以执行期望的服务任务。此外，在执行服务选择算法之前，执行所提出的模型的输入的一致性检查。利用WordNet解决了同义词问题，同时提出了一种关键词抽取方法。
2018-11-16 cs.SE
Evaluation of Computability Criterions for Runtime Web Service Integration
今天的竞争环境驱使企业扩大他们的重点，并与他们的商业伙伴合作，以实现必需品。业务合作伙伴之间的紧密协调有助于在全球范围内共享和集成服务逻辑。但是，集成不同企业的服务逻辑会导致指数问题，这要求开发人员理解整个服务，必须解决合适的方法来集成服务。这是一项复杂而耗时的任务。因此，目前的重点是有一个机械化的系统来分析业务逻辑，并传达适当的模式来集成它们。没有标准的模型来处理这些问题，本文提出的一个这样的框架单独研究了业务逻辑，并提出了适当的结构来整合它们。该模型的一个创新概念是属性评估系统，它检查服务逻辑并为所需的服务生成业务逻辑属性模式（BLPS）。BLPS保存必要的信息以识别用于集成服务逻辑的正确结构。在集成时，系统消费该BLPS模式，并提出可行的方法来集成服务逻辑。此外，如果服务逻辑试图集成在无效的结构中或试图违反可访问性级别，系统将抛出异常并提供必要的信息。这有助于开发人员确定高效的结构，以最少的工作量集成服务。
2011-11-07 cs.SE
Qualitative Analysis of Integration Adapter Modeling
集成适配器是集成系统的基本组成部分，因为它们为（业务）应用程序提供对其消息传递通道的访问。然而，它们的建模和配置仍然代表性不足。在以前的工作中，集成控制和数据流的语法和语义已表示在业务流程模型和表示法（BPMN）作为基于消息的集成的语义模型，而适配器和相关的服务质量建模留待进一步研究。在这项工作中，我们指定通用的适配器功能，并得出一般的建模模式，我们定义了一个兼容的表示在BPMN。这些模式通过适配器流扩展了以前的工作，并针对常见的适配器特征从语法和语义上进行了评估。
2015-03-06 cs.SE
Digital Twins of Business Processes as Enablers for IT / OT Integration
针对工业4.0中IT与OT系统难以直接集成的问题，提出工业业务流程孪生（IBPT）作为中介解耦并集成两者，基于九子棋场景验证了四大设计原则，并开发了OPC UA模型进行评估。
2023-05-10 cs.SE
Managing Evolving Business Workflows through the Capture of Descriptive Information
如今的业务系统需要敏捷，以满足不断变化的世界的需求。特别是企业应用集成的学科要求业务流程管理是高度可重构的，具有支持动态工作流、应用间集成和流程重构的能力。将EAI系统建立在模型驻留或所谓的预防驱动方法的基础上，使灵活性、分布、系统演化和集成等方面能够以与域无关的方式得到解决。这样一个系统称为CRISTAL本文描述了特别强调其应用程序的EAI问题域。CRISTAL技术在制造系统领域的一个实际例子，称为Agilium，描述了模型驱动的系统进化和集成的原则。该方法相比，其他模型驱动的开发方法，如模型驱动架构的OMG和所谓的自适应对象模型。
2003-10-24 cs.DB cs.SE
Expressiveness and Understandability Considerations of Hierarchy in Declarative Business Process Models
层次结构被广泛认为是处理概念模型复杂性的可行方法。例如，在声明性业务流程模型中，层次结构是由子流程实现的。虽然存在声明子过程的技术实现，其应用程序，语义，以及由此产生的影响的可理解性还不太了解这方面的研究差距，在这项工作中得到解决。特别是，我们讨论了语义和层次结构的应用，并展示了如何子过程增强声明式建模语言的表达能力。然后，我们转向层次结构对声明性过程模型的可理解性的影响。为了系统地评估这种影响，我们提出了一个基于认知心理学的框架，可以评估层次结构对过程模型的可理解性可能产生的影响。
2015-11-11 cs.SE
An LTL Semantics of Business Workflows with Recovery
我们描述了一个业务工作流的案例研究与异常行为管理（即恢复），并演示了如何时序逻辑和模型检验可以提供一种方法来迭代修改设计，并获得正确的建设系统。要做到这一点，我们定义了一个正式的语义，给出了一个编译的通用工作流模式到LTL，我们使用绑定模型检查器Zot来证明特定的属性和要求的有效性。工作假设是，这种轻量级方法将很容易适应已经存在的流程，而不需要彻底改变程序、工具和人们的态度。形式化的复杂性和方法的侵入性已经被证明是将形式化工程技术部署到平凡项目中的主要缺点和障碍之一。
2014-06-05 cs.LO cs.SE
Semantics and Analysis of DMN Decision Tables
决策模型和表示法（DMN）是一种标准表示法，用于捕获一般业务应用程序和特定业务流程中的决策逻辑。DMN中的一个核心结构是决策表。越来越多地使用DMN决策表来捕获关键业务知识，这就需要支持这些表上的分析任务，例如正确性和完整性检查。本文提供了DMN表的形式化语义、关键分析任务的形式化定义以及解决两个此类任务的可扩展算法，即，重叠规则和缺失规则的检测。该算法基于决策表的几何解释，可用于通过利用几何算法来支持其他分析任务。该算法已在开源DMN编辑器中实现，并在来自信贷数据集的大型决策表上进行了测试。
2016-03-24 cs.SE
A declarative Language for Rapid Business Development
ZoomBA的动机是领域特定语言（DSL），如Verblog，VHDL，Spice。用于软件测试的DSL并不是一个新的想法，许多商业工具（如Silk Suite）都使用它们，而Selenese，用于Selenium IDE的DSL [6]是开源的。ZoomBA是一个功能性的，可嵌入的，图灵完备的语言。它的理念是以声明的方式公开现有的Java echo系统，以实现系统集成和软件验证的目的。通过设计，ZoomBA脚本的大小与Python甚至Scala相比都是微不足道的，用于解决业务自动化问题。Bayestree使用ZoomBA进行系统集成/适配器/数据操作。
2018-05-11 cs.PL cs.SE
A framework to semantify BPMN models using DEMO business transaction pattern
BPMN是一种规约语言，被工业界和研究人员广泛用于业务流程建模和执行。它清楚地定义了如何表达其概念，但没有提供表示所生成模型的语义的机制。本文讨论了如何提高BPMN模型的表达能力的问题，提出了一个定义的业务流程在BPMN模型的语义，并提高模型的完整性，以系统的方式，使模型可以描述更多的情况下，很少额外的管理复杂性。我们设想了一个框架的基础上的业务交易模式，在企业本体知识体系规定的基础上语义BPMN模型。已经开发了一个工具，使框架自动化。然后，两个工业的概念证明被用来衡量其覆盖范围，积极和消极的，并讨论我们的建议的有用性。在此之后，该建议与其他使用系统的文献综述进行比较。提出了一个完整的BPMN模式，包括快乐流，拒绝，拒绝和拒绝，而不添加任何新的元素到BPMN规范。一个软件工具已经开发出来，并公开提供，以支持自动生成的BPMN模型从建议的模式。我们的语义化BPMN模式允许在两个概念证明中识别大量隐式和其他未实现的情况。它的结论是使用语义解决方案，基于一个健全的模式，允许系统的丰富的BPMN模型与有限的努力。此外，为了简化BPMN可执行模型的实现，它的元素可以分为隐式、显式和尚未实现。最后，相关的工作表明，这项工作是必要的，但没有完整的解决方案。
2020-12-17 cs.SE
Building sustainable ecosystem-oriented architectures
目前，组织正在将其业务流程转变为电子服务和面向服务的体系结构，以改善销售、营销和合作伙伴渠道之间的协调，构建灵活且可扩展的系统，并降低与集成相关的维护和开发成本。然而，这种新模式仍然很脆弱，缺乏许多关键功能，无法构建可持续和渐进的计算基础设施，从而能够快速响应和适应不断变化的市场和环境业务。本文提出了一个新的框架，建立可持续的生态系统为导向的架构（EOA）使用电子服务模型。该框架的主干是一个生态系统层，由多个计算单元组成，其目标是为生态系统中所有互连的服务、组件和设备提供通用互操作性、透明通信、自动化管理、自集成、自适应和安全性。总的来说，所提出的模型旨在提供一个全面的和通用的可持续的业务IT模型，为发展敏捷的电子企业，不断达到新的业务约束，趋势和要求。未来的研究可以改进所提出的模型，使其支持计算智能，以帮助决策和解决问题。
2012-02-11 cs.SE
Semantic Layer Induction from Raw Telemetry via Hierarchical LLM and RAG Abstraction
University of Technology Sydney（悉尼科技大学）；University of Sydney（悉尼大学）
本文提出一个端到端框架，通过两阶段语义抽象（LLM推理与RAG流程）从原始遥测数据自动构建业务语义层，显著提升语义质量并降低维护成本。
2026-09-18 cs.AI cs.CL cs.IR
The Deployment of an Enhanced Model-Driven Architecture for Business Process Management
如今的业务系统需要敏捷，以满足不断变化的世界的需求。业务建模要求业务流程管理具有高度适应性，能够支持动态工作流程、应用程序间集成（可能在业务之间）和流程重新配置。设计具有适应进化的内在能力的系统对它们的成功也变得至关重要。为了处理变化，系统需要有能力在必要时适应用户需求的变化。允许系统自我描述是促进这一点的一种方法。使用我们的自描述系统的实现，即所谓的推理驱动方法，可以在旧版本的基础上创建新版本的数据结构或流程，从而为底层数据模式提供更改日志，并能够收集可跟踪（起源）数据。CRISTAL软件起源于CERN，用于处理物理数据，使用存储的描述版本来定义数据和工作流程的版本，这些版本可以随着时间的推移而演变，从而处理不断变化的系统需求。它已被定制用于商业应用中作为Agilium-NG产品。本文报告了如何Agilium-NG软件已经启用了一个独特的业务流程管理解决方案，可以动态地发展，以满足不断变化的用户需求的部署。
2018-03-19 cs.SE
Semantic integration of UML class diagram with semantic validation on segments of mappings
最近，人们的注意力集中在软件开发上，特别是在地理上相距遥远的不同团队之间进行协作工作。这种协作方式的管理、描述和建模是通过基于UML模型的多种工具和技术实现的。它现在得到了大量工具的支持。这些系统中的大多数都有能力比较不同的UML模型，帮助开发人员，设计人员，并提供合并和集成的操作，以产生一个连贯的模型。本文的贡献是使用对齐的映射来集成一组UML类图，并帮助设计人员和开发人员进行集成。此外，我们还将详细介绍UML模型的集成，并验证它们之间的映射。这种验证有助于实现正确、一致和连贯的集成模型。
2018-01-13 cs.SE
Component Based Solutions Under Architecture
当今的许多应用程序都具有几乎有形的整体性质。它们被构建为“孤岛”，声称是独立的，在与其他应用程序的集成方面提供很少或根本没有。在过去，大型和独立的解决方案可能在某种程度上消除了与其他解决方案交互的需要。然而，在当今的商业环境中，与其他应用程序的交互变得至关重要。因此，在不同的应用程序之间构建了许多点对点集成解决方案。这已经导致我们的许多客户站点出现了“应用意大利面条”。今天的许多应用程序结构都很差，这使得它们对业务更改的响应速度很慢。应用程序面条及其过多的点对点接口进一步抑制了对更改的响应。
2021-05-18 cs.SE
DEMO enhanced BPMN
本文提出一种结合DEMO理论严谨性与BPMN实用性的新方法，通过将DEMO事务模式集成到BPMN中，解决了BPMN缺乏形式语义和多方协作建模局限的问题，为业务流程建模提供了更精确、连贯且可靠的工具。
2024-09-25 cs.ET cs.SE
Choosing the Right Path for AI Integration in Engineering Companies: A Strategic Guide
Eindhoven University of Technology（埃因霍温理工大学）；Chalmers University of Technology（查尔姆斯理工大学）；Malmö University（马尔默大学）
本文针对能源领域EPC企业的AI转型需求，基于行业案例与实践洞察提出覆盖AI解决方案全生命周期的战略框架，为企业结合自身情况选择最优AI整合路径、创造业务价值提供指导，同时丰富了AI项目管理相关研究。
2023-12-25 cs.CY cs.LG cs.SE
Assessing the Business Process Modeling Competences of Large Language Models
本文提出BEF4LLM框架，从语法、语用、语义和有效性四个维度评估LLM生成的BPMN模型，发现LLM在语法和语用质量上表现优异，但语义和有效性仍需提升，为未来模型优化提供指导。
2026-06-29 cs.AI cs.SE
A Tool to Automate the Sizing of Application Process for SOA based Platform
面向服务的体系结构是一种松散耦合的体系结构，旨在解决业务基础设施的协调问题，以满足组织的需求。基于SOA的平台使企业能够以独立服务的形式开发应用程序。为了提供可伸缩的服务交互，需要保持服务性能，并对底层软件平台有一个良好的规模调整准则。规模调整有助于找到配置和实现系统所需的最佳资源，以满足正在规划的业务流程集成的需求。一个基于Web的规模调整工具原型是使用Java应用程序编程接口开发的，以自动化的规模调整部署在SOA平台上的应用程序的过程中，不仅规模的系统的性能，但也预测其业务增长在未来。
2014-11-25 cs.SE
Lost in translation: data integration tools meet the Semantic Web (experiences from the Ondex project)
现在，更多的信息以机器可处理的形式发布在Web上，随着事实上的分布式知识库的实现，部分受到语义Web的愿景的鼓励，重点正在从这些信息的发布转向其消费。基于信息的图形表示的数据集成、可视化和分析平台似乎是容易表达为图形的基于网络的信息的消费者的第一候选者。问题是，采用这些平台来获取语义Web上的信息是否需要对其数据结构和语义进行一些调整。Ondex是一个基于网络的数据集成、分析和可视化平台，是在生命科学领域开发的。一些功能，包括语义注释通过本体和注意出处和证据，使这一理想的候选人消费语义Web信息，以及在这种情况下的网络分析工具的应用原型。通过分析Ondex的数据结构及其使用，我们发现了一组的差异和错误之间的语义不匹配的程序方法来网络分析和基于Web的信息表示的影响。我们在文件中报告了我们进行此类分析所采用的简单方法，以及我们发现的可能与一系列类似平台相关的问题
2011-03-24 cs.SE
Comprehensive measurement framework for enterprise architectures
企业架构定义了整个企业中系统的整体形式和功能，涉及到涉众，并为特定于项目的架构提供了框架、标准和指导方针。特定于项目的体系结构定义了项目或项目群中系统的形式和功能，并将企业作为一个具有广泛范围和业务一致性的整体。应用程序特定架构定义了应用程序的形式和功能，这些应用程序将被开发以实现具有狭窄范围和技术对齐的系统的功能。由于任何企业集成项目的规模和复杂性，必须在任何实际集成工作之前完成主要的工程和操作计划工作。由于需求和要求根据其数量而变化，因此整个企业问题可以分解为可管理的块。这些部分可以通过高度集成工作单独实现和测试。因此，分析可实现的企业解决方案的经济和技术可行性变得至关重要。随着企业的发展，很难从一个技术和业务方面迁移到另一个方面。现有的系统工程过程模型强调生命周期管理和低层次的活动协调与里程碑验证。许多组织正在开发企业架构，以提供系统如何支持和支持其业务的清晰愿景。本文提出了一种基于度量框架的企业架构选择方法。该框架由高阶目标、非功能需求支持和输入-输出对评估的独特组合组成。这方面的早期努力只关注表明某个范围内某个参数可用性的定制量表。
2011-09-09 cs.SE
Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture
本文提出boldsea架构及形式化语言BSL，通过将事件语义与数据流架构结合，利用可执行本体直接控制过程执行，克服了传统BPM系统的局限，实现运行时模型修改与数据及业务逻辑的无缝融合。
2025-09-16 cs.AI cs.CL cs.FL
Recommendations for web service composition by mining usage logs
Web服务组合是近十年来研究最多的课题之一。Web服务组合的新方法包括基于语义的组合、基于WSDL的组合等。虽然这些方法为基于网络QoS参数和与WSDL相关的语义或本体的Web服务组合、搜索和发现提供了有希望的结果，但它们没有解决基于Web服务使用的组合。Web服务使用日志通过业务对象捕获Web服务调用的时间序列数据，这些业务对象天生捕获与业务操作相关联的模式或工作流。基于这种模式和工作流的Web服务组合可以极大地简化业务操作。在本研究工作中，我们试图探索和实现Web服务使用日志的挖掘方法。主要目标包括识别服务的使用关联。将一个服务调用与其他服务调用链接，评估服务关联之间的因果关系
2016-04-11 cs.DB cs.SE
Towards Semantic Integration of Heterogeneous Sensor Data with Indigenous Knowledge for Drought Forecasting
Central University of Technology（中央理工大学）
在物联网（IoT）领域，各种异构无处不在的设备将能够无缝地相互连接和通信，而不管域。通过详细的标准化注释的数据的语义表示已被证明可以提高互连的异构设备的集成。然而，这些异构数据源的环境监测系统的语义表示还没有得到很好的支持。为了实现物联网在干旱预测中的最大效益，需要一个专用的语义中间件解决方案。本研究提出了一种中间件，语义表示和集成异构数据源与土著知识的基础上，一个准确的基于物联网的干旱预警系统（DEWS）的统一本体。
2016-01-08 cs.AI cs.NI cs.SE
LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
IEEE
研究基于 SysML v2 的跨组织协作中语义对齐挑战，提出由提示驱动的结构化方法，利用 SysML v2 构造，经迭代开发对齐方法与交互提示，以实现 LLM 辅助的语义对齐集成。
2026-07-07 cs.AI cs.SE cs.SY
