The design of a large component-based software system typically involves the composition of different components. The lack of rigorous reasoning about the correctness of composition is an important barrier towards the promise of "plug and play". In this paper, we describe a rigorous logic framework to reason about component compositions. We focus our analysis on design components, such as design patterns, which have been used by a large number of applications. We also propose methods to verify structural and behavioral composition correctness.
基于大型组件的软件系统的设计通常涉及不同组件的组成。缺乏关于构图正确性的严格推理是实现“即插即用”承诺的重要障碍。在本文中,我们描述了一个严格的逻辑框架来推理组件的组成。我们将分析的重点放在了已被大量应用程序使用的设计组件(例如设计模式)上。我们还提出了验证结构和行为组成正确性的方法。 P>
机译:对象和属性组成概念的逻辑和本体框架
机译:Web服务逻辑组成的分层框架
机译:基于Agent社团的自动化逻辑Web服务组合的混合框架
机译:设计组合的逻辑框架
机译:安全链接:用于策略执行的组件组合的逻辑框架。
机译:机械表征过程实验设计的逻辑推理框架
机译:现代逻辑框架设计
机译:逻辑数据库设计框架