About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Abstract
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.