Yanhua Du*, Benyuan Yang, Wei Tan. A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services. The 22nd IEEE International Conference on Web Services (ICWS 2015), June 27- July 2, 2015, New York, USA: 567-574.
Hits:
|
Pre One:杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126.
Next One:Yanhua Du, Pengcheng Xiong*, Yushun Fan, Xitong Li. Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (TSMCA), 2011, 41(6):1166-1181.