The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (1997)
Monterey, CA
Mar. 24, 1997 to Mar. 28, 1997
ISBN: 0-8186-7889-5
pp: 169
R.J.A. Buhr , Dept. d'Inf., Univ. du Quebec a Hull, Ont., Canada
F. Bordeleau , Dept. d'Inf., Univ. du Quebec a Hull, Ont., Canada
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.
INDEX TERMS
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
CITATION
R.J.A. Buhr, F. Bordeleau, "UCM-ROOM modelling: from use case maps to communicating state machines", Engineering of Computer-Based Systems, IEEE International Conference on the, vol. 00, no. , pp. 169, 1997, doi:10.1109/ECBS.1997.581850
103 ms
(Ver 3.3 (11022016))