Jing Li

According to our database, Jing Li authored at least 13 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Algebraic approach to linking the semantics of web services.

Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2011

2010

Linking denotational semantics with operational semantics for web services.

Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2010

2008

An Observational Model for Transactional Calculus of Services Orchestration.

Jing Li, Huibiao Zhu, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2008

Specifying and Verifying Web Transactions.

Jing Li, Huibiao Zhu, Jifeng He

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.

Qin Li, Huibiao Zhu, Jing Li, Jifeng He

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Conformance Validation between Choreography and Orchestration.

Jing Li, Huibiao Zhu, Geguang Pu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

An Operational Approach to BPEL-like Programming.

Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Looking into Compensable Transactions.

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Modeling and Verifying Web Services Choreography Using Process Algebra.

Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Algebraic Semantics for Compensable Transactions.

Jing Li, Huibiao Zhu, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2007

A Formal Model for Compensable Transactions.

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Unifying Denotational Semantics with Operational Semantics for Web Services.

Huibiao Zhu, Jifeng He, Jing Li

Proceedings of the Distributed Computing and Internet Technology, 2007

2006

Towards the Semantics for Web Service Choreography Description Language.

Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2006