Distributed real-time behavioral requirements modeling using extended UML/SPT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4320 LNCS, Issue , 2006, Pages 34-48

  Gherbi, Abdelouahed ^a   Khendek, Ferhat ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CUSTOMIZABLE; DEVELOPMENT PROCESS; DISTRIBUTED REAL TIME SYSTEM; DOMAIN MODEL; META MODEL; MODELING LANGUAGES; MULTICAST COMMUNICATION; MULTICASTS; NON-FUNCTIONAL REQUIREMENTS; OBJECT ORIENTED; RELIABLE MULTICAST TRANSPORT PROTOCOLS; REQUIREMENTS MODELING; SCHEDULABILITY; UML PROFILES;

MULTICASTING; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; SYSTEMS ANALYSIS;

REAL TIME SYSTEMS;

EID: 79952276141     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11951148_3     Document Type: Conference Paper

References (18)

1. Nawal Addouche, Christian Antoine, and Jacky Montmain. UML Models for Dependability Analysis of Real-time Systems. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, pages 5209-5214, The Hague, Netherlands, 10-13 October 2004. IEEE.
2. Frank Budinsky, David Steinberg, Ed Merks, Raymond Ellersick, and Timothy J. Grose. Eclipse modeling framework : a developer's guide. The eclipse series. Addison-Wesley, 2004.
3. Vittorio Cortellessa and Antonio Pompei. Towards a UML Profile for QoS: a Contribution in the Reliability Domain. In WOSP '04: Proceedings of the 4th international workshop on Software and performance, pages 197-206, New York, NY, USA, 2004. ACM Press.
4. th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pages 343-350. IEEE Computer Society, 2006.
5. Abdelouahed Gherbi and Ferhat Khendek. UML Profiles for Real-Time Systems and their Applications. Journal of Object Technology, 5(4):149-169, May-June 2006.
6. Vincenzo Grassi, Raffaela Mirandola, and Antonino Sabetta. UML Based Modeling and Performance Analysis of Mobile systems. In Simonetta Balsamo, Carla-Fabiana Chiasserini, and Lorenzo Donatiello, editors, Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, pages 95-104. ACM, 2004.
7. Øystein Haugen. Comparing UML 2.0 Interactions and MSC-2000. In System Analysis and Modeling, 4th International SDL and MSCWorkshop, (SAM' 2004), volume 3319 of Lecture Notes in Computer Science, pages 65-79, Ottawa, Canada, June 2005. Springer.
8. L. Hélouët. Distributed System Requirements Modeling with Message Sequence Charts. International Journal of Information and Software Technology, 45:701-714, 2003.
9. IUT-T. Message Sequene Charts (MSC-2000). ITU-T Recommendation Z.120, November 1999.
10. Ingolf Krüger, Wolfgang Prenninger, and Robert Sandner. Broadcast MSCs. Formal Aspects of Computing, 16(3):194-209, 2004.
11. T. Montgomery, B. Whetten, M. Basavaiah, S. Paul, N. Rastogi, J. Conlan, and T. Yeh. The RMTP2 protocol IETF draft. IETF (Internet Engineering Task Force), April 1998.
12. OMG. UML Profile for Schedulability, Performance, and Time Specification. Version 1.1, formal/05-01-02, January 2005.
13. OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). Request For Proposals OMG Document: realtime/05-02-06, Fubruary 2005.
14. OMG. Unified Modeling Language: Superstructure. version 2.0 formal/05-07-04, August 2005.
15. Sanjoy Paul, Krishan K. Sabnani, John C.-H. Lin, and Supratik Bhattacharyya. Reliable Multicast Transport Protocol (RMTP). IEEE Journal On Selected Areas In Communications, 15(3):407-421, April 1997.
16. Genana Nunes Rodrigues, David S. Rosenblum, and Sebastian Uchitel. Reliability Prediction in Model-Driven Development. In Proc. ACM/IEEE 8th Int'l Conf. on Model Driven Engineering Languages and Systems, Springer Lecture Notes in Computer Science 3713, pages 339-354, 2005.
17. Gwang Sik Yoon and Yong Rae Kwon. Extending MSC for Reactive Systems. In IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC'2001). IEEE Computer Society, 2001.
18. Tong Zheng and Ferhat Khendek. An Extension for MSC-2000 and Its Application. In Edel Sherratt, editor, Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, (SAM 2002), volume 2599 of Lecture Notes in Computer Science, pages 221-232. Springer, 2003.