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

服务组装需求分析一种形式化方法 　　摘要:在对服务组装需求分析的研究过程中,提出一种新的基于XML的从软件模型到程序流程的映射机制#65377;利用XML(schema)对服务组装规约进行形式化描述,采用数据绑定技术对XML文档描述的软件模型进行解析,最后通过映射生成程序流程#65377;实例证明了该技术的可行性#65377; 　　关键词:需求分析; 服务组装; 可扩展标记语言; 软件模型; 程序流程; 数据绑定 　　中图分类号:TP311.5 　　文献标志码:A 　　文章编号:1001-3695(2007)10-0211-02 　　?? 　　随着软件工业的成熟和网络技术#65380;信息技术的飞速发展,因特网上涌现出大量可以重用的服务,怎样有效利用网上的资源#65380;缩短软件开发的周期和提供多种服务成为研究热点#65377;服务公开的一些方法提供了可被其他应用程序使用的功能,而且这些功能的使用与应用程序的编程语言#65380;操作系统和硬件平台无关#65377;需求分析工具的研究是异构服务组装平台重要的组成部分#65377;如何科学地设计需求分析工具#65380;帮助用户高效快速地进行应用软件开发一直是这个领域研究的焦点#65377; 　　?ツ壳?,开发者采用的需求分析方法基本上均是通过结构化的分析方法对软件系统建模#65377;但是这种方法存在一定的局限性