关键词: 时序约束, Web服务, 时序兼容性, 修正

Abstract: To meet the urgent demand for Web service compositions in temporal constraints, a compatibility and modification method of service composition based on Finite State Automaton(FSA)was proposed. According to temporal constraints of FSA model and time information of internal activities, the possible time of service composition was derived. The composition possibility analysis was used for activities with external composition time to verify the temporal compatibility of service composition. Aiming at the partly compatible service compositions, a corresponding temporal compatibility modification technique was proposed. The effectiveness of methodology was validated through a real-life case. Compared with the existing approaches in this field, the proposed method could effectively avoid the severe problem of state explosion, which was more intuitive, practical and reusable.

Key words: temporal constraint, Web services, temporal compatibility, modification