| * | 2009 |
|---|
| 5 | EE | Mingjie Sun,
Bixin Li,
Pengcheng Zhang:
Monitoring BPEL-Based Web Service Composition Using AOP.
ACIS-ICIS 2009: 1172-1177 |
| 2008 |
|---|
| 4 | EE | Pengcheng Zhang,
Bixin Li,
Zhiyong Su,
Mingjie Sun:
Extending PSC for Monitoring the Timed Properties in Composite Services.
APSEC 2008: 335-342 |
| 3 | 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 |
| 2 | EE | Pengcheng Zhang,
Bixin Li,
Mingjie Sun:
A Timed Extension of Property Sequence Chart.
HASE 2008: 197-206 |
| 1 | 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 |
