Legislation-driven development of a Gift Aid system using Event-B
| Autor: | David R. Michael, David M. Williams, Steve Schneider, Salaheddin Darwish |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
business.industry
Computer science media_common.quotation_subject 020207 software engineering Legislation 0102 computer and information sciences 02 engineering and technology Payment 01 natural sciences Theoretical Computer Science Domain (software engineering) Software Gift Aid 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Systems design Business case business Software engineering media_common Agile software development |
| Zdroj: | Williams, D, Darwish, S, Schneider, S & Michael, D R 2020, ' Legislation-driven development of a Gift Aid system using Event-B ', Formal Aspects of Computing . https://doi.org/10.1007/s00165-020-00512-5 |
| DOI: | 10.1007/s00165-020-00512-5 |
| Popis: | This work presents our approach to formally model the Swiftaid system design, a digital platform that enables donors to automatically add Gift Aid to donations made via card payments. Following principles of Behaviour-Driven Development, we use Gherkin to capture requirements specified in legislation, specifically the UK Charity (Gift Aid Declarations) Regulations 2016. The Gherkin scenarios provide a basis for subsequent formal modelling and analysis using Event-B, Rodin and ProB. Interactive model simulations assist communication between domain experts, software architects and other stakeholders during requirements capture and system design, enabling the emergent system behaviour to be validated. Our approach was employed within the development of the real Swiftaid product, launched by Streeva in February 2019. Our analysis helped conclude that there was not a strong enough business case for one of the features, whichwas shown to provide nominal user convenience at the expense of increased complexity. This work provides a case study in allying formal and agile software development to enable rapid development of robust software. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|