Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Mon 31 Oct 2016 14:00 - 14:29 at Geneva - Industrial DSLs and tools Chair(s): Yanja Dajsuren

Large organizations like banks su ffer from the ever growing complexity of their systems. Evolving the software in the face of change becomes harder and harder since a single change can a ffect 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. When domain knowledge is recorded it is captured in informal document (like Word files or Excel sheets) making it hard to relate the requirements to the actual implementation of the software. With Rebel we aim to capture, centralize and relate the domain knowledge 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 o ffering automated simulation and checking of Rebel specifications. These specifications can be used as a method of communication between stakeholders, to check the existing system implementations and, ultimately, to serve as a base to generate new systems. Specifications can be translated into Satisfiability Modulo Theories (SMT) constraints, solved using an SMT solver, and translated back into the Rebel ISE for interpretation.

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.

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Industrial DSLs and toolsITSLE at Geneva
Chair(s): Yanja Dajsuren Eindhoven University of Technology, The Netherlands
13:30
29m
Talk
Invited talk: Model Driven Software Engineering (MDSE) in the large
ITSLE
14:00
29m
Talk
Solving the Bank with Rebel
ITSLE
Jouke Stoel CWI, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Joost Bosman ING Bank
14:30
29m
Talk
Udapt: Edapt Extensions for Industrial Application
ITSLE
J.G.M. Mengerink Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology, R.R.H. Schiffelers ASML, Mark van den Brand
Pre-print
15:00
10m
Break
SPLASH break & networking
ITSLE