Solving the bank with Rebel: On the design of the Rebel specification language and its application inside a bank

Jouke Stoel, Tijs van der Storm, Jurgen Vinju, Joost Bosman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Abstract

Large organizations like banks suffer from the ever growing complexity of their systems. Evolving the software becomes harder and harder since a single change can affect a much larger part of the system than predicted upfront. A large contributing factor to this problem is that the actual domain knowledge is often implicit, incomplete, or out of date, making it difficult to reason about the correct behavior of the system as a whole. With Rebel we aim to capture and centralize the domain knowledge and relate it to the running systems. Rebel is a formal specification language for controlling the intrinsic complexity of software for financial enterprise systems. In collaboration with ING, a large Dutch bank, we developed the Rebel specification language and an Integrated Specification Environment (ISE), currently offering automated simulation and checking of Rebel specifications using a Satisfiability Modulo Theories (SMT) solver. In this paper we report on our design choices for Rebel, the implementation and features of the ISE, and our initial observations on the application of Rebel inside the bank.

Original languageEnglish
Title of host publicationITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016
EditorsYanja Dajsuren, Peter Kourzanov
PublisherAssociation for Computing Machinery, Inc
Pages13-20
Number of pages8
ISBN (Electronic)9781450346467
DOIs
Publication statusPublished - 31 Oct 2016
Event1st Industry Track on Software Language Engineering (ITSLE 2016) - Amsterdam, Netherlands
Duration: 31 Oct 2016 → …
Conference number: 1

Conference

Conference1st Industry Track on Software Language Engineering (ITSLE 2016)
Abbreviated titleITSLE 2016
CountryNetherlands
CityAmsterdam
Period31/10/16 → …

Keywords

  • DSL
  • Industry case
  • Language design
  • Model checking
  • SMT
  • Specification language

Fingerprint

Dive into the research topics of 'Solving the bank with Rebel: On the design of the Rebel specification language and its application inside a bank'. Together they form a unique fingerprint.

Cite this