Abstract: To improve the adaptability of the approach to service matchmaking, an abstract service model called ASM was proposed. ASM described service interfaces and behaviors, and thus addressed important factors affecting service capabilities. The adaptive approach to service matchmaking based on ASM were also analyzed. I}hc model and the approach have been partly applied to constructing problem solving environments for bioinformatics researches. Analysis and applications show ASM is effective to enable adaptive service matchmaking.

Key words: Service model, Service matchmaking, Model checking