|
计算机应用研究 2007
Formal method of requirement analyse of service composition
|
Abstract:
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.