1. Gaaloul, W., Bhiri, S., Rouached, M.: Event-Based Design and Runtime Verification of Composite Service Transactional Behavior. IEEE Transactions on Services Computing 3, 32–45 (2010)
2. Aversano, L., Penta, M.D., Taneja, K.: A Genetic Programming Approach to Support the Design of Service Compositions. International Journal of Computer Systems Science & Engineering 21, 247–254 (2006)
3. Silva, E., Ferreira Pires, L., van Sinderen, M.: Supporting Dynamic Service Composition at Runtime Based on End-User Requirements. In: Dustdar, S., Hauswirth, M., Hierro, J.J., Soriano, J., Urmetzer, F., Möller, K., Rivera, I. (eds.) CEUR Workshop Proceedings of the 1st International Workshop on User-Generated Services, UGS 2009, located at the 7th International Conference on Service Oriented Computing, ICSOC 2009, Stockholm, Sweden (2009)
4. Lécué, F., Léger, A.: A Formal Model for Web Service Composition. In: Proceeding of the 2006 Conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering, pp. 37–46. IOS Press, Amsterdam (2006)
5. Fujii, K., Suda, T.: Semantics-Based Context-Aware Dynamic Service Composition. ACM Transactions on Autonomous and Adaptive Systems 4, 1–31 (2009)