Using Temporal Business Rules to Synthesize Service Composition Process Models In Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 0ICSOFT, 85-94, 2007 , Barcelona, Spain