Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams

  • Atle Refsdal
  • Knut Eilif Husa
  • Ketil Stølen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3829)


Soft real-time requirements are often related to communication in distributed systems. Therefore it is interesting to understand how UML sequence diagrams can be used to specify such requirements. We propose a way of integrating soft real-time requirements in sequence diagram specifications by adding probabilities to timed sequence diagrams. Our approach builds on timed STAIRS, which is an approach to the compositional and incremental development of sequence diagrams supporting specification of mandatory as well as potential behavior.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BS01]
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)zbMATHGoogle Scholar
  2. [DH01]
    Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)zbMATHCrossRefGoogle Scholar
  3. [HHRS05a]
    Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: Why timed sequence diagrams require three-event semantics. Technical Report 309, Department of Informatics, University of Oslo (2005)Google Scholar
  4. [HHRS05b]
    Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Software and System Modeling 00, 1–13 (2005)Google Scholar
  5. [HM03]
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  6. [HS03]
    Haugen, Ø., Stølen, K.: STAIRS — Steps to analyze interactions with refinement semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 388–402. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  7. [ITU99]
    International Telecommunication Union. Recommendation Z.120 — Message Sequence Chart, MSC (1999)Google Scholar
  8. [Jan03]
    Jansen, D.N.: Extensions of Statecharts with Probability, Time, and Stochastic Timing. PhD thesis, University of Twente (2003)Google Scholar
  9. [JL91]
    Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, Amsterdam, The Netherlands, pp. 266–277 (1991)Google Scholar
  10. [MM99]
    Morgan, C., McIver, A.: pGCL: Formal reasoning for random algorithms. South African Computer Journal 22, 14–27 (1999)Google Scholar
  11. [OMG04]
    Object Management Group. UML 2.0 Superstructure Specification, ptc/04-10-02 edition (2004)Google Scholar
  12. [OMG05]
    Object Management Group. UML Profile for Schedulability, Performance and Time Specification, version 1.1 formal/05-01-02 edition (January 2005)Google Scholar
  13. [RHS05]
    Refsdal, A., Husa, K.E., Stølen, K.: Specification and refinement of soft real-time requirements using sequence diagrams. Technical Report 323, Department of Informatics, University of Oslo (2005)Google Scholar
  14. [Ros95]
    Roscoe, A.W.: CSP and determinism in security modelling. In: Proceedings of the 1995 IEEE Symposium on Security and Privacy, Washington, DC, USA, pp. 114–127. IEEE Computer Society, Los Alamitos (1995)CrossRefGoogle Scholar
  15. [Seg95]
    Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Atle Refsdal
    • 1
  • Knut Eilif Husa
    • 1
    • 2
  • Ketil Stølen
    • 1
    • 3
  1. 1.Department of InformaticsUniversity of OsloNorway
  2. 2.EricssonNorway
  3. 3.SINTEF ICTNorway

Personalised recommendations