A reactive method for supporting the design of service

The paper proposes a reactive method that supports the design of service specifications or service scenarios based on a state transition model. A state transition consists of a current state, an event (including tasks) and a next state, and is usually treated as a unit of information. For cooperative actions to be achieved when several services are combined, it is necessary for the sub-elements of each state transition to cooperate. With conventional methods, unfortunately, this is difficult. The method proposed, consists of the following techniques: (1) three decompositions of a state transition; (2) a formal description; (3) the application of reactive rules; and (4) the use of the conflict and cooperation strategy knowledge. With the proposed method, specifications or actions for cooperation can be achieved. To show the effectiveness of the proposed method in an easy to understand manner, examples of telecommunication services are provided. Cooperative resolution in the interactions among several services is also shown. The proposed method supports not only the design of cooperative specifications but also the rapid and efficient development of software