Model checking of timed compatibility for mediation-aided web service composition: A three stage approach
作者：
Highlights：
• Each service in mediation-aided service composition is treated as a fragment.
• Fragments are transformed into a more compact time automata net.
• All of the temporal constraints can be checked by observing time automata.
• A real-life world case is used to demonstrate the feasibility of our approach.
• Experimental results show our approach is large improved over existing approaches.
摘要
•Each service in mediation-aided service composition is treated as a fragment.•Fragments are transformed into a more compact time automata net.•All of the temporal constraints can be checked by observing time automata.•A real-life world case is used to demonstrate the feasibility of our approach.•Experimental results show our approach is large improved over existing approaches.
论文关键词：Mediation-aided service composition,Model checking,Timed compatibility,Temporal constraints,Petri nets
论文评审过程：Received 21 July 2017, Revised 25 May 2018, Accepted 2 June 2018, Available online 15 June 2018, Version of Record 26 June 2018.
论文官网地址：https://doi.org/10.1016/j.eswa.2018.06.005
