"Semantic Methods for Execution-level Business Process Modeling: Modeling Support Through Process Verification and Service Composition (Lecture Notes in Business Information Processing)" - читать интересную книгу автора (Ingo M. Weber)