This book presents a unique systems theory approach to management information system (MIS) development. It covers an outline of the approach, providing a theoretical foundation for MIS from the systems theoretic viewpoint before presenting practical applications ranging from a transaction processing system to a solver system. The author also describes his newly developed extended Prolog programming language, which helps take full advantage of the mathematical framework employed.
Author(s): Yasuhiko Takahara, Yongmei Liu
Edition: 1
Year: 2006
Language: English
Pages: 376
Cover......Page 1
FOUNDATIONS AND APPLICATIONS
OF MIS......Page 2
ISBN-10: 0387314148......Page 5
Preface......Page 6
Contents......Page 11
Part I
New Paradigm of Systems Development......Page 16
1 New Systems Development Methodology: The Model Theory Approach......Page 17
Part II Model Construction Language and Systems Implementation Language......Page 35
2 Computer-Acceptable Set Theory for Model Construction......Page 36
3 Implementation Language: extProlog......Page 55
Part III Model Theory Approach to Solver Systems Development......Page 76
4 Model Theory Approach to Solver System Development: Outlines......Page 77
5 User Model and Standardized Goal-Seeker......Page 88
Part IV Solver System Applications......Page 119
6 Traveling Salesman Problem: E-C-C Problem......Page 120
7 Regulation Problem: E-O-C Problem......Page 133
8 Linear Quadratic Optimization Problem: E-C-O and E-O-O Problems......Page 151
9 Cube Root Problem: I-C-C Problem......Page 158
10 Knapsack Problem: I-C-O Problem......Page 163
11 Class Schedule Problem: I-O-C Problem......Page 173
12 Data Mining Problem: I-O-O Problem......Page 186
13 Task Skeleton Model: Intelligent Data Mining System......Page 209
Part V Model Theory Approach to Transaction Processing Systems Development......Page 224
14 Transaction Processing System on Browser-Based Standardized User
Interface......Page 225
15 Browser-Based Intelligent Management Information System:
Temporary Staff Recruitment System......Page 258
16 Database Connectivity for the Model Theory Approach......Page 285
Part VI Theoretical Basis for extProlog......Page 320
17 extProlog as Logic Programming Language......Page 321
18 Implementation of extProlog......Page 338
Index......Page 349
