This book develops new approaches for the rapid development and flexible adaption of business processes. It investigates how process modelers can be supported by semantic technologies and puts special emphasis on expressiveness and scalability.

Inhalt
Foundations.- Background.- Modeling Support through Verification and Composition.- Requirements Analysis and Conceptual Framework.- Verification of Annotated Process Models.- Task Composition.- Finale.- Evaluation.- Conclusions and Outlook.