%0 Journal Article
%T Formal method of requirement analyse of service composition<br>服务组装需求分析的一种形式化方法
%A LIU Zhi-xiong
%A CHEN Song-qiao
%A <br>刘志雄
%A 陈松乔
%J 计算机应用研究
%D 2007
%I 
%X 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.
%K requirement analyse
%K service composition
%K XML
%K software-model
%K program flow
%K data binding<br>需求分析
%K 服务组装
%K 可扩展标记语言
%K 软件模型
%K 程序流程
%K 数据绑定
%K 服务组
%K 需求分析
%K 形式化方法
%K service
%K composition
%K analyse
%K requirement
%K method
%K of
%K 映射机制
%K 文档描述
%K 数据绑定技术
%K 形式化描述
%K schema
%K 利用
%K 程序流程
%K 软件模型
%K 过程
%K 研究
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=B42035F57740AEFD&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=F3090AE9B60B7ED1&sid=CC0ECB9C52F1B85F&eid=D2742EEE6F4DF8FE&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8