Web service modeling research is largely limited to service conversation i.e. choreography. Recently, we have proposed a method to model both service orchestration and choreography using a FSM. But a flat approach (i.e. modeling at one level only) is not suitable to represent a large and complex service process. For the purpose, we propose a method to model web services using FSM modules. And shown that such a model is structured, understandable (especially while handling concurrent activities), verifiable and useful for model transformation. We have proposed two operators to model temporal behavior of web services.
Citation:
Hrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R.K. Shyamasundar, "Modeling Web Services with FSM Modules," ams, pp.100-105, First Asia International Conference on Modelling & Simulation (AMS'07), 2007