| Preface | p. vii |
| List of Figures | p. xv |
| Introduction | p. 1 |
| The Wider Context: Enterprise Modelling Methods | p. 1 |
| The Focus: Business System Development Method (BSDM) | p. 3 |
| The Aim: A Different Type of Modelling Support | p. 4 |
| Modelling Context and the Support Framework | p. 4 |
| Formal Approach and KBST-BM | p. 6 |
| The Use of KBST-BM | p. 7 |
| Organisation of the Book | p. 8 |
| Background Knowledge | p. 9 |
| Why Enterprise Modelling? | p. 9 |
| Enterprise Modelling Methods | p. 10 |
| Introducing the Business System Development Method (BSDM) | p. 13 |
| Business Modelling | p. 13 |
| BSDM Compared with SE | p. 14 |
| Introducing Business Process Models | p. 15 |
| Review of Existing Enterprise Modelling Tools | p. 19 |
| Exercises | p. 21 |
| Problems and Overview of Approach | p. 23 |
| Introduction | p. 23 |
| Business Model and Software Engineering | p. 23 |
| Software Systems Development Cycle | p. 23 |
| Software System Seeks Real Goal | p. 25 |
| Support for Enterprise Modelling Methods | p. 26 |
| Problems with Enterprise Modelling Methods | p. 26 |
| BSDM's Business Modelling | p. 29 |
| Providing a Quality Assurance Life Cycle | p. 29 |
| A Logic-Based Formal Method | p. 32 |
| Lightweight Logical Method | p. 32 |
| A Layered Framework | p. 33 |
| Modelling Support Overview of KBST-BM | p. 34 |
| Exercises | p. 36 |
| Logic | p. 37 |
| Introduction | p. 37 |
| Propositional Logic | p. 38 |
| The Notation: Well-Formed Formulae | p. 38 |
| Analysing the Structure of Formulae in Propositional Logic | p. 39 |
| Representing Real World Problems in PL | p. 40 |
| Determining the Truth of Formulae by Analysis of their Structure | p. 43 |
| First Order Predicate Logic | p. 46 |
| The Notation: Well-Formed Formulae | p. 47 |
| Representing Real World Problems in FOPL | p. 49 |
| Unification | p. 51 |
| Natural Deduction Proofs | p. 52 |
| Resolution: A Simplified Proof Mechanism | p. 57 |
| Normal Forms | p. 58 |
| Resolution | p. 62 |
| Prolog | p. 65 |
| Problems | p. 67 |
| Ambiguity | p. 68 |
| Search Problems | p. 68 |
| Representational limitations | p. 70 |
| Exercises | p. 72 |
| Formal Support for Data Modelling | p. 75 |
| Defining a Formal Language: DefBM | p. 77 |
| Entity Model | p. 81 |
| Representing the Entity Model | p. 82 |
| Representing the Life Cycle Diagram | p. 84 |
| Representing Domain Knowledge | p. 86 |
| Inference | p. 88 |
| Model Verification Consultation Example | p. 90 |
| Conclusion | p. 93 |
| Exercises | p. 93 |
| Advanced Exercises | p. 94 |
| Formal Support for Process Modelling | p. 95 |
| Process Model and Process-Entity Matrix | p. 95 |
| Representing the Process Model | p. 98 |
| Representing the Life Status of a Process | p. 99 |
| Representing User-Defined Attribute Rules | p. 100 |
| Predicate for User-Defined Attribute Rules | p. 101 |
| Grammar for User-Defined Attribute Rules | p. 101 |
| Representing Domain Knowledge | p. 108 |
| Inference | p. 112 |
| Process Model Consultation Example | p. 113 |
| Conclusion | p. 115 |
| Exercises | p. 115 |
| Advanced Exercises | p. 116 |
| Reasoning on and Executing Processes | p. 117 |
| Introducing the Procedural Model | p. 117 |
| Representing Dynamic Business Models | p. 120 |
| Representing the Procedural Model | p. 121 |
| Example Procedural Model and Representation | p. 123 |
| Representing Domain Knowledge | p. 125 |
| Actions, Effects and Temporal Relations | p. 125 |
| Process Dependencies and Partial Execution Order | p. 127 |
| Simulation Algorithm | p. 130 |
| Inference | p. 132 |
| Process Execution Sequence Constructor | p. 132 |
| Process Conflict Detector | p. 137 |
| Business Model Simulator | p. 137 |
| Example Inference and State Transition Diagram | p. 138 |
| Conclusion | p. 140 |
| Exercises | p. 141 |
| Advanced Exercises | p. 142 |
| Knowledge Sharing and Reuse of Models | p. 143 |
| Introduction | p. 143 |
| Intelligent Assistance for the Business Modeller | p. 143 |
| Case-Based Reasoning (CBR) | p. 145 |
| GMA System Architecture | p. 146 |
| Indexing and Domain Knowledge Representation | p. 148 |
| Generic Model Library (GML) | p. 150 |
| Presentation and Representation Issues | p. 152 |
| Entity Conceptual Hierarchy (ECH) | p. 153 |
| Algorithm for Case Retrieving | p. 156 |
| Similarity Assessment | p. 158 |
| Matching Models | p. 158 |
| Discriminating Criteria | p. 160 |
| Heuristic Similarity Assessment | p. 160 |
| User-Definable Similarity Assessment | p. 162 |
| Report Generation and Retaining New Cases | p. 163 |
| Example Use of GMA | p. 164 |
| Conclusion | p. 167 |
| Exercises | p. 169 |
| Advanced Exercises | p. 169 |
| Use of KBST-BM | p. 171 |
| Description of DAI Case | p. 172 |
| Developing a Business Model | p. 172 |
| Overview of using KBST-BM | p. 172 |
| Workflow for Developing a Business Model | p. 174 |
| Reuse, Verification and Validation Life Cycle | p. 176 |
| Developing an Entity Model | p. 176 |
| Developing a Process Model | p. 179 |
| Developing a Procedural Model | p. 181 |
| Conclusion | p. 187 |
| Exercises | p. 187 |
| Advanced Exercises | p. 187 |
| Evaluation of System | p. 189 |
| Introduction | p. 189 |
| Evaluation of Support for Method | p. 190 |
| Completeness Assessment | p. 190 |
| Model Verification Support Assessment | p. 194 |
| BSDM Development Process Support Assessment | p. 199 |
| Knowledge Integration and Sharing: An Evaluation of GMA | p. 204 |
| Comparison with Other Support Tools | p. 212 |
| Rose Business Process Link and Rose Planner Link | p. 213 |
| AI0 WIN | p. 214 |
| Conclusion | p. 216 |
| Exercises | p. 216 |
| Advanced Exercises | p. 216 |
| Conclusion | p. 219 |
| A Formal Approach | p. 221 |
| The System: KBST-BM | p. 222 |
| Evaluation of KBST-BM | p. 224 |
| Exercises | p. 227 |
| Generic Business Models | p. 229 |
| Example Business Models | p. 233 |
| An Industrial Model | p. 235 |
| A Model for Family Restaurants | p. 241 |
| A Model for Academic Environments | p. 249 |
| The Formal Operators in DefBM | p. 253 |
| Notation and Language Conventions | p. 253 |
| Entity Model Rules and Guidelines | p. 255 |
| Entity Model Rules | p. 255 |
| Entity Model Guidelines | p. 261 |
| Process Model Rules and Guidelines | p. 265 |
| Process Model Rules | p. 265 |
| Process Model Guidelines | p. 270 |
| An Interpreter for User-Defined Rules | p. 279 |
| Model Rules and Guidelines by Category | p. 285 |
| Entity Model Rules | p. 286 |
| Entity Model Guidelines | p. 286 |
| Process Model Rules | p. 287 |
| Process Model Guidelines | p. 288 |
| Test Results of Model Rules and Guidelines | p. 289 |
| Test Results of Entity Model Rules | p. 289 |
| Test Results of Entity Model Guidelines | p. 290 |
| Test Results of Process Model Rules | p. 291 |
| Test Results of Process Model Guidelines | p. 292 |
| Example Use of GMA | p. 293 |
| Input User Model | p. 293 |
| Representation of the User Model | p. 294 |
| Dialogue using GMA | p. 295 |
| Statistical Summary of All Explored Matches | p. 302 |
| Example Use of Simulator | p. 305 |
| References | p. 313 |
| Index | p. 321 |
| Table of Contents provided by Publisher. All Rights Reserved. |