Automating business modelling: a guide to using logic to represent informal methods and support reasoning
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London
Springer
2005
|
| Schriftenreihe: | Advanced information and knowledge processing
|
| Schlagworte: | |
| Online-Zugang: | kostenfrei Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | XVII, 322 S. Ill., graph. Darst. |
| ISBN: | 1852338350 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035449154 | ||
| 003 | DE-604 | ||
| 005 | 20090527 | ||
| 007 | t | ||
| 008 | 090423s2005 ad|| |||| 00||| eng d | ||
| 010 | |a 2004052218 | ||
| 015 | |a 04N150021 |2 dnb | ||
| 016 | 7 | |a 970639317 |2 DE-101 | |
| 020 | |a 1852338350 |c Gb. (Pr. in Vorb.) |9 1-85233-835-0 | ||
| 035 | |a (OCoLC)56799378 | ||
| 035 | |a (DE-599)DNB970639317 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-945 | ||
| 050 | 0 | |a HD30.2 | |
| 082 | 0 | |a 338.5/01/13 |2 22 | |
| 084 | |a ST 515 |0 (DE-625)143677: |2 rvk | ||
| 100 | 1 | |a Chen-Burger, Yun-Heh |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automating business modelling |b a guide to using logic to represent informal methods and support reasoning |c Yun-Heh Chen-Burger and Dave Robertson |
| 264 | 1 | |a London |b Springer |c 2005 | |
| 300 | |a XVII, 322 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Advanced information and knowledge processing | |
| 650 | 0 | |a Industrial management / Computer simulation | |
| 650 | 0 | |a Industrial management / Mathematical models | |
| 650 | 0 | |a Business / Computer simulation | |
| 650 | 0 | |a Business / Mathematical models | |
| 650 | 4 | |a Affaires - Modèles mathématiques | |
| 650 | 4 | |a Affaires - Simulation par ordinateur | |
| 650 | 4 | |a Gestion d'entreprise - Modèles mathématiques | |
| 650 | 4 | |a Gestion d'entreprise - Simulation par ordinateur | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Wirtschaft | |
| 650 | 4 | |a Business |x Computer simulation | |
| 650 | 4 | |a Business |x Mathematical models | |
| 650 | 4 | |a Industrial management |x Computer simulation | |
| 650 | 4 | |a Industrial management |x Mathematical models | |
| 650 | 0 | 7 | |a Betriebliches Informationssystem |0 (DE-588)4069386-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Architektur |g Informatik |0 (DE-588)4139374-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenmodell |0 (DE-588)4192516-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Betriebsdaten |0 (DE-588)4145038-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Betriebsdaten |0 (DE-588)4145038-3 |D s |
| 689 | 0 | 1 | |a Datenmodell |0 (DE-588)4192516-6 |D s |
| 689 | 0 | 2 | |a Architektur |g Informatik |0 (DE-588)4139374-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Betriebliches Informationssystem |0 (DE-588)4069386-7 |D s |
| 689 | 1 | 1 | |a Architektur |g Informatik |0 (DE-588)4139374-0 |D s |
| 689 | 1 | |C b |5 DE-604 | |
| 700 | 1 | |a Robertson, Dave |e Verfasser |4 aut | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0662/2004052218-d.html |y Publisher description |z kostenfrei | |
| 856 | 4 | |m DE-576 |q pdf/application |u http://www.gbv.de/dms/bsz/toc/bsz11692408xinh.pdf |x 2009-01-25 |z kostenfrei |3 Inhaltsverzeichnis | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017369244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017369244 | ||
Datensatz im Suchindex
| _version_ | 1804138899143917568 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PREFACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . VII
LIST OF FIGURES . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . XV
1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 1
1.1 THE WIDER CONTEXT: ENTERPRISE MODELLING METHODS . . . . . . . . . .
. 1 1.2 THE FOCUS: BUSINESS SYSTEM DEVELOPMENT METHOD (BSDM) . . . 3 1.3
THE AIM: A DIFFERENT TYPE OF MODELLING SUPPORT . . . . . . . . . . . . .
4
1.4 MODELLING CONTEXT AND THE SUPPORT FRAMEWORK . . . . . . . . . . . .
. . 4
1.5 FORMAL APPROACH AND KBST-BM . . . . . . . . . . . . . . . . . . . .
. . . . . . . 6
1.6 THE USE OF KBST-BM . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 7
1.7 ORGANISATION OF THE BOOK . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 8
2 BACKGROUND KNOWLEDGE . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 9
2.1 WHY ENTERPRISE MODELLING? . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 9
2.2 ENTERPRISE MODELLING METHODS . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 10
2.3 INTRODUCING THE BUSINESS SYSTEM DEVELOPMENT METHOD (BSDM) . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 13
2.3.1 BUSINESS MODELLING . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 13
2.3.2 BSDM COMPARED WITH SE . . . . . . . . . . . . . . . . . . . . . .
. . . . . 14
2.4 INTRODUCING BUSINESS PROCESS MODELS . . . . . . . . . . . . . . . .
. . . . . . . . 15
2.5 REVIEW OF EXISTING ENTERPRISE MODELLING TOOLS . . . . . . . . . . .
. . . . 19
2.6 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 21
3 PROBLEMS AND OVERVIEW OF APPROACH . . . . . . . . . . . . . . . . . .
. . . . . 23
3.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 23
3.2 BUSINESS MODEL AND SOFTWARE ENGINEERING . . . . . . . . . . . . . .
. . . . . 23
3.2.1 SOFTWARE SYSTEMS DEVELOPMENT CYCLE . . . . . . . . . . . . . . . .
. 23
3.2.2 SOFTWARE SYSTEM SEEKS REAL GOAL . . . . . . . . . . . . . . . . .
. . . . 25
3.3 SUPPORT FOR ENTERPRISE MODELLING METHODS . . . . . . . . . . . . . .
. . . . . 26
3.3.1 PROBLEMS WITH ENTERPRISE MODELLING METHODS . . . . . . . . . . 26
3.3.2 BSDM S BUSINESS MODELLING . . . . . . . . . . . . . . . . . . . .
. . . . . 29
IMAGE 2
X CONTENTS
3.3.3 PROVIDING A QUALITY ASSURANCE LIFE CYCLE . . . . . . . . . . . . .
. 29
3.3.4 A LOGIC-BASED FORMAL METHOD . . . . . . . . . . . . . . . . . . .
. . . . 32
3.3.5 LIGHTWEIGHT LOGICAL METHOD . . . . . . . . . . . . . . . . . . . .
. . . . . 32
3.3.6 A LAYERED FRAMEWORK . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 33
3.3.7 MODELLING SUPPORT OVERVIEW OF KBST-BM . . . . . . . . . . . . 34
3.4 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 36
4 LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 37
4.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 37
4.2 PROPOSITIONAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 38
4.2.1 THE NOTATION: WELL-FORMED FORMULAE . . . . . . . . . . . . . . . .
. 38
4.2.2 ANALYSING THE STRUCTURE OF FORMULAE IN PROPOSITIONAL LOGIC . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 39
4.2.3 REPRESENTING REAL WORLD PROBLEMS IN PL . . . . . . . . . . . . . .
40
4.2.4 DETERMINING THE TRUTH OF FORMULAE BY ANALYSIS OF THEIR STRUCTURE .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 43
4.3 FIRST ORDER PREDICATE LOGIC . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 46
4.3.1 THE NOTATION: WELL-FORMED FORMULAE . . . . . . . . . . . . . . . .
. 47
4.3.2 REPRESENTING REAL WORLD PROBLEMS IN FOPL . . . . . . . . . . . 49
4.3.3 UNIF ICATION . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 51
4.4 NATURAL DEDUCTION PROOFS . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 52
4.5 RESOLUTION: A SIMPLIF IED PROOF MECHANISM . . . . . . . . . . . . .
. . . . . . 57
4.5.1 NORMAL FORMS . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 58
4.5.2 RESOLUTION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 62
4.6 PROLOG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 65
4.7 PROBLEMS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 67
4.7.1 AMBIGUITY . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 68
4.7.2 SEARCH PROBLEMS . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 68
4.7.3 REPRESENTATIONAL LIMITATIONS . . . . . . . . . . . . . . . . . . .
. . . . . . 70
4.8 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 72
5 FORMAL SUPPORT FOR DATA MODELLING . . . . . . . . . . . . . . . . . .
. . . . . . 75
5.1 DEFINING A FORMAL LANGUAGE: DEFBM . . . . . . . . . . . . . . . . .
. . . . . . . 77
5.2 ENTITY MODEL . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 81
5.3 REPRESENTING THE ENTITY MODEL . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 82
5.4 REPRESENTING THE LIFE CYCLE DIAGRAM . . . . . . . . . . . . . . . .
. . . . . . . . 84
5.5 REPRESENTING DOMAIN KNOWLEDGE . . . . . . . . . . . . . . . . . . .
. . . . . . . . 86
5.6 INFERENCE . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 88
5.6.1 MODEL VERIFICATION CONSULTATION EXAMPLE . . . . . . . . . . . . .
90
5.7 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 93
5.8 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 93
5.9 ADVANCED EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 94
IMAGE 3
CONTENTS XI
6 FORMAL SUPPORT FOR PROCESS MODELLING . . . . . . . . . . . . . . . . .
. . . . . 95
6.1 PROCESS MODEL AND PROCESS-ENTITY MATRIX . . . . . . . . . . . . . .
. . . . . 95
6.2 REPRESENTING THE PROCESS MODEL . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 98
6.3 REPRESENTING THE LIFE STATUS OF A PROCESS . . . . . . . . . . . . .
. . . . . . . 99
6.4 REPRESENTING USER-DEF INED ATTRIBUTE RULES . . . . . . . . . . . . .
. . . . . 100
6.4.1 PREDICATE FOR USER-DEF INED ATTRIBUTE RULES . . . . . . . . . . .
. 101 6.4.2 GRAMMAR FOR USER-DEF INED ATTRIBUTE RULES . . . . . . . . .
. . . 101 6.5 REPRESENTING DOMAIN KNOWLEDGE . . . . . . . . . . . . . .
. . . . . . . . . . . . . 108
6.6 INFERENCE . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 112
6.6.1 PROCESS MODEL CONSULTATION EXAMPLE . . . . . . . . . . . . . . . .
. 113
6.7 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 115
6.8 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 115
6.9 ADVANCED EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 116
7 REASONING ON AND EXECUTING PROCESSES . . . . . . . . . . . . . . . . .
. . . . 117
7.1 INTRODUCING THE PROCEDURAL MODEL . . . . . . . . . . . . . . . . . .
. . . . . . . . 117
7.2 REPRESENTING DYNAMIC BUSINESS MODELS . . . . . . . . . . . . . . . .
. . . . . 120
7.3 REPRESENTING THE PROCEDURAL MODEL . . . . . . . . . . . . . . . . .
. . . . . . . . 121
7.3.1 EXAMPLE PROCEDURAL MODEL AND REPRESENTATION . . . . . . . . 123
7.4 REPRESENTING DOMAIN KNOWLEDGE . . . . . . . . . . . . . . . . . . .
. . . . . . . . 125
7.4.1 ACTIONS, EF FECTS AND TEMPORAL RELATIONS . . . . . . . . . . . . .
. 125
7.4.2 PROCESS DEPENDENCIES AND PARTIAL EXECUTION ORDER . . . . . 127
7.4.3 SIMULATION ALGORITHM . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 130
7.5 INFERENCE . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 132
7.5.1 PROCESS EXECUTION SEQUENCE CONSTRUCTOR . . . . . . . . . . . . . .
132
7.5.2 PROCESS CONF LICT DETECTOR . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 137
7.5.3 BUSINESS MODEL SIMULATOR . . . . . . . . . . . . . . . . . . . . .
. . . . . . 137
7.5.4 EXAMPLE INFERENCE AND STATE TRANSITION DIAGRAM . . . . . . . 138
7.6 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 140
7.7 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 141
7.8 ADVANCED EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 142
8 KNOWLEDGE SHARING AND REUSE OF MODELS . . . . . . . . . . . . . . . .
. . . 143
8.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 143
8.2 INTELLIGENT ASSISTANCE FOR THE BUSINESS MODELLER . . . . . . . . . .
. . . . 143
8.3 CASE-BASED REASONING (CBR) . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 145
8.4 GMA SYSTEM ARCHITECTURE . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 146
8.5 INDEXING AND DOMAIN KNOWLEDGE REPRESENTATION . . . . . . . . . . . .
. 148 8.6 GENERIC MODEL LIBRARY (GML) . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 150
8.6.1 PRESENTATION AND REPRESENTATION ISSUES . . . . . . . . . . . . . .
. 152
8.7 ENTITY CONCEPTUAL HIERARCHY (ECH) . . . . . . . . . . . . . . . . .
. . . . . . . 153
8.8 ALGORITHM FOR CASE RETRIEVING . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 156
8.9 SIMILARITY ASSESSMENT . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 158
8.9.1 MATCHING MODELS . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 158
8.9.2 DISCRIMINATING CRITERIA . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 160
8.9.3 HEURISTIC SIMILARITY ASSESSMENT . . . . . . . . . . . . . . . . .
. . . . . 160
IMAGE 4
XII CONTENTS
8.9.4 USER-DEF INABLE SIMILARITY ASSESSMENT . . . . . . . . . . . . . .
. . . 162
8.10 REPORT GENERATION AND RETAINING NEW CASES . . . . . . . . . . . . .
. . . 163
8.11 EXAMPLE USE OF GMA . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 164
8.12 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 167
8.13 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 169
8.14 ADVANCED EXERCISES . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 169
9 USE OF KBST-BM . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 171
9.1 DESCRIPTION OF DAI CASE . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 172
9.2 DEVELOPING A BUSINESS MODEL . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 172
9.2.1 OVERVIEW OF USING KBST-BM . . . . . . . . . . . . . . . . . . . .
. . . 172
9.2.2 WORKF LOW FOR DEVELOPING A BUSINESS MODEL . . . . . . . . . . . .
174
9.2.3 REUSE, VERIF ICATION AND VALIDATION LIFE CYCLE . . . . . . . . . .
176 9.3 DEVELOPING AN ENTITY MODEL . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 176
9.4 DEVELOPING A PROCESS MODEL . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 179
9.5 DEVELOPING A PROCEDURAL MODEL . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 181
9.6 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 187
9.7 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 187
9.8 ADVANCED EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 187
10 EVALUATION OF SYSTEM . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 189
10.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 189
10.2 EVALUATION OF SUPPORT FOR METHOD . . . . . . . . . . . . . . . . .
. . . . . . . . . 190
10.2.1 COMPLETENESS ASSESSMENT . . . . . . . . . . . . . . . . . . . . .
. . . . . . 190
10.2.2 MODEL VERIFICATION SUPPORT ASSESSMENT . . . . . . . . . . . . . .
. 194
10.2.3 BSDM DEVELOPMENT PROCESS SUPPORT ASSESSMENT . . . . . . 199
10.2.4 KNOWLEDGE INTEGRATION AND SHARING: AN EVALUATION OF GMA . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 204
10.3 COMPARISON WITH OTHER SUPPORT TOOLS . . . . . . . . . . . . . . . .
. . . . . . 212
10.3.1 ROSE BUSINESS PROCESS LINK AND ROSE PLANNER LINK . . . . 213
10.3.2 AI0 WIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 214
10.4 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 216
10.5 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 216
10.6 ADVANCED EXERCISES . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 216
11 CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . 219
11.1 A FORMAL APPROACH . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 221
11.2 THE SYSTEM: KBST-BM . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 222
11.3 EVALUATION OF KBST-BM . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 224
11.4 EXERCISES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 227
A GENERIC BUSINESS MODELS . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 229
B EXAMPLE BUSINESS MODELS . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 233
C AN INDUSTRIAL MODEL . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 235
IMAGE 5
CONTENTS XIII
D A MODEL FOR FAMILY RESTAURANTS . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 241
E A MODEL FOR ACADEMIC ENVIRONMENTS . . . . . . . . . . . . . . . . . .
. . . . . 249
F THE FORMAL OPERATORS IN DEFBM . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 253
F.1 NOTATION AND LANGUAGE CONVENTIONS . . . . . . . . . . . . . . . . .
. . . . . . . 253
G ENTITY MODEL RULES AND GUIDELINES . . . . . . . . . . . . . . . . . .
. . . . . . . 255
G.1 ENTITY MODEL RULES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 255
G.2 ENTITY MODEL GUIDELINES . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 261
H PROCESS MODEL RULES AND GUIDELINES . . . . . . . . . . . . . . . . . .
. . . . . . 265
H.1 PROCESS MODEL RULES . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 265
H.2 PROCESS MODEL GUIDELINES . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 270
I AN INTERPRETER FOR USER-DEFINED RULES . . . . . . . . . . . . . . . .
. . . . . . 279
J MODEL RULES AND GUIDELINES BY CATEGORY . . . . . . . . . . . . . . . .
. . . 285
J.1 ENTITY MODEL RULES . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 286
J.2 ENTITY MODEL GUIDELINES . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 286
J.3 PROCESS MODEL RULES . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 287
J.4 PROCESS MODEL GUIDELINES . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 288
K TEST RESULTS OF MODEL RULES AND GUIDELINES . . . . . . . . . . . . . .
. . 289
K.1 TEST RESULTS OF ENTITY MODEL RULES . . . . . . . . . . . . . . . . .
. . . . . . . . 289
K.2 TEST RESULTS OF ENTITY MODEL GUIDELINES . . . . . . . . . . . . . .
. . . . . . . 290
K.3 TEST RESULTS OF PROCESS MODEL RULES . . . . . . . . . . . . . . . .
. . . . . . . . 291
K.4 TEST RESULTS OF PROCESS MODEL GUIDELINES . . . . . . . . . . . . . .
. . . . . . 292
L EXAMPLE USE OF GMA . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 293
L.1 INPUT USER MODEL . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 293
L.2 REPRESENTATION OF THE USER MODEL . . . . . . . . . . . . . . . . . .
. . . . . . . . 294
L.3 DIALOGUE USING GMA . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 295
L.4 STATISTICAL SUMMARY OF ALL EXPLORED MATCHES . . . . . . . . . . . .
. . . 302
M EXAMPLE USE OF SIMULATOR . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 305
REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 313
INDEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 321
|
| any_adam_object | 1 |
| author | Chen-Burger, Yun-Heh Robertson, Dave |
| author_facet | Chen-Burger, Yun-Heh Robertson, Dave |
| author_role | aut aut |
| author_sort | Chen-Burger, Yun-Heh |
| author_variant | y h c b yhcb d r dr |
| building | Verbundindex |
| bvnumber | BV035449154 |
| callnumber-first | H - Social Science |
| callnumber-label | HD30 |
| callnumber-raw | HD30.2 |
| callnumber-search | HD30.2 |
| callnumber-sort | HD 230.2 |
| callnumber-subject | HD - Industries, Land Use, Labor |
| classification_rvk | ST 515 |
| ctrlnum | (OCoLC)56799378 (DE-599)DNB970639317 |
| dewey-full | 338.5/01/13 |
| dewey-hundreds | 300 - Social sciences |
| dewey-ones | 338 - Production |
| dewey-raw | 338.5/01/13 |
| dewey-search | 338.5/01/13 |
| dewey-sort | 3338.5 11 213 |
| dewey-tens | 330 - Economics |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02969nam a2200685 c 4500</leader><controlfield tag="001">BV035449154</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090527 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090423s2005 ad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004052218</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04N150021</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">970639317</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1852338350</subfield><subfield code="c">Gb. (Pr. in Vorb.)</subfield><subfield code="9">1-85233-835-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56799378</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB970639317</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-945</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">HD30.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">338.5/01/13</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 515</subfield><subfield code="0">(DE-625)143677:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chen-Burger, Yun-Heh</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automating business modelling</subfield><subfield code="b">a guide to using logic to represent informal methods and support reasoning</subfield><subfield code="c">Yun-Heh Chen-Burger and Dave Robertson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 322 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advanced information and knowledge processing</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Industrial management / Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Industrial management / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Business / Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Business / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Affaires - Modèles mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Affaires - Simulation par ordinateur</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gestion d'entreprise - Modèles mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gestion d'entreprise - Simulation par ordinateur</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Wirtschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business</subfield><subfield code="x">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial management</subfield><subfield code="x">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial management</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebliches Informationssystem</subfield><subfield code="0">(DE-588)4069386-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Architektur</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4139374-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenmodell</subfield><subfield code="0">(DE-588)4192516-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebsdaten</subfield><subfield code="0">(DE-588)4145038-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Betriebsdaten</subfield><subfield code="0">(DE-588)4145038-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenmodell</subfield><subfield code="0">(DE-588)4192516-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Architektur</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4139374-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Betriebliches Informationssystem</subfield><subfield code="0">(DE-588)4069386-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Architektur</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4139374-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robertson, Dave</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0662/2004052218-d.html</subfield><subfield code="y">Publisher description</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="m">DE-576</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://www.gbv.de/dms/bsz/toc/bsz11692408xinh.pdf</subfield><subfield code="x">2009-01-25</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017369244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017369244</subfield></datafield></record></collection> |
| id | DE-604.BV035449154 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:35:31Z |
| institution | BVB |
| isbn | 1852338350 |
| language | English |
| lccn | 2004052218 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017369244 |
| oclc_num | 56799378 |
| open_access_boolean | 1 |
| owner | DE-945 |
| owner_facet | DE-945 |
| physical | XVII, 322 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series2 | Advanced information and knowledge processing |
| spelling | Chen-Burger, Yun-Heh Verfasser aut Automating business modelling a guide to using logic to represent informal methods and support reasoning Yun-Heh Chen-Burger and Dave Robertson London Springer 2005 XVII, 322 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Advanced information and knowledge processing Industrial management / Computer simulation Industrial management / Mathematical models Business / Computer simulation Business / Mathematical models Affaires - Modèles mathématiques Affaires - Simulation par ordinateur Gestion d'entreprise - Modèles mathématiques Gestion d'entreprise - Simulation par ordinateur Mathematisches Modell Wirtschaft Business Computer simulation Business Mathematical models Industrial management Computer simulation Industrial management Mathematical models Betriebliches Informationssystem (DE-588)4069386-7 gnd rswk-swf Architektur Informatik (DE-588)4139374-0 gnd rswk-swf Datenmodell (DE-588)4192516-6 gnd rswk-swf Betriebsdaten (DE-588)4145038-3 gnd rswk-swf Betriebsdaten (DE-588)4145038-3 s Datenmodell (DE-588)4192516-6 s Architektur Informatik (DE-588)4139374-0 s DE-604 Betriebliches Informationssystem (DE-588)4069386-7 s b DE-604 Robertson, Dave Verfasser aut http://www.loc.gov/catdir/enhancements/fy0662/2004052218-d.html Publisher description kostenfrei DE-576 pdf/application http://www.gbv.de/dms/bsz/toc/bsz11692408xinh.pdf 2009-01-25 kostenfrei Inhaltsverzeichnis GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017369244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Chen-Burger, Yun-Heh Robertson, Dave Automating business modelling a guide to using logic to represent informal methods and support reasoning Industrial management / Computer simulation Industrial management / Mathematical models Business / Computer simulation Business / Mathematical models Affaires - Modèles mathématiques Affaires - Simulation par ordinateur Gestion d'entreprise - Modèles mathématiques Gestion d'entreprise - Simulation par ordinateur Mathematisches Modell Wirtschaft Business Computer simulation Business Mathematical models Industrial management Computer simulation Industrial management Mathematical models Betriebliches Informationssystem (DE-588)4069386-7 gnd Architektur Informatik (DE-588)4139374-0 gnd Datenmodell (DE-588)4192516-6 gnd Betriebsdaten (DE-588)4145038-3 gnd |
| subject_GND | (DE-588)4069386-7 (DE-588)4139374-0 (DE-588)4192516-6 (DE-588)4145038-3 |
| title | Automating business modelling a guide to using logic to represent informal methods and support reasoning |
| title_auth | Automating business modelling a guide to using logic to represent informal methods and support reasoning |
| title_exact_search | Automating business modelling a guide to using logic to represent informal methods and support reasoning |
| title_full | Automating business modelling a guide to using logic to represent informal methods and support reasoning Yun-Heh Chen-Burger and Dave Robertson |
| title_fullStr | Automating business modelling a guide to using logic to represent informal methods and support reasoning Yun-Heh Chen-Burger and Dave Robertson |
| title_full_unstemmed | Automating business modelling a guide to using logic to represent informal methods and support reasoning Yun-Heh Chen-Burger and Dave Robertson |
| title_short | Automating business modelling |
| title_sort | automating business modelling a guide to using logic to represent informal methods and support reasoning |
| title_sub | a guide to using logic to represent informal methods and support reasoning |
| topic | Industrial management / Computer simulation Industrial management / Mathematical models Business / Computer simulation Business / Mathematical models Affaires - Modèles mathématiques Affaires - Simulation par ordinateur Gestion d'entreprise - Modèles mathématiques Gestion d'entreprise - Simulation par ordinateur Mathematisches Modell Wirtschaft Business Computer simulation Business Mathematical models Industrial management Computer simulation Industrial management Mathematical models Betriebliches Informationssystem (DE-588)4069386-7 gnd Architektur Informatik (DE-588)4139374-0 gnd Datenmodell (DE-588)4192516-6 gnd Betriebsdaten (DE-588)4145038-3 gnd |
| topic_facet | Industrial management / Computer simulation Industrial management / Mathematical models Business / Computer simulation Business / Mathematical models Affaires - Modèles mathématiques Affaires - Simulation par ordinateur Gestion d'entreprise - Modèles mathématiques Gestion d'entreprise - Simulation par ordinateur Mathematisches Modell Wirtschaft Business Computer simulation Business Mathematical models Industrial management Computer simulation Industrial management Mathematical models Betriebliches Informationssystem Architektur Informatik Datenmodell Betriebsdaten |
| url | http://www.loc.gov/catdir/enhancements/fy0662/2004052218-d.html http://www.gbv.de/dms/bsz/toc/bsz11692408xinh.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017369244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT chenburgeryunheh automatingbusinessmodellingaguidetousinglogictorepresentinformalmethodsandsupportreasoning AT robertsondave automatingbusinessmodellingaguidetousinglogictorepresentinformalmethodsandsupportreasoning |