Tomas Vitvar, Adrian Mocan, Maciej Zaremba. Formal Model for Semantic-Driven Service Execution. In Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, Krishnaprasad Thirunarayan, editors, The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings. Volume 5318 of Lecture Notes in Computer Science, pages 567-582, Springer, 2008. [doi]