An Extendible Translation of BPEL to a Machine-verifiable Model

John C. Sloan, Taghi M. Khoshgoftaar, Augusto Varas. An Extendible Translation of BPEL to a Machine-verifiable Model. In Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE 2009), Boston, Massachusetts, USA, July 1-3, 2009. pages 344-349, Knowledge Systems Institute Graduate School, 2009.

Abstract

Abstract is missing.