Keynote: Performance Analysis of Domain Specific Visual Models
Prof. Antonio Vallecillo Professor of Computer Science, Dept. Lenguajes y Ciencias de la Computación Universidad de Málaga |
Domain specific visual languages (DSVLs) play a key role in Model-Driven Engineering. They allow domain experts to develop and to manipulate models of their systems using intuitive and graphical notations, much closer to their domain languages and at the right level of abstraction. DSVLs are normally equipped with supporting toolkits including editors, validators and code generation facilities. Many DSVLs also allow the specification of the behavioral dynamics of systems, beyond their basic structure. However, there is still the need to model, simulate and analyze other critical aspects of systems, such as their non-functional properties. In particular QoS usage and management constraints (performance, reliability, etc.) are essential characteristics of any non-trivial system that cannot be neglected. Current proposals for the specification of such kind of properties tend to require skilled knowledge of specialized languages and notations such as MARTE. This clashes with the intuitive nature of end-user DSVLs and hinders its smooth combination with them.
In this talk we present an approach to specify QoS properties in DSVLs, and show how it enables different kinds of analysis of the performance and reliability of the systems being specified. We also discuss the strategic role that model transformations play in this context, the opportunities they provide, and their current challenges for bridging the different semantic and technological domains involved in the specification and analysis of systems.
Antonio Vallecillo is Professor of Computer Science at the University of Málaga. His research interests include model-based software engineering, open distributed processing and software quality. Between 1986 and 1995 he was with the computer industry, working for Fujitsu and ICL. In 1996 he joined the University of Málaga, where he currently conducts research on software modeling and analysis. He is also involved in different standardization activities within AENOR, ISO, ITU-T and the OMG. Further information about his research activities, projects and publications can be found at www.lcc.uma.es/~av.