Jing Li

14 papers B 2C 7Misc 2Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2011 J jnl
Algebraic approach to linking the semantics of web services.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2010 J jnl
Linking denotational semantics with operational semantics for web services.
Innov. Syst. Softw. Eng.
Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
2008 C conf
An Observational Model for Transactional Calculus of Services Orchestration.
ICTAC
Jing Li, Huibiao Zhu, Jifeng He
2008 C conf
Specifying and Verifying Web Transactions.
FORTE
Jing Li, Huibiao Zhu, Jifeng He
2007 B conf
A Formal Model for Compensable Transactions.
ICECCS
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007 B conf
Algebraic Approach to Linking the Semantics of Web Services.
SEFM
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2007 C conf
Algebraic Semantics for Compensable Transactions.
ICTAC
Jing Li, Huibiao Zhu, Jifeng He
2007 C conf
An Operational Approach to BPEL-like Programming.
SEW
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li
2007 Misc conf
Conformance Validation between Choreography and Orchestration.
TASE
Jing Li, Huibiao Zhu, Geguang Pu
2007 C conf
Looking into Compensable Transactions.
SEW
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007 C conf
Modeling and Verifying Web Services Choreography Using Process Algebra.
SEW
Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
2007 — conf
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
WS-FM
Qin Li, Huibiao Zhu, Jing Li, Jifeng He
2007 Misc conf
Unifying Denotational Semantics with Operational Semantics for Web Services.
ICDCIT
Huibiao Zhu, Jifeng He, Jing Li
2006 C conf
Towards the Semantics for Web Service Choreography Description Language.
ICFEM
Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu