loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Min Li and Chris J. Hogger

Affiliation: Imperial College London, United Kingdom

Keyword(s): GBMF, Business model, PayPal, Prolog.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Biomedical Engineering ; Business Process Management ; Data Engineering ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Health Information Systems ; Informatics in Control, Automation and Robotics ; Information Systems Analysis and Specification ; Intelligent Control Systems and Optimization ; Knowledge Engineering ; Knowledge Engineering and Ontology Development ; Knowledge Management ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Knowledge-Based Systems Applications ; Modeling Formalisms, Languages and Notations ; Ontologies and the Semantic Web ; Society, e-Business and e-Government ; Software Engineering ; Symbolic Systems ; Web Information Systems and Technologies

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.236.19.251

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-4992, SciTePress, pages 39-44. DOI: 10.5220/0001858600390044

@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},
issn={2184-4992},
}

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
IS - 2184-4992
AU - Li, M.
AU - Hogger, C.
PY - 2009
SP - 39
EP - 44
DO - 10.5220/0001858600390044
PB - SciTePress