Idir Aït-Sadoune, Yamine Aït Ameur. Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. In Roger Y. Lee, Olga Ormandjieva, Alain Abran, Constantinos Constantinides, editors, Software Engineering Research, Management and Applications 2010 [selected papers from the 8th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010]. Volume 296 of Studies in Computational Intelligence, pages 51-68, Springer, 2010. [doi]
Abstract is missing.