Abstract
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) [16] offers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, current tools operate on MSCs that describe finite, deterministic behavior. In this paper, we describe the architecture and the partial implementation of MESA, an MSC-based tool that supports early phases of the software development cycle. The main functionalities of MESA are: an environment for the composition of system models through MSCs, syntactic and model-based analysis of an MSC model, and resolution of resource related underspecifications in an MSC model.
This work was partly supported by the Information Technology Research Centre of the Province of Ontario and by the National Science and Engineering Research Council of Canada. ObjecTime Limited provided further support.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Telelogic AB. SDT. In G. von Bochmann, R. Dssouli, and O. Rafiq, editors, Participant's Proceedings of the 8th International Conference on Formal Description Techniques FORTE'95, List of tools for demonstrations, page 455, 1995.
B. Algayres, Y. Lejeune, F. Hugonment, and F. Hantz. The AVALON project: a validation environment for SDL/MSC descriptions. In O. Faergemand and A. Sarma, editors, Proceedings of the 6th SDL Forum, SDL'93: Using Objects, October 1993.
R. Alur, G. J. Holzmann, and D. Peled. An analyzer for Message Sequence Charts. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1055, pages 35–48. Springer Verlag, 1996.
H. Ben-Abdallah and S. Leue. Architecture of a requirements and design tool based on message sequence charts. Technical Report 96-13, Department of Electrical & Computer Engineering, University of Waterloo, October 1996.
H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and nonlocal choice in message sequence charts. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1217, pages 259–274. Springer Verlag, 1997.
H. Ben-Abdallah and S. Leue. Timing constraints in message sequence chart specifications. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII '97, pages 91–106. Chapman & Hall, November 1997.
R.J.A. Buhr and C.S. Casselman. Use Case Maps for Object-Oriented Systems. Prentice Hall, 1996.
Rational Software Corporation. UML notation guide. Research report, 1997. See also http://www.rational.com/uml.
R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61–95, 1991.
Max Planck Institute for Computer Science. LEDA home-page, 1997. http://www.mpi-sb.mpg.de/LEDA/leda.html.
G. J. Holzman. Design and Validation of Computer Protocols. Prentice-Hall International, 1991.
G. J. Holzmann. What's new in SPIN version 2.0. http://netlib.att.com/netlib/spin/index.html, 1996. Version April 17.
H. Ichikawa, M. Itoh, J. Kato, A. Takura, and M. Shibasaki. SDE: Incremental specification and development of communications software. IEEE Transactions on Computers, 40(4):553–561, Apr. 1991.
ITU-T. Recommendation Z.100: Specification and Description Language (SDL). Geneva, Switzerland, 1993.
ITU-T. Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU — Telecommunication Standardization Sector, Geneva, Switzerland, 1995. To appear.
ITU-T. Recommendation Z.120. ITU — Telecommunication Standardization Sector, Geneva, Switzerland, May 1996. Review Draft Version.
I. Jacobson and et al. Object-Oriented Software Engineering — A Use-case Driven Approach. Addison-Wesley, 1992.
P. B. Ladkin and S. Leue. Interpreting Message Flow Graphs. Formal Aspects of Computing, 7(5):473–509, 1995.
S. Leue and P. B. Ladkin. Implementing and verifying scenario-based specifications using Promela/XSpin. In J.-C. Grégoire, G. J. Holzmann, and D. A. Peled, editors, Proceedings of the 2nd Workshop on the SPIN Verification System, Rutgers University, August 5, 1996. American Mathematical Society, DIMACS/32, 1997.
NTT Software Corporation, 223-I Yamashita-Cho Naka-Ku, Nakahama-Shi Kanagawa 231 Japan. MuSiC++ Message Sequence Charts: How To Connect with SDL, 1995.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. L orensen. ObjectOriented Modeling and Design. Prentice Hall International, 1991.
B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object-Oriented Modelling. John Wiley & Sons, Inc., 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ben-Abdallah, H., Leue, S. (1998). Mesa: Support for scenario-based design of concurrent systems. In: Steffen, B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1998. Lecture Notes in Computer Science, vol 1384. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054168
Download citation
DOI: https://doi.org/10.1007/BFb0054168
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64356-2
Online ISBN: 978-3-540-69753-4
eBook Packages: Springer Book Archive