2008 |
5 | EE | Pengcheng Zhang,
Bixin Li,
Mingjie Sun,
Xufang Gong:
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
COMPSAC 2008: 112-115 |
4 | EE | Pengcheng Zhang,
Bixin Li,
Mingjie Sun:
A Timed Extension of Property Sequence Chart.
HASE 2008: 197-206 |
3 | EE | Pengcheng Zhang,
Bixin Li,
Henry Muccini,
Yu Zhou,
Mingjie Sun:
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
ICWS 2008: 752-753 |
2007 |
2 | EE | Pengcheng Zhang,
Yu Zhou,
Bixin Li:
A service-oriented methodology supporting automatic synthesis and verification of component behavior model.
SNPD (1) 2007: 511-516 |
2001 |
1 | EE | Pengcheng Zhang,
Renhou Li:
Design and Implementation of an Intelligent Cooperative Design System.
CSCWD 2001: 198-202 |