Activity sequence based binary behavior modes for composite E-service and their dynamic semantic
Chungui Li · Journal of Guangxi University of Technology · 2009
E-service composition is most impressing method for development and deployment of E-business.Describing and modeling the behavior requirements of composite E-services for users is an important step in design of services.In existed analysis on E-service works,behavior requirements are usually LTL like logic formulas based on activity or MSC like graphic specifications based on scenario.In order to express more intensive behavior requirements,we propose a novel concept of behavior specifications based on activity sequence in which granularity is between activity and scenario.Behavioral modes such as sequence precondition mode,sequence reponse mode and sequence plugin mode are designed to express usual behavioral requirements based on activity sequence.Encode them on Labeled Transition System LTS and then give them exact operation semantics.Finally,an example is illustrated.