首页/论文/1405.3017

arXiv 1405.30172014-05-13cs.SE

构件相似性的形式化与分析

Formalisation and Analysis of Component Dependencies

Maria Spichkova

备注：: Preprint with an extended introduction, Archive of Formal Proofs, 2014, ISSN: 2150-914x

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

这套理论提出了一个形式化的Isabelle/HOL+Isar组件之间的数据依赖关系。该方法允许分析面向系统的有效检查的系统结构：它的目的是详细说明一个具体的系统，系统（或系统模型）的哪些部分是必要的检查给定的属性。

英文摘要：

This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

流处理组件：Isabelle/HOL形式化和案例研究

Stream processing components: Isabelle/HOL formalisation and case studies

这套理论提出了一个Isabelle/HOL+Isar流处理组件的形式化介绍焦点，一个框架，正式规范和开发的交互式系统。这是一个扩展和更新版本的形式化，这是详细说明的方法'专注于伊莎贝尔'。此外，我们还将形式化应用于三个案例研究，涵盖不同的应用领域：过程控制（蒸汽锅炉系统），数据传输（FlexRay通信协议），存储器和处理组件（汽车网关系统）。

2014-05-07cs.SE

分布式组件的正确组成：形式化和工具

Verifying the correct composition of distributed components: Formalisation and Tool

本文提供了形式化的定义，描述了组件的良构组合，以保证它们的安全部署和执行。我们的工作集中在组件组合的结构方面;它将许多组件模型中常见的大多数概念放在一起，但从未作为一个整体形式化。我们的形式化特征正确的组件架构的功能和非功能方面，都作为组件组装结构。拦截器链可以用于两个方面之间的安全和受控的交互。我们的格式良好的组件保证了一组属性，确保部署的组件系统具有正确的体系结构并可以安全运行。最后，这些定义构成了我们的基于组件的应用程序的开发和规范的基于XML的环境的正式基础。

2015-02-12cs.DCcs.SE

软件组件之间的强相关性

Strong Dependencies between Software Components

基于组件的系统通常根据显式的组件间依赖性来描述上下文需求。研究此类系统的大型实例？例如自由和开放源码软件（FOSS）发行版？在包之间声明的依赖关系方面是有吸引力的。然而，当表达依赖关系的语言像布尔公式一样具有表达力时，这也是误导性的，这是经常发生的情况。在这种情况下，存在一个更合适的组件依赖性概念：强依赖性。本文介绍了这样的概念作为第一步建模语义，而不是语法，组件间的关系。此外，组件灵敏度的概念是从强依赖性中推导出来的，并应用于质量保证和升级风险的评估。强依赖性和敏感性的实证研究，提出的背景下，最大的，免费提供的，基于组件的系统之一。

2009-05-26cs.SE

SBOM基础软件组成分析中的隐藏依赖与组件变体

Hidden Dependencies and Component Variants in SBOM-Based Software Composition Analysis

Victoria University of Wellington（惠灵顿维多利亚大学）

本文研究了SBOM基础软件组成分析中隐藏代码级依赖和无法一致识别的组件变体问题，揭示了当前SBOM生产与消费的局限性，推动了更丰富的依赖表示和组件身份定义。

2026-04-23cs.SE

如何在JEE Web应用的服务器页面中实现自定义

How to Implement Dependencies in Server Pages of JEE Web Applications

Java企业版（JEE）应用程序是根据一组基于几种JEE技术开发的组件来实现的，这些技术包括但不限于Servlet、JSP、JSF、EJB、JavaBean。这些JEE技术依赖于一组不同的通信机制来相互通信。这些通信机制的示例包括HTTP请求、远程方法调用（RMI）、Java数据库连接（JDBC）等。这些通信机制表示JEE组件之间的程序依赖性。然而，不同的JEE技术可以采用不同的实现方式来实现同一种通信机制.因此，为了能够检测相关的依赖关系，我们确定了一组JEE技术使用的这些实现方式。在本技术报告中，我们将重点介绍Web层技术，即Servlet、JSP和JSF。此外，我们还介绍了这些技术如何访问JavaBean和管理Bean组件。

2018-03-14cs.SE

论软件成分分析的安全盲区

On the Security Blind Spots of Software Composition Analysis

针对软件成分分析中因代码克隆、遮蔽产生的隐藏依赖漏洞检测难题，提出轻量级Maven仓库漏洞克隆检测方法，检出数百个现有SCA工具遗漏的漏洞，推动多个CVE条目更新。

2023-10-09cs.SE

更多相关论文收起更多论文

Mock深度测试：面向深度学习数据与模型的分离开发

Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning

针对深度学习数据与模型难以独立测试的问题，提出Mock深度测试方法及KUnit框架，通过模块化分解和Mock依赖建模实现组件单元测试，有效识别并解决问题，提升开发效率。

2025-02-11cs.SE

在组件安装中表示高级用户首选项

Expressing advanced user preferences in component installation

最先进的基于组件的软件集合-如自由和开放源码软件发行版-由多达数十万个组件组成，具有复杂的相互依赖性和冲突。给定这样一个系统的特定安装，每个更改已安装组件集的请求都可能有（太）多令人满意的答案。我们提出了一个架构，允许表达先进的用户偏好的软件包选择自由和开源软件发行版。该架构由一种独立于发行版的格式组成，用于描述可用和已安装的软件包，称为CUDF（通用可升级性描述格式），以及一种称为MooML的基础语言，用于指定优化标准。我们提出了CUDF和MooML的语法和语义，并讨论了MooML的部分评估机制，它允许在包依赖求解器中获得效率。

2009-09-28cs.SE

动态软件构件与JavaBIP的协调

Coordination of Dynamic Software Components with JavaBIP

JavaBIP通过清晰地分离系统行为的功能和协调方面来允许软件组件的协调。JavaBIP实现了植根于严格操作语义的BIP组件框架的原则。最近在BIP和JavaBIP上的工作允许在系统部署之前定义的静态组件的协调，即，协调系统的体系结构在其组件实例方面是固定的。然而，现代系统经常使用可以在系统执行期间动态注册和注销的组件。在本文中，我们提出了一个扩展的JavaBIP，可以处理这种类型的动态。我们使用一阶交互逻辑来定义基于组件类型的同步约束。此外，我们使用有向图与边着色模型组件之间的依赖关系，确定一个在线系统的有效性。我们提出了我们的实现的软件架构，提供和讨论性能评估结果。

2017-08-15cs.SE

HookLens：用于理解 React 钩子结构的可视化分析

HookLens: Visual Analytics for Understanding React Hooks Structures

Seoul National University（首尔大学）；Samsung Electronics（三星电子）

HookLens 通过交互式可视化分析帮助开发者理解 React 钩子之间的依赖关系，识别反模式，提升代码可维护性。

2026-03-23cs.HCcs.SE

VeriSBOM：通过零知识证明实现安全且可验证的SBOM共享

VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs

Newcastle University（纽卡斯尔大学）

VeriSBOM通过零知识证明实现安全且可验证的SBOM共享，保护知识产权并确保合规性。

2026-02-14cs.CRcs.SE

重新思考面向云原生应用的 Actor 系统中的状态管理

Rethinking State Management in Actor Systems for Cloud-Native Applications

本文提出面向 Actor 系统的数据管理层 SmSa，通过声明式跨 Actor 依赖管理与事务性并发控制，在保证应用逻辑表达能力的同时显著降低日志开销并提升并发性能，简化高分区分布式应用的设计与实现。

2024-10-21cs.DBcs.SE

VDGraph：一种从 SBOM 和 SCA 数据中释放洞察的图论方法

VDGraph: A Graph-Theoretic Approach to Unlock Insights from SBOM and SCA Data

提出基于知识图谱的 VDGraph，融合 SBOM 与 SCA 数据并形式化处理冲突；对 21 个 Java 项目的实验揭示集中风险点及深层传递依赖漏洞规律。

2025-07-28cs.CRcs.SE

D $^2$ ABS：一个分布式程序动态依赖抽象框架

D$^2$ABS: A Framework for Dynamic Dependence Abstraction of Distributed Programs

随着现代软件系统越来越多地在分布式环境中运行，提供诸如依赖分析之类的基本技术来检查、诊断和演化这些系统是至关重要的。然而，传统的依赖分析是不适用的或非常有限的效用，由于这些程序的解耦组件，运行在并发进程在物理上分离的机器上的分布式程序。基于分布式软件依赖分析的需要和基于依赖的应用程序的不同成本效益的需求，本文提出了D $^2$ ABS，一个分布式程序的动态依赖抽象框架。通过对分布式方法执行事件进行部分排序并从排序的事件中推断因果关系，D $^2$ ABS抽象了过程边界内和过程边界之间的方法级依赖关系。此外，通过利用跨进程的消息传递语义，并将静态依赖关系和语句覆盖范围内的各个组件，我们提出了三个额外的实例D $^2$ ABS的贸易效率更好的精度。我们提出了设计的D $^2$ ABS框架和评估的四个实例的D $^2$ ABS分布式系统的各种架构和规模使用我们的Java实现。我们的实证结果表明，D $^2$ ABS是显着更有效的比现有的选项，同时提供不同程度的成本效益权衡。由于我们的框架本质上是计算整个系统的运行时依赖关系，因此它自然会支持一系列其他基于依赖关系的应用程序。

2021-11-08cs.DCcs.PLcs.SE