Title of paper: Manual for Using the UMC Model of the Finance Case Study

Abstract

We show how to use a UMC model of the credit request scenario of SENSORIA's Finance case study, described in detail in [BM10], and verify properties formulated in the service-oriented temporal logic SocL.