Formal method of requirement analyse of service composition
Chen Song-qiao · Jisuanji yingyong yanjiu · 2007
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,analysed the XML documents which described software-model by using data binding technology and finally made software-flow.The feasibi-lity of the technology has been proved by an instance.