Wuping Xie

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 5

Top Topics

Contract Net Protocol

Service Selection

Formal Specification

Top Venues

Publications

Wuping Xie, Songsong Wan, Dongming Jiang
: a Practical Service-oriented Programming Language for Service Orchestration. ICCCS (2022)
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM (2018)
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL (2018)
Wuping Xie, Jinyun Xue, Dongming Jiang, Lan Song
An iteration-based interactive analysis method to design dynamic service-oriented systems. Softw. Pract. Exp. 48 (2) (2018)
Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You
无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). 计算机科学 44 (9) (2017)
Wuping Xie, Jinyun Xue, Dongming Jiang
Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration. CIT (2014)
Dongming Jiang, Yuan Jiang, Wuping Xie, Zhen You
A Novel Service Selection Based on Resource-Directive Decomposition. WAIM (2013)
Dongming Jiang, Jinyun Xue, Wuping Xie
A reputation model based on hierarchical bayesian estimation for Web services. CSCWD (2012)