Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing - MDHPCL '12

Systems and applications aligned with new paradigms such as cloud computing and internet of the things are becoming more complex and interconnected, expanding the areas in which they are susceptible to attacks. Their security can be addressed by using model-driven engineering (MDE). In this context, specific IoT or cloud computing metamodels emerged to support the systematic development of software. In general, they are specified through semiformal metamodels in MOF style. This article shows the theoretical foundations of a method for automatically constructing secure metamodels in the context of realizations of MDE such as MDA. The formal metamodeling language Nereus and systems of transformation rules to bridge the gap between formal specifications and MOF are described. The main contribution of this article is the definition of a system of transformation rules called NEREUStoMOF for transforming automatically formal metamodeling specifications in Nereus to semiformal-MOF metamodels annotated in OCL.

Download Full-text

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09

10.1145/1656485 ◽

2009 ◽

Keyword(s):

International Workshop ◽

Verification And Validation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Applying model-driven engineering to high-performance computing: Experience report, lessons learned, and remaining challenges

Journal of Computer Languages ◽

10.1016/j.cola.2019.100919 ◽

2019 ◽

Vol 55 ◽

pp. 100919 ◽

Cited By ~ 2

Author(s):

Benoît Lelandais ◽

Marie-Pierre Oudot ◽

Benoît Combemale

Keyword(s):

High Performance Computing ◽

High Performance ◽

Lessons Learned ◽

Experience Report ◽

Model Driven Engineering ◽

Model Driven ◽

Performance Computing

Download Full-text

Application of model driven engineering in cloud computing

Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing - ICC '17 ◽

10.1145/3018896.3036380 ◽

2017 ◽

Cited By ~ 1

Author(s):

Abdul Wahab Muzaffar ◽

Shumyla Rasheed Mir ◽

Muhammad Waseem Anwar ◽

Adeela Ashraf

Keyword(s):

Cloud Computing ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69073-3_16 ◽

2008 ◽

pp. 145-150

Author(s):

Benoit Baudry ◽

Alain Faivre ◽

Sudipto Ghosh ◽

Alexander Pretschner

Keyword(s):

International Workshop ◽

Verification And Validation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing

Lecture Notes in Computer Science - SDL 2011: Integrating System and Software Modeling ◽

10.1007/978-3-642-25264-8_19 ◽

2011 ◽

pp. 247-261 ◽

Cited By ~ 7

Author(s):

Marc Palyart ◽

David Lugato ◽

Ileana Ober ◽

Jean-Michel Bruel

Keyword(s):

High Performance Computing ◽

High Performance ◽

Model Driven Engineering ◽

Model Driven ◽

Performance Computing

Download Full-text

Introduction to the First International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008)

Business Process Management Workshops - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-00328-8_17 ◽

2009 ◽

pp. 173-175

Author(s):

Cesare Pautasso ◽

Jana Koehler

Keyword(s):

Business Process ◽

Business Process Management ◽

Process Management ◽

International Workshop ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

GUEST EDITORS' INTRODUCTION

International Journal of Cooperative Information Systems ◽

10.1142/s0218843011002213 ◽

2011 ◽

Vol 20 (02) ◽

pp. 137-142

Author(s):

VALERIA DE CASTRO ◽

JUAN MANUEL VARA ◽

WILLEM-JAN VAN DEN HEUVEL

Keyword(s):

International Workshop ◽

Model Driven Engineering ◽

Special Issue ◽

Service Engineering ◽

Model Driven ◽

Research Challenges ◽

Open Research

This article is an introduction to the Special Issue on Model-Driven Service Engineering. The issue contains three of the best papers selected from the 1st and 2nd International Workshop on Model-Driven Service Engineering (MoSE). In this introduction, we motivate and expose what we consider as boarding open research challenges coming from the combination of this two emerging disciplines such as Model-Driven Engineering and Service Engineering.

Download Full-text