[论文解读] A Process Algebra Software Engineering Environment

Bob Diertens|ArXiv.org|Jun 17, 2008

Advanced Software Engineering Methodologies参考文献 17被引用 4

一句话总结

本文提出了一种基于过程代数的软件工程环境，采用PSF（过程规范形式化）和ToolBus协调架构，将CASE风格的开发过程形式化，并集成多个工具工作台。它将精化步骤泛化为可重用的软件工程工作台，支持模块化、可组合的环境，实现形式化、以架构为导向的开发，并具备仿真和工具集成支持。

ABSTRACT

In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. We generalize the refine step in this environment towards a process algebra based software engineering workbench of which several instances can be combined to form an environment.

研究动机与目标

• 形式化一种基于过程代数的软件工程过程，以提升系统开发中的控制力与自动化水平。
• 解决现有架构描述语言（ADLs）在架构精化方面缺乏形式化支持的问题。
• 构建一个可重用、模块化的框架，用于从集成工作台构建软件工程环境。
• 通过基于过程代数的脚本模型（ToolBus）实现工具集成与协调。
• 通过多级规格说明与仿真支持设计重用和长期可维护性。

提出的方法

• 使用PSF（一种源自ACP和ASF的过程代数语言）来指定系统组件与行为。
• 采用ToolBus协调架构，利用过程代数构造管理工具与进程之间的通信。
• 应用垂直与水平精化技术，将架构规格说明逐步演化为可执行的ToolBus应用规格说明。
• 通过ToolBus将工具（如编译器、仿真器、IDE）集成到CASE环境中，实现自动化协调。
• 将精化步骤泛化为可重用的软件工程工作台，可实例化并组合使用。
• 将多个工作台实例按串行或并行方式组合，构成完整的软件工程环境。

实验结果

研究问题

• RQ1 过程代数如何被用于以结构化、可重用的方式形式化并自动化软件工程过程？
• RQ2 像ToolBus这样的协调架构在形式化开发环境中实现工具集成与流程编排方面起到什么作用？
• RQ3 如何通过形式化技术系统性地将架构规格说明精化为可执行的应用规格说明？
• RQ4 泛化的软件工程工作台可通过何种方式组合，以构建可扩展、可伸缩的开发环境？
• RQ5 与传统或临时性的软件工程方法相比，基于过程代数的环境具有哪些优势？

主要发现

• PSF-ToolBus环境成功支持了复杂系统的开发，例如PSF仿真器和IDE，通过形式化规格说明与工具协调实现。
• 利用PSF规格说明生成的仿真与动画显著提升了对系统行为的理解与验证能力。
• 设计与实现组件可在不同系统间重用，尤其在涉及相似产品或架构模式时更为明显。
• 泛化的工件模型使得通过串联或并联组合多个实例，构建复合软件工程环境成为可能。
• 形式化的多级精化过程通过在抽象层次间明确设计决策及其影响，显著提升了可维护性。
• 该环境通过单一形式化语言同时支持架构描述与实现，有效缩小了设计与代码之间的鸿沟。