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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Samenvatting

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.

Originele taal-2Engels
TitelITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016
RedacteurenYanja Dajsuren, Peter Kourzanov
UitgeverijAssociation for Computing Machinery, Inc
Pagina's13-20
Aantal pagina's8
ISBN van elektronische versie9781450346467
DOI's
StatusGepubliceerd - 31 okt 2016
Evenement1st Industry Track on Software Language Engineering (ITSLE 2016) - Amsterdam, Nederland
Duur: 31 okt 2016 → …
Congresnummer: 1

Congres

Congres1st Industry Track on Software Language Engineering (ITSLE 2016)
Verkorte titelITSLE 2016
Land/RegioNederland
StadAmsterdam
Periode31/10/16 → …

Vingerafdruk

Duik in de onderzoeksthema's van 'Solving the bank with Rebel: On the design of the Rebel specification language and its application inside a bank'. Samen vormen ze een unieke vingerafdruk.

Citeer dit