Model Transformation For Domain Specific Architecture Languages In The Automotive Software Development

Author(s):  
Fadi Jabbour ◽  
Andreas Rausch ◽  
Arthur Strasser
Author(s):  
Martin Monperrus ◽  
Jean-Marc Jézéquel ◽  
Joël Champeau ◽  
Brigitte Hoeltzener

Model-Driven Engineering (MDE) is an approach to software development that uses models as primary artifacts, from which code, documentation and tests are derived. One way of assessing quality assurance in a given domain is to define domain metrics. We show that some of these metrics are supported by models. As text documents, models can be considered from a syntactic point of view i.e., thought of as graphs. We can readily apply graph-based metrics to them, such as the number of nodes, the number of edges or the fan-in/fan-out distributions. However, these metrics cannot leverage the semantic structuring enforced by each specific metamodel to give domain specific information. Contrary to graph-based metrics, more specific metrics do exist for given domains (such as LOC for programs), but they lack genericity. Our contribution is to propose one metric, called s, that is generic over metamodels and allows the easy specification of an open-ended wide range of model metrics.


2012 ◽  
Vol 2012 ◽  
pp. 1-11 ◽  
Author(s):  
Simona Bernardi ◽  
José Merseguer ◽  
Dorina C. Petriu

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results.


ELIV 2019 ◽  
2019 ◽  
pp. 353-358
Author(s):  
R. Schmidt-Clausen ◽  
U. Reder ◽  
R. Lange

Author(s):  
Yassine Rhazali ◽  
Asma El Hachimi ◽  
Idriss Chana ◽  
Mohammed Lahmer ◽  
Abdallah Rhattoy

The CIM, PIM, and PSM models are the main levels of the MDA approach. Model transformation is an important step in the MDA process. Indeed, in MDA there are two elementary transformation kinds: CIM to PIM transformation and PIM to PSM transformation. However, most searches propose approaches transforming PIM to PSM, since there are multiple points in common between PIM and PSM. Nevertheless, transforming CIM to PIM is rarely addressed in research because these two levels are mainly different. However, there is not a synthesis work that makes it possible to carry out a model transformation from CIM to PIM towards PSM until obtaining the code. This synthesis methodology allows controlling models transformation from CIM to PIM to PSM, indeed, up to obtaining code according the MDA. This approach makes it possible to limit the intervention of computer scientists in the life cycle of software development. Indeed, this methodology allows modeling only CIM, the business process, and then obtains the source code through successive semi-automatic transformations.


2016 ◽  
Vol 7 (1) ◽  
pp. 13-26 ◽  
Author(s):  
Neha Jain ◽  
Lalit Sen Sharma

A number of methodologies are available in literature for ontology development but as the Ontology engineering field is relatively new, it is still unclear how the existing ontology building methodologies can be applied to develop semantic ontology models. In this work, firstly an overview of various ontology building methodologies and their limitations as compared to some standard software development methodologies are presented. Then the methodology proposed by Ushold and King is selected to build an ontology in e-banking domain. The challenge in this domain is to recognize, communicate and steadily improvise the banking solutions. The ontologies are prospective candidates to assist overcome these challenges and enhance interoperability of banking data and services. The study aims to provide direction for the application of existing ontology building methodologies in the Semantic Web Development processes of e-banking domain specific models which would enable their reusability and repeatability in other projects and strengthen the adoption of semantic technologies in the domain.


2020 ◽  
Vol 15 (1-2) ◽  
pp. 18-24
Author(s):  
Martin Schleicher ◽  
Sorin Mihai Grigorescu

Sign in / Sign up

Export Citation Format

Share Document