Concepedia

Xiangpeng Zhao

XZ

9

Publications

395

Citations

9

H-Index

2006

Active since

Affiliations

Peking University(Current)

Beijing University of Technology

Institute of Software

Xiangpeng Zhao is an author at Peking University specializing in formal methods, systems engineering, and engineering.

Top concepts

EngineeringFormal MethodsSystems EngineeringSoftware DesignComputer ScienceSoftware AnalysisFormal VerificationSoftware EngineeringFormal SpecificationSemantic Web

Publications per year

2006–2023

9

Publications

9

Towards the theoretical foundation of choreography

Zongyan Qiu, Xiangpeng Zhao, Chao Cai et al. · 2007 · 157 citations

Visual Programming Language, Dominant Role, Semantics +18

Towards the Semantics and Verification of BPEL4WS

Geguang Pu, Xiangpeng Zhao, Shuling Wang et al. · Electronic Notes in Theoretical Computer Science · 2006 · 78 citations · Full text

Engineering, Verification, Software Systems +25

A Formal Model forWeb Service Choreography Description Language (WS-CDL)

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu et al. · 2006 · 69 citations · Full text

Web Service Specification, Engineering, Verification +20

A Formal Model of Human Workflow

Xiangpeng Zhao, Zongyan Qiu, Chao Cai et al. · 2008 · 23 citations

Engineering, Human Workflow, Human Task Support +17

Enforcing Constraints on Life Cycles of Business Artifacts

Xiangpeng Zhao, Jianwen Su, Hongli Yang et al. · 2009 · 17 citations

Software Maintenance, Engineering, Business Intelligence +24

Rows per page

1–5 of 9