|
Large granularity services as services computing an emerging field of research, has been more and more attention. The emergence of large-grained services and applications to enhance the services shared in the Internet environment, the ability to reuse and integration. Provide a new effective means for users to quickly build complex systems. However, due to the large granularity services not only include services such as input, output, the message, the operator static syntax and semantic information, but also contains a lot of dynamic properties, such as the service's internal control flow, data flow, interaction protocols, state transition, large granularity services, regardless of the initial modeling process, or after the process of large-grained services portfolio, large granularity services or the large granularity services and atomic interaction between behavior are more complex process. Therefore, the study of large-grained services modeling portfolio, validation, adaptation, and put forward a set of services to support large-grained services development environment and runtime environment, whether large-grained services can be the key to be widely recognized and applied. In this paper, on the basis of the study of large-grained services research status at home and abroad, in the large-grained services description language, large granularity services modeling and large-grained service model validation of these three aspects to carry out some preliminary research. A characterization of large-grained model description language the CGSL (Coarse-grained Service Language), not only characterize the function of the large-grained model, interface information can also portray the large granularity services during the execution of the state and state transition, internal constraints and semantic reasoning information. A formalization model of Petri nets large granularity services CGPN (Coarse-grained Service Petri Net), a formal expression of large granularity services internal processes and state, and the means of Petri nets overlay analysis the security of the internal processes, based on the analysis of the matrix method, check CGPN network security, migration activity characteristics, verify the large granularity services model compatibility simple interactive behavior, executable and large-grained services. Finally, based on the large-grained modeling and verification needs to build a process modeling module, parameter mapping defined modules, data flow browsing module, CGPN network authentication module and test module, including large-grained service portfolio prototype verification tools system to provide users with a convenient and intuitive, easy-to-use large granularity services development tools.
|