ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking

To make service matchmaking more adaptive to various service requests and diverse services, an abstract service model called ASM-TL is proposed in this paper. ASM-TL provides a unified way to describing service capabilities. It can describe some important factors affecting service capabilities such as internal constraints, invocation constraints and operation interactions. Moreover, ASM-TL also lays a foundation for service reasoning by providing a process model, which represents states transition, message transferring and temporal properties of a service. Thus, treating service requests as temporal conditions, service matchmaking can be done through model checking and is more adaptive to various service requests and diverse services. ASM-TL has been applied to the problem solving environment for bioinformatics research. Analysis and applications show ASM-TL is effective to enable adaptive service matchmaking.