Abstract
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implementation errors. Another drawback of using such informal notations is that automating the process of moving from use cases to design specification is difficult, if not impossible. It would be beneficial to represent use cases in an unambiguous way, thereby reducing the probability of misunderstanding and allowing for automation of various activities in the software process. Message Sequence Charts (MSC) is a formal language and widely used in telecommunications for the specification of the required behaviors. In this paper, we use MSC for describing use cases and we propose an approach for stepwise refinement from high-level use cases in MSC to design MSCs that contain more details about the internal components of the system and their interactions. The refinement steps are done by the designer and guided by the system architecture. For each step, the newly obtained MSC is validated automatically against the previous MSC using a conformance relation between MSCs.
Partially supported by France Telecom R&D.
Chapter PDF
Similar content being viewed by others
References
OMG, “UML version 1.3”, June 1999.
H. E. Eriksson and M. Penker, “UML Toolkit”, John Wiley & Sons Inc., 1998.
ITU-T, Z.120, “Message Sequence Charts-MSC’2000”, November 1999.
S. Mauw, M. A. Reniers and T.A.C. Willemse., “Message Sequence Charts in the Software Engineering Process”, Report 00/12, Department of Computer Science, Eindhoven University of Technology, 2000.
ITU-T, Z.100, “Specification and Description Language-SDL’2000”, November 1999.
J. Ellsberger, D. Hogrefe and A. Sarma, “SDL: Formal Object Oriented Language for Communicating Systems”, Prentice-Hall, 1997.
M.M. Abdalla, F. Khendek and G. Butler, “New Results on Deriving SDL Specifications from MSCs”, Proceedings of SDL Forum’99, Montreal, Canada, June 21–25, 1999.
G. Robert, F. Khendek and P. Grogono, “Deriving an SDL Specification with a Given Architecture from a Set of MSCs”, Proceedings of SDL Forum’97, Evry, France, Sept. 1997.
I. Jacobson et al, “Object-Oriented Software Engineering”, Addison-Wesley, 1992.
M. Andersson and J. Bergstrand, “Formalizing Use Cases with Message Sequence Charts”, Masters Thesis, Lund University, Sweden, 1995.
E. Rudolph et al, “Tutorial on Message Sequence Charts (MSC’96)”, Proceedings of FORTE/PSTV’96, Kaiserslautern, Germany, Oct. 1996.
A. Muscholl and D. Peled, “Analyzing Message Sequence Charts”, Proceedings of SDL And MSC Workshop (SAM’2000), Grenoble, France, June 26–28.
A. Muscholl, D. Peled and Z. Su, “Deciding properties of message sequence charts”, Proceedings of FoSSaCS’98, LNCS 1378, Springer, 1998.
R. Alur, G. Holzmann and D. Peled, “An analyser for message sequence charts”, Software Concepts and Tools, 17(2), 1996, pp. 70–77.
S. Mauw and S. A. Reniers, “An algebraic semantics for Basic Message Sequence Charts”, The Computer Journal, 37(4), 1994, pp. 269–277.
S. Mauw and M. Reniers, “Refinement in interworkings”, Proceedings of CONCUR’96, LNCS 1119, Springer, 1996.
S. Bourduas, F. Khendek and D. Vincent, “From MSC + UML to SDL”, Technical Report, Concordia University, November 2000.
F. Khendek and D. Vincent, “Enriching SDL Specifications with MSCs”, Proceedings of SDL And MSC Workshop (SAM’2000), Grenoble, France, June 26–28, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
Khendek, F., Bourduas, S., Vincent, D. (2001). Stepwise Design with Message Sequence Charts. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_2
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive