The Electronic Journal of Information Systems Evaluation provides critical perspectives on topics relevant to Information Systems Evaluation, with an emphasis on the organisational and management implications
For general enquiries email administrator@ejise.com
Click here to see other Scholarly Electronic Journals published by API
For a range of research text books on this and complimentary topics visit the Academic Bookshop

Information about the European Conference on Information Management and Evaluation is available here

linkedin-120 

twitter2-125 

fb_logo-125 

 

Journal Article

Using the Probabilistic Model Checker PRISM to Analyze Credit Card Use  pp35-44

Amani El Rayes, Mevliyar Er

© Mar 2008 Volume 11 Issue 1, Editor: Dan Remenyi, pp1 - 51

Look inside Download PDF (free)

Abstract

Probabilistic model checking is a recent extension of traditional model‑checking techniques for the integrated analysis of both apply probabilistic model checking to study the effect of credit card companies on people's lives. We use the probabilistic model checking tool PRISM as the formal framework. This approach allows us to obtain performance measures on various policies. It allows us to obtain performance measures on various policies such as changes in the interest rate and its effect on the credit card loan entitlement of the card user, the effect of different repayment policies on the user's spending ability in the short and long run, the effect of different interest rates and different spending preferences on the loan in the short run, and the effect of different spending preferences and different repayment policies on the remaining balance in the long run. From the study we investigate the level of loans and the amount of instalments after which the card holder goes through a cycle of interest repayment only. That is heshe can not use the card to withdraw money any more but has to make interest payments on the debt.

 

Keywords: credit card system, performability, probabilistic model checking, simulation

 

Share |

Journal Issue

Volume 11 Issue 1 / Mar 2008  pp1‑51

Editor: Dan Remenyi

View Contents Download PDF (free)

Keywords: accounting techniques, business systems integration, cluster analysis, communication and technology (ICT), credit card system, diffusion, e-commerce, e-tourism, information technologies, new technologies in e-museums, payment models, performability, PPD, probabilistic model checking, probit model, product-process dependencies, simulation, SMEs, software development, software process improvement, usability of cultural sites

 

Share |

Journal Issue

Volume 11 Issue 2 / Jun 2008  pp51‑108

Editor: Dan Remenyi

View Contents Download PDF (free)

Keywords: accounting techniques, business systems integration, cluster analysis, communication and technology (ICT), credit card system, diffusion, e-commerce, e-tourism, information technologies, new technologies in e-museums, payment models, performability, PPD, probabilistic model checking, probit model, product-process dependencies, simulation, SMEs, software development, software process improvement, usability of cultural sites

 

Share |