Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach