scholarly journals Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach

2010 ◽  
pp. 167-180 ◽  
Author(s):  
Juan Ángel Pastor ◽  
Diego Alonso ◽  
Pedro Sánchez ◽  
Bárbara Álvarez
Keyword(s):  
Real Time ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Engineering Approach ◽  
Pattern Sequence ◽  
Real Time Applications ◽  
Definition Of

Model-Driven Engineering, Services and Interactive Real-Time Applications

2014 ◽  
pp. 178-202
Author(s):  
Luis Costa ◽  
Neil Loughran ◽  
Roy Grønmo
Keyword(s):  
Software Engineering ◽  
Language Development ◽  
Real Time ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Future Developments ◽  
Real Time Applications ◽  
High Level

Model-driven software engineering (MDE) has the basic assumption that the development of software systems from high-level abstractions along with the generation of low-level implementation code can improve the quality of the systems and at the same time reduce costs and improve time to market. This chapter provides an overview of MDE, state of the art approaches, standards, resources, and tools that support different aspects of model-driven software engineering: language development, modeling services, and real-time applications. The chapter concludes with a reflection over the main challenges faced by projects using the current MDE technologies, pointing out some promising directions for future developments.

Model-Driven Engineering, Services and Interactive Real-Time Applications

2011 ◽  
pp. 16-40
Author(s):  
Luis Costa ◽  
Neil Loughran ◽  
Roy Grønmo
Keyword(s):  
Software Engineering ◽  
Language Development ◽  
Real Time ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Future Developments ◽  
Real Time Applications ◽  
High Level

Model-driven software engineering (MDE) has the basic assumption that the development of software systems from high-level abstractions along with the generation of low-level implementation code can improve the quality of the systems and at the same time reduce costs and improve time to market. This chapter provides an overview of MDE, state of the art approaches, standards, resources, and tools that support different aspects of model-driven software engineering: language development, modeling services, and real-time applications. The chapter concludes with a reflection over the main challenges faced by projects using the current MDE technologies, pointing out some promising directions for future developments.

Formal Metamodeling for Secure Model-Driven Engineering

2021 ◽  
Vol 12 (2) ◽  
pp. 46-67
Author(s):  
Liliana Maria Favre
Keyword(s):  
Cloud Computing ◽  
Formal Specifications ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Systematic Development ◽  
Definition Of ◽  
Context Specific ◽  
Theoretical Foundations

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.

Sign in / Sign up

Export Citation Format

Share Document