[Zurück]

M. Fleck, L. Berardinelli, P. Langer, T. Mayerhofer, V. Cortellessa:
"Resource Contention Analysis of Service-Based Systems through fUML-Driven Model Execution";
Vortrag: 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes, Miami; 29.09.2013; in: "Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR, Vol-1074 (2013), ISSN: 1613-0073; S. 6 - 15.

Model-driven software engineering not only enables the efficient development of software but also facilitates the analysis of non-functional properties (NFPs). As UML, the most adopted modeling language for designing software, lacks in formal execution semantics, current approaches translate UML models into dedicated analysis models, before NFPs can be computed. However, such transformations introduce additional complexity for the users and developers of analysis tools. To avoid this additional complexity, we show how the analysis of certain NFPs can be performed solely based on UML models without translating them into, e.g., queuing networks. Therefore, we leverage the execution semantics of fUML, a recent OMG standard, to gain execution traces from UML models and, based on these traces, compute indices, such as response time, taking into account the contention of resources, as well as different resource management configurations, such as balancing and scaling strategies.

Model-driven software engineering not only enables the efficient development of software but also facilitates the analysis of non-functional properties (NFPs). As UML, the most adopted modeling language for designing software, lacks in formal execution semantics, current approaches translate UML models into dedicated analysis models, before NFPs can be computed. However, such transformations introduce additional complexity for the users and developers of analysis tools. To avoid this additional complexity, we show how the analysis of certain NFPs can be performed solely based on UML models without translating them into, e.g., queuing networks. Therefore, we leverage the execution semantics of fUML, a recent OMG standard, to gain execution traces from UML models and, based on these traces, compute indices, such as response time, taking into account the contention of resources, as well as different resource management configurations, such as balancing and scaling strategies.

fUML, non-functional properties, model-driven engineering, cloud-based system

http://publik.tuwien.ac.at/files/PubDat_220918.pdf

Projektleitung Gerti Kappel:
Advanced software-based seRvice provisioning and migraTIon of legacy Software