Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brooks, F.P.: No silver bullet: Essence and accidents of software engineering. Computer 20(4), 10–19 (1987)
Hebig, R., Seibel, A., Giese, H.: On the unification of megamodels. In: MPM Proceedings, ECEASST (2011)
Asztalos, M., Syriani, E., Wimmer, M., Kessentini, M.: Towards transformation rule composition. In: MPM Proceedings, ECEASST (2011)
Aranega, V., Etien, A., Dekeyser, J.L.: Using an alternative trace for QVT. In: MPM Proceedings, ECEASST (2011)
Mészáros, T., Levendovszky, T., Mezei, G.: Active model patterns with interactive model transformation. In: MPM Proceedings, ECEASST (2011)
Kerzhner, A., Paredis, C.: Model-based system verification: A formal framework for relating analyses, requirements, and tests. In: MPM Proceedings, ECEASST (2011)
Herold, S.: Compliance between architecture and design models of component-based systems. In: MPM Proceedings, ECEASST (2011)
Asztalos, M., Ekler, P., Lengyel, L., Levendovszky, T., Mezei, G., Mészáros, T.: Automated verification by declarative description of graph rewriting-based model transformations. In: MPM Proceedings, ECEASST (2011)
Van Der Straeten, R.: Towards a methodology for semantics specification of domain-specific models through properties. In: MPM Proceedings, ECEASST (2011)
Braatz, B., Brandt, C.: Rule-based integration of domain-specific modelling languages. In: MPM Proceedings, ECEASST (2011)
Meyers, B., Wimmer, M., Cicchetti, A., Sprinkle, J.: A generic in-place transformation-based approach to structured model co-evolution. In: MPM Proceedings, ECEASST 2011
Zellag, K., Vangheluwe, H.: Modelling- and simulation-based design of multi-tier systems. In: MPM Proceedings, ECEASST 2011
Neema, S., Bapty, T., Karsai, G., Sztipanovits, J., Corman, D., Herm, T., Stuart, D.: A multi-modeling language suite for cyber physical systems. In: MPM Proceedings, ECEASST 2011
Kühne, T.: A visual notation for declarative behaviour specification. In: MPM Proceedings, ECEASST 2011
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vangheluwe, H., Amaral, V., Hardebolle, C., Lengyel, L. (2011). Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools. In: Dingel, J., Solberg, A. (eds) Models in Software Engineering. MODELS 2010. Lecture Notes in Computer Science, vol 6627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21210-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-21210-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21209-3
Online ISBN: 978-3-642-21210-9
eBook Packages: Computer ScienceComputer Science (R0)