Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
Gherbi, A., Khendek, F.: UML Profiles for Real-Time Systems and their Applications. Journal of Object Technology 5(4), 149–169 (2006)
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)
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)
Hélouët, L.: Distributed System Requirements Modeling with Message Sequence Charts. International Journal of Information and Software Technology 45, 701–714 (2003)
IUT-T. Message Sequene Charts (MSC-2000). ITU-T Recommendation Z.120 (November 1999)
Krüger, I., Prenninger, W., Sandner, R.: Broadcast MSCs. Formal Aspects of Computing 16(3), 194–209 (2004)
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)
OMG. UML Profile for Schedulability, Performance, and Time Specification. Version 1.1, formal/05-01-02 (January 2005)
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)
OMG. Unified Modeling Language: Superstructure. version 2.0 formal/05-07-04 (August 2005)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gherbi, A., Khendek, F. (2006). Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. In: Gotzhein, R., Reed, R. (eds) System Analysis and Modeling: Language Profiles. SAM 2006. Lecture Notes in Computer Science, vol 4320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11951148_3
Download citation
DOI: https://doi.org/10.1007/11951148_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68371-1
Online ISBN: 978-3-540-68373-5
eBook Packages: Computer ScienceComputer Science (R0)