Modelling mobility with UML2.0 and PEPA nets

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2006, Pages 153-162

  Kloul, Leïla ^a   Küster Filipe, Juliana ^b  

^a UNIVERSITY OF VERSAILLES   (France)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

HIGH LEVEL DESCRIPTION; MOBILE APPLICATIONS; MODEL DYNAMICS; NEW FORMS; PERFORMANCE MODELLING; SEQUENCE DIAGRAMS;

MODELING LANGUAGES;

EID: 45149096597     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2006.13     Document Type: Conference Paper

References (14)

1. H. Baumeister, N. Koch, P. Kosiuczenko, and M. Wirsing. Extending activity diagrams to model mobile systems. In Proc. of NetObjectDays 2002, Erfurt, Germany, volume 2591 of LNCS, pages 278-293. Springer, 2003.
2. C. Canevet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. Analysing UML 2.0 activity diagrams in the software performance engineering process. In WOSP 2004, Short papers, pages 74-78. ACM, 2004.
3. C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens. Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques, 150(2):107-120, Mar. 2003.
4. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. PEPA nets: a structured performance modelling formalism. Performance Evaluation, 54(2):79-104, 2003.
5. V. Grassi, R. Mirandola, and A. Sabetta. UML based modeling and performance analysis of mobile systems. In Proc. of ACM MSWIM 2004, 4-6 October 2004, Venezia, Italia, pages 95-104. ACM, 2004.
6. V. Grassi, R. Mirandola, and A. Sabetta. A UML profile to model mobile systems. In T. Baar, A. Strohmeier, A. Moreira, and S. J. Mellor, editors, UML 2004 - The Unified Modeling Language. Model Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004, Proceedings, volume 3273 of LNCS, pages 128-142. Springer, 2004.
7. J. Hillston. A compositional approach to performance modelling. Cambridge University Press, 1996.
8. J. López-Grao, J. Merseguer, and J. Campos. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In WOSP'04: Proceedings of the fourth international workshop on Software and Performance, pages 25-36. ACM Press, 2004.
9. ITU-TS Recommendation Z.120 (11/99): MSC 2000. ITU-TS, Geneva, 1999.
10. M. Mukund, K. N. Kumar, and P. Thiagarajan. Netcharts: Bridging the gap between HMSCs and executable specifications. In R. Amadio and D. Lugiez, editors, Proceedings of Concur 2003 - Concurrency Theory, volume 2761 of LNCS, pages 296-310. Springer, 2003.
11. OMG. UML 2.0 Superstructure Specification. OMG document ptc/05-07-04, available from www.uml.org, August 2005.
12. OMG. UML Profile for Schedulability, Performance and Time, version 1.1, January 2005. OMG document available from www.omg.org.
13. K. Pokozy-Korenblat and C. Priami. Towards extracting π-calculus from UML sequence and state diagrams. Electronical Notes in Theoretical Computer Science, 101:51-72, 2004.
14. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 2nd edition, 2005.