A Use Case Interpretation of B AMN

Abstract

In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure through refinement. We start with a use case analysis to find the functionality of the system, and then use a number of objects to specify the use case in greater detail. We separate data, interface and behavioural aspects of the specification in order to minimise changes in the problem domain. We illustrate the method using a simple case study, and discuss other object-oriented concepts such as components and design patterns.

Conference

Publication date: July 1998

Publication date (Print): July 1998

Pages: 1-13

Affiliations

University of Teesside

Middlesbrough, Cleaveland TS1 3BA, UK

Article

DOI: 10.14236/ewic/FM1998.13

Copyright statement: © Richard Shore. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 2nd Irish Workshop on Formal Methods

Conference acronym: FM

Conference number: 2

Conference location: Cork, Ireland

Conference date: 2-3 July 1998

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Irish Workshop on Formal Methods

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1998.13

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing