Automating Business Modelling

A Guide to Using Logic to Represent Informal Methods and Support Reasoning

ISBN: 978-1-85233-835-0 (Print) 978-1-84628-106-8 (Online)

Table of contents (11 chapters)

  1. No Access

    Book Chapter

    Pages 1-8

    Introduction

  2. No Access

    Book Chapter

    Pages 9-21

    Background Knowledge

  3. No Access

    Book Chapter

    Pages 23-36

    Problems and Overview of Approach

  4. No Access

    Book Chapter

    Pages 37-74

    Logic

  5. No Access

    Book Chapter

    Pages 75-94

    Formal Support for Data Modelling

  6. No Access

    Book Chapter

    Pages 95-116

    Formal Support for Process Modelling

  7. No Access

    Book Chapter

    Pages 117-142

    Reasoning on and Executing Processes

  8. No Access

    Book Chapter

    Pages 143-169

    Knowledge Sharing and Reuse of Models

  9. No Access

    Book Chapter

    Pages 171-187

    Use of KBST-BM

  10. No Access

    Book Chapter

    Pages 189-217

    Evaluation of System

  11. No Access

    Book Chapter

    Pages 219-228

    Conclusion