Use this URL to cite or link to this record in EThOS:
Title: GBMF : a logic-based generic business modeling framework
Author: Li, Min
ISNI:       0000 0004 2715 7550
Awarding Body: University of London
Current Institution: University of London
Date of Award: 2011
Availability of Full Text:
Access from EThOS:
The potential benefits of logic-based modeling methods encourage business organizations to construct models offering flexible knowledge representation supported by correct and effective inference. However, owing to the problems of encoding expertise, the ambiguities in model executions, and the diversity of evaluation methods, there is no clear consensus on how best to apply logic-based formalization to existing informal or semi-formal modeling methods. This thesis facilitates formal business model specifications by establishing a generic business mode ling framework named GBMF which is declarative, context-independent, implementable and expressive for modeling high-level aspects of business. Within GBMF, business goals and activities, entities and relations, rules and strategies are expressible transparently using a repertoire of primitive constructs without requiring overly-burdensome programming effort. Execution logic of GBMF plans, entity constraints, plan-asset dependencies, process rules and defined controls are able to manipulate upon those constructs to manage business execution in a desirable way. Representing, formulating and implementing business model consistently with logic programming formalisms give the advantages of general-purpose expressiveness and well-understood execution regimes, so avoiding the need for either being confined to a specific phase of modeling lifecycle or supporting a specialized modeling language. Clear semantics and simple syntax of the core GBMF paves the way for further exploiting on quick prototyping, analytical simulation and functional extension. Case studies selected from a traditional business and an e-business demonstrate that GBMF can capture essential semantics. During the simulation of the instantiated business, related information at various levels of abstraction and detail can be retrieved and inferred with attendant logic reasoning mechanisms. A hybrid evaluation method is also provided to evaluate GBMF from multiple perspectives. Future work based on GBMF will be a graphical interface extension and inter-translations with other modeling techniques.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available