Formal models for service composition have been proposed with the variation of the requirements of service developers.Some famous models have provided checking and verification techniques and tools for the behavior of service composition.These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services,which restrict the application range of these models and also the web service techniques.As new kind of services with different protocols and communication methods have appeared,it is needed to model service composition from a new view which is adapted to the new development in service area.In this paper we offer a function oriented model of service composition which treats the composite service as a software system and specify the function of services which can be directly used to the realization by service providers.
展开▼
