Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    A Use Case Interpretation of B AMN

    2nd Irish Workshop on Formal Methods

    Cork, Ireland. 2nd - 3rd July 1998


    R. Shore


    In this paper we suggest methods to aid the development of specifications using the B method.

    We propose an object oriented 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.


    PDF filePDF Version of this Paper (82kb)