Filter Results:
- Full text PDF available (11)
Publication Year
1993
2018
- This year (20)
- Last 5 years (76)
- Last 10 years (151)
Publication Type
Co-author
Journals and Conferences
Learn More
- Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
- FMOODS
- 2006
Web Services have been becoming more and more important in these years, and BPEL4WS is a de facto standard for the web service composition and orchestration. In this paper, we propose a language… (More)
- Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
- 31st IEEE Software Engineering Workshop (SEW )
- 2007
Transaction is a lasting debatable issue, no matter in database systems or in the new paradigm of web services. Particularly, in the context of service oriented computing, business transactions… (More)
- Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu
- Sci. Comput. Program.
- 2017
Hybrid Event-B, initially introduced for single machines to add continuously varying behaviour to discrete change of state in Event-B, is extended to cater for multiple cooperating machines. Multiple… (More)
- Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
- 30th Annual IEEE/NASA Software Engineering…
- 2006
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages… (More)
- Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
- 31st IEEE Software Engineering Workshop (SEW )
- 2007
The Web Services Choreography Description Language (WS-CDL) is a newly developed specification for Web services composition to describe the observable behavior across multiple participants from a… (More)
- Huibiao Zhu
- 2005
- Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
- Fifth International Conference on Theoretical…
- 2011
As an automotive industry standard of operating system specification, OSEK/VDX is widely applied in the process of designing and implementing the static operating system and the corresponding… (More)
- Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
- Sci. Comput. Program.
- 2015
Faced with the increasing need for correctly designed hybrid and cyber-physical systems today, the problem of including provision for continuously varying behaviour as well as the usual discrete… (More)
- Jing Li, Huibiao Zhu, Jifeng He
- FORTE
- 2008
New evolving internet technologies are extending the role of the World Wide Web from a platform of information exhibition to a new environment for service interactions. While new business… (More)
- Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
- ICFEM
- 2006