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

Formal method of requirement analyse of service composition

作　　者：刘志雄[1] 陈松乔[1] 

机构地区：[1]中南大学信息科学与工程学院,长沙410083

出　　处：《计算机应用研究》2007年第10期211-212,215,共3页Application Research of Computers

基　　金：教育部博士点基金资助项目(20030533011)

摘　　要：在对服务组装需求分析的研究过程中,提出一种新的基于XML的从软件模型到程序流程的映射机制。利用XML(schema)对服务组装规约进行形式化描述,采用数据绑定技术对XML文档描述的软件模型进行解析,最后通过映射生成程序流程。实例证明了该技术的可行性。During the research on requirement analyse of service composition, this paper proposed a new mechanism for mapping from software-model to software-flow. It formally described the XML-based service composition specification, analysedthe XML documents which described software-model by using data binding technology and finally made software-flow. The feasibility of the technology has been proved by an instance.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]