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. Front Matter

    Pages i-xvii

  2. No Access

    Book Chapter

    Pages 1-8

    Introduction

  3. No Access

    Book Chapter

    Pages 9-21

    Background Knowledge

  4. No Access

    Book Chapter

    Pages 23-36

    Problems and Overview of Approach

  5. No Access

    Book Chapter

    Pages 37-74

    Logic

  6. No Access

    Book Chapter

    Pages 75-94

    Formal Support for Data Modelling

  7. No Access

    Book Chapter

    Pages 95-116

    Formal Support for Process Modelling

  8. No Access

    Book Chapter

    Pages 117-142

    Reasoning on and Executing Processes

  9. No Access

    Book Chapter

    Pages 143-169

    Knowledge Sharing and Reuse of Models

  10. No Access

    Book Chapter

    Pages 171-187

    Use of KBST-BM

  11. No Access

    Book Chapter

    Pages 189-217

    Evaluation of System

  12. No Access

    Book Chapter

    Pages 219-228

    Conclusion

  13. Back Matter

    Pages 229-322