FORMULATING ASPECTS OF PAYPAL IN THE LOGIC FRAMEWORK OF GBMF

Min Li, Chris J. Hogger

2009

Abstract

Logic-based modelling methods can benefit business organizations in constructing models offering flexible knowledge representation supported by correct and effective inference. It remains a continuing research issue as to how best to apply logic-based formalization to informal/semi-formal business modelling. In this paper, we formulate aspects of the general business specification of PayPal in logic programming by applying this in logic-based GBMF which is a declarative, context-independent, implementable and highly expressive framework for modelling high-level aspects of business. In particular, we introduce the primary PayPal business concepts and relations; specify simple but essential PayPal business processes associated with a knowledge base, and set core business rules and controls to simulate the PayPal case in a fully automatic manner. This specific modelling method gives the advantages of general-purpose expressiveness and well-understood execution regimes, avoiding the need for a special-purpose engine supporting a specialized modelling language.

Paper Citation

in Harvard Style

Li M. and Hogger C. (2009). FORMULATING ASPECTS OF PAYPAL IN THE LOGIC FRAMEWORK OF GBMF . In Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8111-85-2, pages 39-44. DOI: 10.5220/0001858600390044

in Bibtex Style

@conference{iceis09,
author={Min Li and Chris J. Hogger},
title={FORMULATING ASPECTS OF PAYPAL IN THE LOGIC FRAMEWORK OF GBMF},
booktitle={Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2009},
pages={39-44},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001858600390044},
isbn={978-989-8111-85-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - FORMULATING ASPECTS OF PAYPAL IN THE LOGIC FRAMEWORK OF GBMF
SN - 978-989-8111-85-2
AU - Li M.
AU - Hogger C.
PY - 2009
SP - 39
EP - 44
DO - 10.5220/0001858600390044