Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition Weber Ingo M. Heftet / 2009 / Engelsk
