UCM-ROOM modelling: from use case maps to communicating state machines

  • Authors:
  • Francis Bordeleau;Ray J. A. Buhr

  • Affiliations:
  • Departement d'informatique, Université du Québec à Hull, Canada;Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada

  • Venue:
  • ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

A major problem we humans have in the engineering of complex, computer-based systems is understanding and defining how the required behaviour of a whole system is to be achieved by its components, without becoming lost in component-centric details such as internal state machines and intercomponent messages. This paper proposes and illustrates a modelling methodology for overcoming such problem that proceeds, in a systematic and traceable manner, from UCM models (use case maps), to MSC models (message sequence charts), to ROOM-style communicating-state-machine models. For concreteness in a limited space, the method is illustrated by a simple example that is not representative of the complex kinds of systems we have in mind.