Performance evaluation of UML design with Stochastic Well-formed Nets

Journal of Systems and Software

Volumn 80, Issue 11, 2007, Pages 1843-1865

  Bernardi, Simona ^a   Merseguer, José ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Model driven architecture; Software performance engineering; Stochastic Well formed Net; UML profile for schedulability performance and time; Unified modeling language

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; SOFTWARE ARCHITECTURE; UNIFIED MODELING LANGUAGE;

MODEL DRIVEN ARCHITECTURE; PERFORMANCE METRICS; SCHEDULABILITY PERFORMANCE;

SOFTWARE DESIGN;

EID: 34548627213     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.02.029     Document Type: Article

References (35)

1. Balbo, G., 1995. On the success of stochastic Petri nets. In: Proceedings of the 6th International Workshop of Petri Nets and Performance Models (PNPM95), Durham, NC, USA, pp. 2-9.
2. Ballarini P., Bernardi S., and Donatelli S. Validation and evaluation of a software solution for fault tolerant distributed synchronization. Proceedings of International Conference on Dependable Systems and Networks (DSN) (2002), IEEE Computer Society, Los Alamitos, CA, USA 773-782
3. Ballarini P., Capra L., Franceschinis G., and Pierro M.D. Memory fault tolerance software mechanisms: design and configuration support through SWN models. Third International Conference on Application of Concurrency to System Design (ACSD'03) (2003), IEEE Computer Society, Los Alamitos, CA, USA 111-121
4. Balsamo S., and Marzolla M. A simulation-based approach to software performance modeling. Proceedings of ESEC/FSE (2003), ACM, Helsinky, Finland 363-366
5. Baresi L., and Pezzè M. On formalizing UML with high-level Petri nets. In: Agha G., De Cindio F., and Rozenberg G. (Eds). Concurrent Object-Oriented Programming and Petri Nets. State of the Art. Advances in Petri Nets. Lecture Notes in Computer Science (LNCS) vol. 2001 (2001), Springer-Verlag, Heidelberg 276-304
6. Bernardi S., and Merseguer J. QoS assessment via stochastic analysis. IEEE Internet Computing 10 3 (2006) 32-42
7. Bernardi S., Donatelli S., and Horváth A. Implementing compositionality for stochastic Petri nets. International Journal on Software Tools for Technology Transfer (STTT) 3 4 (2001) 417-430
8. Bernardi S., Donatelli S., and Merseguer J. From UML sequence diagrams and statecharts to analysable Petri net models. Proceedings of the 3rd Workshop on Software and Performance (WOSP'02) (2002), ACM, Roma, Italy 35-45
9. Bobbio, A., Bologna, S., Ciancamerla, E., Franceschinis, G., Gaeta, R., Minichino, M., Portinale, L., 2001. Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller. In: Proceedings of European Safety and Dependability Conference, pp. 411-418.
10. Bondavalli A., Dal Cin M., Latella D., Majzik I., Pataricza A., and Savoia G. Dependability analysis in the early phases of UML-based system design. International Journal of Computer Systems Science & Engineering 16 5 (2001) 265-275
11. Bouabana-Tebibel, T., Belmesk, M., 2004. Formalization of UML object dynamics and behavior. In: IEEE International Conference on Systems, Man and Cybernetics, pp. 4971-4976.
12. Canevet C., Gilmore S., Hillston J., Prowse M., and Stevens P. Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques 150 2 (2003) 107-120
13. Chiola G., Dutheillet C., Franceschinis G., and Haddad S. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42 11 (1993) 1343-1360
14. Chiola G., Dutheillet C., Franceschinis G., and Haddad S. A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science B (Logic, Semantics and Theory of Programming) 176 1-2 (1997) 39-65
15. Cortellessa V., and Mirandola R. Deriving a queueing network based performance model from UML diagrams. Proceedings of the Second International Workshop on Software and Performance (WOSP2000) (2000), ACM, Ottawa, Canada 58-70
16. De Miguel M., Lambolais T., Hannouz M., Betge S., and Piekarec S. UML extensions for the specification of latency constraints in architectural models. Proceedings of the Second International Workshop on Software and Performance (WOSP2000) (2000), ACM, Ottawa, Canada 83-88
17. Franceschinis G., Bertoncello C., Bruno G., Lungo-Vaschetti G., and Pigozzi A. SWN models of a contact center: a case study. 9th International Workshop on Petri Nets and Performance Models (PNPM'01) (2001), IEEE Computer Society, Los Alamitos, CA, USA 39-48
18. Gaeta R., and Chiola G. Efficient simulation of SWN models. Proceedings of the Sixth International Workshop on Petri Nets and Performance Models (1995), IEEE Computer Society, Washington, DC, USA 137-147
19. Grassi, V., Mirandola, R., Sabetta, A., 2005. From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP'05), pp. 25-36.
20. Gu G., and Petriu D. From UML to LQN by XML algebra-based model transformations. Proceedings of the Fifth International Workshop on Software and Performance (WOSP'05) (2005), ACM, Palma de Mallorca, Spain 99-110
21. Haugen O., Husa K., Runde R., and Stolen K. STAIRS: towards formal design with sequence diagrams. Software & System Modeling 4 4 (2005) 255-267
22. Hu, Z., Shatz, S.M., 2004. Mapping UML diagrams to a Petri net notation for system simulation. In: Maurer, F., Ruhe, G. (Eds.), Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), Banff, Alta., Canada, pp. 213-219.
23. Jansen D.N., Hermanns H., and Katoen J.-P. A QoS-oriented extension of UML statecharts. Proceedings of the 6th International UML Conference. Lecture Notes in Computer Science vol. 2863 (2003), Springer 76-91
24. Lazowska E., Zahorjan J., Scott Graham G., and Sevcik C. Quantitative System Performance: Computer System Analysis Using Queueing Network Models (1984), Prentice-Hall
25. López Grao J.P., Merseguer J., and Campos J. From UML activity diagrams to stochastic Petri nets: application to software performance engineering. Proceedings of the Fourth International Workshop on Software and Performance (WOSP'04) (2004), ACM, Redwood City, CA, USA 25-36
26. Merseguer, J., 2003. Software performance engineering based on UML and Petri nets. Ph.D. thesis, University of Zaragoza, Spain, March.
27. Merseguer J., and Campos J. Exploring roles for the UML diagrams in software performance engineering. Proceedings of the 2003 International Conference on Software Engineering Research and Practice (2003), CSREA Press, Las Vegas, Nevada, USA 43-47
28. Merseguer J., Bernardi S., Campos J., and Donatelli S. A compositional semantics for UML state machines aimed at performance evaluation. In: Silva M., Giua A., and Colom J.M. (Eds). WODES02: 6th International Workshop on Discrete Event Systems (2002), IEEE Computer Society, Zaragoza, Spain 295-302
29. Merseguer J., Campos J., and Mena E. Analysing Internet software retrieval systems: modeling and performance comparison. Wireless Networks: The Journal of Mobile Communication, Computation and Information 9 3 (2003) 223-238
30. OMG-UML, 2005. Unified Modeling Language: Superstructure Object Management Group, version 2.0, formal/05-07-04. http://www.omg.org, July 2005.
31. OMG-UML-SPT, 2005. UML Profile for Schedulability, Performance and Time. Object Management Group, version 1.1, formal/05-01-02, January 2005.
32. Pettit IV R., and Gomaa H. Modeling behavioral patterns of concurrent software architectures using Petri nets. 4th Working IEEE/IFIP Conference on Software Architecture (WICSA) (2004), IEEE Computer Society, Oslo, Norway 57-68
33. Saldhana J., and Shatz S. UML diagrams to object Petri net models: an approach for modeling and analysis. Twelfth International Conference on Software Engineering and Knowledge Engineering (2000), Knowledge Systems Institute, Chicago, IL, USA 103-110
34. Whittle J. Specifying precise use cases with use case charts. In: Bruel J.-M. (Ed). Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005. Lecture Notes in Computer Science vol. 3844 (2006), Springer
35. Woodside M., Petriu D., Petriu D., Shen H., Israr T., and Merseguer J. Performance by unified model analysis (PUMA). Fifth International Workshop on Software and Performance (WOSP'05) (2005), ACM, Palma, Illes Balears, Spain 1-12