We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham University

Research & business

View Profile

Publication details

Ratcliffe Martyn. & Budgen, David. (2005). The application of use cases in systems analysis and design specification. Information & software technology 47(9): 623-641.

Author(s) from Durham


The paper begins by reviewing the application of use cases in the analysis and design phases of software development. At present, a use case derived in analysis is generally mapped into design through the synthesis of object behaviour for all scenarios associated with the use case. Hence the use case level of abstraction is not directly used in this process and a semantic gap exists between analysis and design. With informal textually based use case definitions this is to be expected, however, if the use cases themselves are given a more concrete structure, for example in the form of a statechart, then their direct use becomes more feasible. In this paper we therefore investigate the application of use case structures in the initial design phases of software development. A novel approach is proposed that applies a state based use case model directly to each object in the design architecture. This requires the derivation of a set of repeatable refinement procedures, which remove redundancy and allow the assignment of behaviour to objects with respect to their responsibilities. It is then shown how such procedures may be used in design, filling the semantic gap between analysis and design. By applying the procedures to a case study we identify and evaluate the characteristics of the mapping from use case model to object behaviour and review our approach with respect to other methods. It is concluded that state based use case structures not only represent a succinct analysis format, but may also be used to map analysis models directly into the design process.



K. Weidenhaupt, K. Pohl, M. Jarke, P. Haumer, Scenarios in system
development current practice, IEEE Software 1998; 34–45.


I. Jacobson, G. Booch, J. Rumbaugh, The Unified Modelling
Language Reference Manual, Addison-Wesley, Reading, MA, 1999.


B. Dano, H. Briand, F. Barbier, A Use Case Driven Requirements
Engineering Process, Requirements Engineering 2 (1997) 79–91.


T. Systa, Incremental construction of dynamic models for objectoriented
software systems, JOOP 13 (5) (2000) 18–27.


I. Khriss, M. Elkoutbi, R.K. Keller, Automating the synthesis of UML
statechart diagrams frommultiple collaboration diagram, In The Unified
Modelling language. UML98: Beyond the Notation, Lecture Notes on
Computer Science (LNCS), vol. 1618, Springer, 1999. p. 132–147.


J. Whittle, J. Schumann, Generating statechart designs from scenarios,
ICSE 2000, Limerick Ireland, 2000.


S. Uchitel, J. Kramer, A workbench for synthesising behaviour
models from scenarios, Proceedings of the 23th IEEE International
Conference and Ninth ACM on Software Engineering (ICSE’01),
Toronto, Canada, 2001.


D. Harel, LCS: breathing life into message sequence charts,
Proceedings of the Third IFIP Int’l Conference on Formal methods
for Open Object-Based Distributed Systems, New York, 1999 pp.


D. Harel, H. Kugler, Synthesizing state-based object systems from
LSC specifications, Proceedings of the Fifth International Conference
on Implementation and application of Automata, New York, 2001.


A. Pnueli, R. Roser, Distributed Systems are Hard to Synthesis,
Proceedings of the 31st IEEE Symposium on Foundations of
Computer Science, 1990 pp. 746–757.


D. Harel, An Achievable Dream Encounters Barriers and Bottlenecks,
Computer April (2001) 4.


R. Wirfs-Brock, B. Wilkingson, Designing Object-Oriented Software,
Prentice Hall, Englewood Cliffs, NJ, 1990.


M. Ratcliffe, D. Budgen, The application of use case definitions in
system analysis and design specification, Information and Software
Technology 23 (6) (2001) 365–385.


F. Barbier, H. Briand, B. Dano, S. Rideau, The executability of objectoriented
finite state machines, JOOP 1998; 16–24.


Ratcliffe, M. The application of use case definitions in system analysis
and design specification, PhD Thesis, Department of Computer
Science, Keele University, Jan. 2003.


S. Uchitel, J. Kramer, J. Magee, Detecting Implied Scenarios in
Message Sequence Chart Specifications, Proceedings of the Ninth
European Software Engineering Conference and Ninth ACM
SIGSOFT International Symposium on the Foundations of Software
Engineering (ESEC/FSE’01), Vienna, Austria, 2001.


A.V. Lamsweerde, Inferring declarative requirements requirements
secifications from operational scenarios, IEEE Transactions on
Software Engineering SE-24 (12) (1998) 1089–1114.


D. Amyot, R.J.A. Buhr, L. Logrippo, Use case maps for the capture
and validation of distributed requirements,, sixth ed. RE’99, Fourth
IEEE International Symposium on Requirements Engineering,
Limerick, Ireland, vol. 14, 1999.