A Use Case Interpretation of B AMN

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.

Content

Author and article information

Conference

Publication date: July 1998

Publication date (Print): July 1998

Pages: 1-13

Affiliations

[0001]University of Teesside

Middlesbrough, Cleaveland TS1 3BA, UK

Article

DOI: 10.14236/ewic/FM1998.13

SO-VID: 4cde6ef5-0376-48f0-85b5-f4d122cc8dd5

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

History

Product

1477-9358 BCS 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/

Teaching business & IT courses? Request a digital desk copy of any BCS Publishing title via the BCS Bookshop Inspection Copy Request form.

A Use Case Interpretation of B AMN

Abstract