服务组装需求分析的一种形式化方法

被引：1

作者：

刘志雄

陈松乔

机构：

[1] 中南大学信息科学与工程学院

来源：

关键词：

需求分析; 服务组装; 可扩展标记语言; 软件模型; 程序流程; 数据绑定;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

在对服务组装需求分析的研究过程中,提出一种新的基于XML的从软件模型到程序流程的映射机制。利用XML(schema)对服务组装规约进行形式化描述,采用数据绑定技术对XML文档描述的软件模型进行解析,最后通过映射生成程序流程。实例证明了该技术的可行性。

引用

页码：211 / 212+215 +215

页数：3