Model-based system verification: a formal framework for relating analyses, requirements, and tests
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
| Hi-index | 0.00 |
Multi-Paradigm Modelling (MPM) is a research field focused on solving the challenge of combining, coupling, and integrating rigorous models of some reality, at different levels of abstraction and views, using adequate modelling formalisms and semantic domains, with the goal to simulate (for optimization) or realize systems that may be physical, software or a combination of both. The key challenges are finding adequate Model Abstractions, Multi-formalism modelling, Model Transformation and the application of MPM techniques and tools to Complex Systems. MPM theories/methods/technologies have been successfully applied in the field of software architectures, control system design, model integrated computing, and tool interoperability. The fourth Workshop on Multi-Paradigm Modelling: Concepts and Tools (MPM) was held this year (2010) in Oslo. It is usually organized as a satellite event of MoDELS aimed to further the state-of-the-art as well as to define future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop. In this paper we summarize the results of this year's event.