scholarly journals Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems

2007 ◽  
Author(s):  
James H. Hill ◽  
Sumant Tambe ◽  
Aniruddha Gokhale
Keyword(s):  
Development Time ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Model Driven

scholarly journals Editorial to theme issue on model-driven engineering of component-based software systems

2017 ◽  
Vol 18 (1) ◽  
pp. 7-10 ◽  
Author(s):  
Federico Ciccozzi ◽  
Jan Carlson ◽  
Patrizio Pelliccione ◽  
Massimo Tivoli
Keyword(s):  
Software Systems ◽  
Model Driven Engineering ◽  
Theme Issue ◽  
Model Driven

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 for Early QoS Validation of Component-based Software Systems

2007 ◽  
Vol 2 (3) ◽  
Author(s):  
James H. Hill ◽  
Aniruddha Gokhale
Keyword(s):  
Software Systems ◽  
Model Driven Engineering ◽  
Model Driven

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.

Developing software systems to Big Data platform based on MapReduce model: An approach based on Model Driven Engineering

2017 ◽  
Vol 92 ◽  
pp. 30-48 ◽  
Author(s):  
S. Sousa Osvaldo ◽  
Denivaldo Lopes ◽  
Aristófanes C. Silva ◽  
Zair Abdelouahab
Keyword(s):  
Big Data ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Data Platform ◽  
Mapreduce Model

scholarly journals A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems

2021 ◽  
Vol 22 (2) ◽  
Author(s):  
Raida Elmansouri ◽  
Said Meghzili ◽  
Allaoua Chaoui
Keyword(s):  
Model Transformation ◽  
Integrated Approach ◽  
Software Systems ◽  
Sequential Process ◽  
Model Checker ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Activity Diagrams ◽  
Uml 2.0

This paper proposes an approach integrating UML 2.0 Activity Diagrams (UML2-AD) and Communicating Sequential Process (CSP) for modeling and verication of software systems. A UML2-AD is used for modeling a software system while CSP is used for verication purposes. The proposed approach consists of another way of transforming UML2-AD models to Communicating Sequential Process (CSP) models. It focuses also on checking the correctness of some properties of the transformation itself. These properties are specified using Linear Temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on Model Driven Engineering (MDE). The meta-modelling is realized using AToMPM tool while the model transformation and the correctness of its properties are realized using GROOVE tool. Finally, we illustrated this approach through a case study.

Metamodel Matching Techniques

2014 ◽  
Vol 5 (2) ◽  
pp. 70-94 ◽  
Author(s):  
Lamine Lafi ◽  
Jamel Feki ◽  
Slimane Hammoudi
Keyword(s):  
Model Transformation ◽  
Transformation Process ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Modeling Framework ◽  
Model Driven ◽  
Systems Model ◽  
Model Transformation Language ◽  
Automatic Matching ◽  
Matching Techniques

During the last decade, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are among the most representatives MDE approaches. Nowadays, it is well recognized that model transformation is at the heart of MDE approaches and, consequently represents one of the most important operations in MDE. However, despite the multitude of model transformation language proposals emerging from academic world and industry, these transformations are often manually specified; which is a tedious and error-prone task, and therefore an expensive process. Matching operation between metamodels is the keystone toward a (semi-)automatic transformation process. In this paper, the authors review metamodel matching techniques of the literature and then analyze their pros and cons in order to show how they can be useful for a semi-automatic transformation process. The result is a comparison of metamodel matching techniques, highlighting their similarities and differences in terms of information used for matching, demonstrating significant similarities between these techniques. Next, the authors compare four well-known metamodel matching techniques namely Similarity flooding, SAMT4MDE+ (extended Semi-Automatic Matching Tool for Model Driven Engineering), ModelCVS and AML (AtlanMod Matching Language) on ten couples of metamodels. For this comparison, the authors define a set of six criteria inspired from the database schema matching. One among these criteria is relevant to the quality of matching and for which we define a quality measure metrics. Furthermore, the authors develop a plug-in under Eclipse to support our comparison using ten couples of metamodels.

Sign in / Sign up

Export Citation Format

Share Document