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.

References

  1. Afuah, A., Tucci, C.L., 2003. Internet business models and strategies. McGraw Hill. Boston.
  2. Bjorner, D. et al, 1978. The Vienna Development Method: The Meta-Language. LNCS Vol. 61, Springer.
  3. Burchell, D., Nielsen, D., Sofield, S., 2004. PayPal Hacks, Publisher: O'Reilly.
  4. Chen-Burger, Y-H., et al, 2002. Enterprise Modelling: A declarative approach for FBPML. In ECAI: Workshop on Knowledge Management and Organizational Memories.
  5. Fox, M.S., Gruninger, M., 1998. Enterprise modeling. In AI Magazine 19(3).
  6. Gordijn, J., Osterwalder, A., Pigneur, Y., 2005. Comparing two business model ontologies for designing e-business models and value constellations. In 18th Bled e-Conference on e-Integration in Action.
  7. Hogger, C.J. and Kriwaczek, F.R. 2004. Constraint-guided enterprise portals, Proc. of 6th Int. Conf. on Enterprise Information Systems, pp. 411-418.
  8. Kowalski, R., 1979. Logic for Problem Solving, North Holland Elsevier.
  9. Kuo, H-L., Chen-Burger, Y-H., Robertson, D., 2003. Knowledge management using business process modeling and workflow techniques. In IJCAI'03, Workshop on Knowledge Management and Organizational Memories.
  10. Li, Min and Hogger, C. J., 2007. Generic constraintsbased framework for business modelling. In Trends in Enterprise Application Architecture, LNCS, Vol. 4473, Springer Verlag, pp.241-254.
  11. NIST - National Institute of Standards and Technology, 1993. Integration Definition for Function Modelling (IDEF0). NIST. Gaithersburg.
  12. Osterwalder, A., Pigneur, Y., Tucci, C.L., 2005. Clarifying business models: origins, present, and future of the concept. In Communications of the Association for Information Systems, 16.
  13. Schlenoff, C., Knutilla, A., Ray, S., 1997. In Proceedings of the Process Specification Language (PSL) Roundtable. NIST. Gaithersburg.
  14. Yourdon, E., 1989. Modern Structured Analysis. Yourdon Press, Englewood Cliffs, New Jersey.
Download


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