MODELLING THE UNEXPECTED BEHAVIOURS OF EMBEDDED SOFTWARE USING UML SEQUENCE DIAGRAMS

Hee-jin Lee, In-Gwon Song, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui Hong

2006

Abstract

Real-time and embedded systems may be left on unexpected states because system’s user can generate some incident events in various conditions. Although the UML 2.0 sequence diagrams recently incorporate several modelling features for embedded software, they have some difficulties to depict unexpected behaviours of embedded software conveniently. In this paper, we propose some extensions to UML 2.0 sequence diagrams to model unexpected behaviours of embedded software. We newly introduce notations to describe exceptions and interrupts. Our new extensions make the sequence diagrams simple and easy to read in describing such unexpected behaviours. These features are explained and proved with an example of call-setup procedure of CDMA mobile phone.

References

  1. Douglass, B.P., 2004 Real-Time UML 3rd edition, Addison-Wesley.
  2. ITU, 1999. ITU Z.120, in Message Sequence Chart(MSC), ITU-T: Geneva. p.126.
  3. Mauw, S., Reniers, M.A., and Willemse, T.A.C., 2000. “Message Sequence Charts in the Software Engineering Process”, Computing Science Reports 00- 12, Department of Computing Science, Eindhoven University of Technology
  4. Damm, W., and Harel, D., 2001, “LSCs: Breathing Life into Message Sequence Charts”, Formal Methods in System Design.
  5. Haugen, O., 2004, “Comparing UML 2.0 Interactions and MSC-2000”, In Proceedings of SAM: SDL and MSC fourth International Workshop, LNCS 3319.
  6. Haugen O., 2001, “MSC-200 interaction diagrams for the new millennium” Computer Networks, Volume 35, Issue 6, May 2001.
  7. Eriksson, H., Penker, M., Lyons B., and Fado, D., 2003, UMLTM 2 Toolkit, Wiley.
  8. Storrle, H., 2004, Semantics of Exceptions in UML 2.0 Activities, Technical Report, University of Munich.
  9. Goodenough, J.B., 1975 “Structured exception handling”, In Proceedings of the 2nd ACM SIGACTSIGPLAN symposium on Principles of programming languages, 204-224, January, 1975, Palo Alto, California.
  10. Strohmeier, A., Chachkov, S., 2001, “A side-by-side comparison of exception handling in Ada and Java”, ACM SIGAda Ada Letters, Volumn XXI, Issue 3.
  11. OMG, 2004. UML 2.0 Superstructure Specification, Doc. Ptc 04-10-02, Object Management Group October 8, 2004, from : http://www.omg.org
  12. H.J.Lee., 2006, “Exception and Interrupt Modelling in UML 2.0 Sequence Diagrams for Embedded Software Development”, Masters' Thesis, KAIST KOREA.
  13. Huget, M.P., 2003, “Extending Agent UML Sequence diagrams”, AOSE 2003, LNCS 2586, 150-161.
  14. OMG, 1998, UML Semantics Version 1.2, Object Management Group from http:///www.omg.org
  15. Douglass, B., 1999, Doing Hard Time : Developing RealTime Systems with UML, Objects, Frameworks, and Patterns, Addison-Wesley.
Download


Paper Citation


in Harvard Style

Lee H., Song I., Jeon S., Bae D. and Hong J. (2006). MODELLING THE UNEXPECTED BEHAVIOURS OF EMBEDDED SOFTWARE USING UML SEQUENCE DIAGRAMS . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 257-262. DOI: 10.5220/0001314202570262


in Bibtex Style

@conference{icsoft06,
author={Hee-jin Lee and In-Gwon Song and Sang-Uk Jeon and Doo-Hwan Bae and Jang-Eui Hong},
title={MODELLING THE UNEXPECTED BEHAVIOURS OF EMBEDDED SOFTWARE USING UML SEQUENCE DIAGRAMS},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2006},
pages={257-262},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001314202570262},
isbn={978-972-8865-69-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - MODELLING THE UNEXPECTED BEHAVIOURS OF EMBEDDED SOFTWARE USING UML SEQUENCE DIAGRAMS
SN - 978-972-8865-69-6
AU - Lee H.
AU - Song I.
AU - Jeon S.
AU - Bae D.
AU - Hong J.
PY - 2006
SP - 257
EP - 262
DO - 10.5220/0001314202570262