TY - BOOK AU - Chen-Burger,Yun-Heh AU - Robertson,Dave TI - Automating business modelling: a guide to using logic to represent informal methods and support reasoning T2 - Advanced information and knowledge processing SN - 1852338350 AV - HD30.2 .C473 2005 U1 - 338.50113 22 PY - 2005///] CY - London PB - Springer KW - Industrial management KW - Computer simulation KW - Mathematical models KW - Business N1 - Includes bibliographical references (pages 313-319) and index; 1; Introduction --; 2; Background knowledge --; 3; Problems and overview of approach --; 4; Logic --; 5; Formal support for data modelling --; 6; Formal support for process modelling --; 7; Reasoning on and executing processes --; 8; Knowledge sharing and reuse of models --; 9; Use of KBST-BM --; 10; Evaluation of system --; 11; Conclusion --; A; Generic business models --; B; Examples business models --; C; An industrial model --; D; A model for family restaurants --; E; A model for academic environments --; F; The formal operators in DefBM --; G; Entity model rules and guidelines --; H; Process model rules and guidelines --; I; An interpreter for user-defined rules --; J; Model rules and guidelines by category --; K; Test results of model rule and guidelines --; L; Example use of GMA --; M; Example use of simulator N2 - "Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included, providing a framework and detailed explanation as to how to construct automated support for modelling and allowing readers to follow the method to create similar support of their own." "Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, as well as practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know how to both student and professional."--BOOK JACKET ER -