© 2009

Semantic Methods for Execution-level Business Process Modeling

Modeling Support Through Process Verification and Service Composition


Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 40)

Table of contents

  1. Front Matter
  2. Foundations

    1. Front Matter
      Pages 1-1
    2. Ingo M. Weber
      Pages 3-11
    3. Ingo M. Weber
      Pages 13-44
  3. Modeling Support through Verification and Composition

    1. Front Matter
      Pages 45-45
    2. Ingo M. Weber
      Pages 97-148
    3. Ingo M. Weber
      Pages 149-200
  4. Finale

    1. Front Matter
      Pages 201-201
    2. Ingo M. Weber
      Pages 203-225
    3. Ingo M. Weber
      Pages 227-231
  5. Back Matter

About this book


Ingo Weber develops new approaches for the rapid development and flexible adaption of business processes, which are often the main requirements in today’s IT support for enterprises. Key issues covered by his work are the automatic composition of processes out of predefined components and the verification of specific process properties. His research aims at quickly creating executable process models, which orchestrate the usage of Web services. He investigates how process modelers can be supported by semantic technologies, e.g., by semantically enriched process models or annotated Web services, and puts special emphasis on expressiveness and scalability.


BPM Business Process Management SOA Semantic Web Services Service Composition Service Orchestration Service-Oriented Architecture business process modeling web service

Authors and affiliations

  1. 1.School of Computer Science and Engineering, Mechanical Engineering Tutorial BuioldingUniversity on New South WalesSydneyAustralia

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking