Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT

  • Abdelouahed Gherbi
  • Ferhat Khendek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4320)


Distributed real-time systems call for expressive modeling languages to capture and express their functional and nonfunctional requirements at early stages of the development process. The UML profile for Schedulability, Performance and Time (UML/SPT) is an object-oriented real-time modeling language. UML/SPT has been designed using the built-in extension mechanisms of UML, which makes it flexible and customizable. In this paper, we propose an extension for UML/SPT to capture multicast communications. We define a metamodel that encapsulates the main concepts involved in multicast communications, we show its relationship to UML/SPT domain model, and we introduce new stereotypes corresponding to these concepts. We illustrate the extension with the modeling of the Reliable Multicast Transport Protocol (RMTP2). Finally, we compare our approach to extend UML/SPT for multicast communications with an extension for MSC having the same purpose.


Multicast Tree Multicast Group Eclipse Modeling Framework Schedulability Analysis Multicast Communication 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Addouche, N., Antoine, C., Montmain, J.: UML Models for Dependability Analysis of Real-time Systems. In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, The Hague, Netherlands, pp. 5209–5214. IEEE, Los Alamitos (2004)Google Scholar
  2. 2.
    Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse modeling framework: a developer’s guide. The eclipse series. Addison-Wesley, Reading (2004)Google Scholar
  3. 3.
    Cortellessa, V., Pompei, A.: Towards a UML Profile for QoS: a Contribution in the Reliability Domain. In: WOSP 2004: Proceedings of the 4th international workshop on Software and performance, pp. 197–206. ACM Press, New York (2004)CrossRefGoogle Scholar
  4. 4.
    Gherbi, A., Khendek, F.: From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. In: 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006, Gyeongju, Korea, pp. 343–350. IEEE Computer Society, Los Alamitos (2006)CrossRefGoogle Scholar
  5. 5.
    Gherbi, A., Khendek, F.: UML Profiles for Real-Time Systems and their Applications. Journal of Object Technology 5(4), 149–169 (2006)CrossRefGoogle Scholar
  6. 6.
    Grassi, V., Mirandola, R., Sabetta, A.: UML Based Modeling and Performance Analysis of Mobile systems. In: Balsamo, S., Chiasserini, C.-F., Donatiello, L. (eds.) Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, pp. 95–104. ACM, New York (2004)CrossRefGoogle Scholar
  7. 7.
    Haugen, Ø.: Comparing UML 2.0 Interactions and MSC-2000. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 65–79. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Hélouët, L.: Distributed System Requirements Modeling with Message Sequence Charts. International Journal of Information and Software Technology 45, 701–714 (2003)CrossRefGoogle Scholar
  9. 9.
    IUT-T. Message Sequene Charts (MSC-2000). ITU-T Recommendation Z.120 (November 1999)Google Scholar
  10. 10.
    Krüger, I., Prenninger, W., Sandner, R.: Broadcast MSCs. Formal Aspects of Computing 16(3), 194–209 (2004)MATHCrossRefGoogle Scholar
  11. 11.
    Montgomery, T., Whetten, B., Basavaiah, M., Paul, S., Rastogi, N., Conlan, J., Yeh, T.: The RMTP2 protocol IETF draft. IETF (Internet Engineering Task Force) (April 1998)Google Scholar
  12. 12.
    OMG. UML Profile for Schedulability, Performance, and Time Specification. Version 1.1, formal/05-01-02 (January 2005)Google Scholar
  13. 13.
    OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). Request For Proposals OMG Document: realtime/05-02-06 (February 2005)Google Scholar
  14. 14.
    OMG. Unified Modeling Language: Superstructure. version 2.0 formal/05-07-04 (August 2005)Google Scholar
  15. 15.
    Paul, S., Sabnani, K.K., Lin, J.C.-H., Bhattacharyya, S.: Reliable Multicast Transport Protocol (RMTP). IEEE Journal On Selected Areas In Communications 15(3), 407–421 (1997)CrossRefGoogle Scholar
  16. 16.
    Rodrigues, G.N., Rosenblum, D.S., Uchitel, S.: Reliability Prediction in Model-Driven Development. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 339–354. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Yoon, G.S., Kwon, Y.R.: Extending MSC for Reactive Systems. In: IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001). IEEE Computer Society, Los Alamitos (2001)Google Scholar
  18. 18.
    Zheng, T., Khendek, F.: An Extension for MSC-2000 and Its Application. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 221–232. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Abdelouahed Gherbi
    • 1
  • Ferhat Khendek
    • 1
  1. 1.Electrical and Computer Engineering DepartmentConcordia UniversityMontrealCanada

Personalised recommendations