32、服务型EAI架构的管理与敏捷系统分析设计

服务型EAI架构的管理与敏捷系统分析设计

1. ArchWare环境与EAI架构形式化

在软件开发领域，构建基于商用现货（COTS）的系统常因非形式化方法而失败。为解决这一问题，我们引入了ArchWare环境，它为EAI架构的开发、部署和动态演化提供了形式化方法。

ArchWare环境以架构为中心，提供了一系列支持功能：
- 架构定义：明确架构的结构和组成。
- 架构验证：使用分析工具和软件图形动画工具验证架构的正确性。
- 属性检查：检查架构的功能和非功能属性。
- 架构细化：将抽象的架构描述细化为具体的表示。
- 代码生成：根据明确的规则生成多种编程语言的系统代码。

ArchWare ADL是一种形式化的架构描述语言，具有以下特点：
- 支持架构的结构建模和行为描述，是π - 演算的扩展。
- 支持属性和约束的定义。
- 支持架构的动态演化。

我们使用ArchWare ADL来描述EAI架构，通过架构细化过程，从抽象的架构描述得到具体的表示。以下是EAI架构描述的主要代码片段：

value
erp is
abstraction(); {
value
getOrder is free
connection(String ,
String , Integer , String);
via getOrder send "order -1", "axe", 100,
"JUN 17
2005";
value
setQuantity is
free
connection
(String , Strin