Engineering of Computer-Based Systems, IEEE International Conference on the (1997)
Mar. 24, 1997 to Mar. 28, 1997
F. Bordeleau , Dept. d'Inf., Univ. du Quebec a Hull, Ont., Canada
R.J.A. Buhr , Dept. d'Inf., Univ. du Quebec a Hull, Ont., Canada
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.
communicating sequential processes; UCM-ROOM modelling; use case maps; communicating state machines; computer-based systems; internal state machines; intercomponent messages; modelling methodology; UCM models; message sequence charts
R. Buhr and F. Bordeleau, "UCM-ROOM modelling: from use case maps to communicating state machines," Engineering of Computer-Based Systems, IEEE International Conference on the(ECBS), Monterey, CA, 1997, pp. 169.