1. T. Andrews and F. Curbera. Web Service Business Process Execution Language, Working Draft, 2004. Version 2.0, 1
2. Automated test scenarios generation for an e-barter system;Cavalli,2004
3. Formal semantics for an abstract agent programming language;Hindriks,1998
4. Service-oriented computing: Key concepts and principles;Huhns,2005