A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models

2013 ◽  
pp. 113-129 ◽  
Author(s):  
Alfredo Garro ◽  
Francesco Parisi ◽  
Wilma Russo
Keyword(s):  
Simulation Models ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Definition Of

Service-Oriented Computing and the Model-Driven Architecture

2005 ◽  
pp. 109-131 ◽  
Author(s):  
Giacomo Piccinelli ◽  
James Skene
Keyword(s):  
Unified Modeling Language ◽  
Domain Model ◽  
Modeling Language ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Service Oriented Computing ◽  
Domain Specific Modeling ◽  
Service Oriented ◽  
Definition Of ◽  
The Cost

Service-Oriented Computing (SOC) and the Model-Driven Architecture (MDA) are complementary systems development approaches with the mutual aim of reducing the cost of future systems integration. This chapter introduces the MDA concept and technologies to an SOC audience and employs these technologies to enhance support for SOC through the definition of a domain-specific modeling language for electronic services. The language is defined as an extension of the Unified Modeling Language (UML). Its semantics are defined using a domain model of electronic service systems based on concepts drawn from literature and experience with a range of commercial platforms for the deployment of electronic services.

scholarly journals Testing and Traceability Aspects in the Context of the Model Driven Architecture (MDA)

2010 ◽  
Vol 41 (1) ◽  
pp. 52-59 ◽  
Author(s):  
Andrejs Grave
Keyword(s):  
Software Development ◽  
Software Systems ◽  
Development Projects ◽  
Problem Domain ◽  
Model Driven Architecture ◽  
System Description ◽  
Model Driven ◽  
Definition Of ◽  
Description Technique

Testing and Traceability Aspects in the Context of the Model Driven Architecture (MDA) With the growth of complexity of the software systems it becomes more complicated to ensure and evaluate quality of the software being built. This paper discusses quality of the software in the context of the Model Driven Architecture. Paper analyses factors that affect quality of the software in the software development projects that are developed using MDA. As one of the important factor that affects quality of the software, is traceability. This paper provides description of the traceability property and importance of it within development of the software. Within context of this paper traceability is considered as a property of a system description technique that allows changes in one of the system descriptions to be traced to the corresponding portions of the other descriptions. This paper is focused on such aspects of the software development as testing and traceability in the context of MDA. Paper contains in review of traceability, MDA and traceability within MDA. Also paper contains description of the method for formal definition of the problem domain - called Topological functioning modeling for model driven architecture (TFMfMDA). This paper introduces method of the application of the TFM as the traceability tool. TFM as the traceability tool can be used to analyze impact of the changes and select most important tests.

Use of Business Models within Model Driven Architecture

2009 ◽  
Vol 38 (38) ◽  
pp. 119-130
Author(s):  
Erika Asnina
Keyword(s):  
Business Models ◽  
Business Processes ◽  
Use Cases ◽  
Separation Of Concerns ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Development Processes ◽  
Business Requirements ◽  
Complex Computer ◽  
Independent Model

Use of Business Models within Model Driven Architecture Model Driven Architecture is a framework dedicated for development of large and complex computer systems. It states and implements the principle of architectural separation of concerns. This means that a system can be modeled from three different but related to each other viewpoints. The viewpoint discussed in this paper is a Computation Independent one. MDA specification states that a model that shows a system from this viewpoint is a business model. Taking into account transformations foreseen by MDA, it should be useful for automation of software development processes. This paper discusses an essence of the Computation Independent Model (CIM) and the place of business models in the computation independent modeling. This paper considers four types of business models, namely, SBVR, BPMN, use cases and Topological Functioning Model (TFM). Business persons use SBVR to define business vocabularies and business rules of the existing and planned domains, BPMN to define business processes of both existing and planned domains, and use cases to define business requirements to the planned domain. The TFM is used to define functionality of both existing and planned domains. This paper discusses their capabilities to be used as complete CIMs with formally defined conformity between planned and existing domains.

scholarly journals Model‐driven architecture based security analysis

2021 ◽  
Author(s):  
Saoussen Mili ◽  
Nga Nguyen ◽  
Rachid Chelouah
Keyword(s):  
Security Analysis ◽  
Model Driven Architecture ◽  
Model Driven

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.

Agents in bioinformatics

2005 ◽  
Vol 20 (2) ◽  
pp. 117-125 ◽  
Author(s):  
MICHAEL LUCK ◽  
EMANUELA MERELLI
Keyword(s):  
Data Analysis ◽  
Simulation Models ◽  
Biological Data ◽  
System Modelling ◽  
Agent Based Simulation ◽  
Huge Amount ◽  
Agent Based ◽  
Information Agents ◽  
New Knowledge ◽  
Definition Of

The scope of the Technical Forum Group (TFG) on Agents in Bioinformatics (BIOAGENTS) was to inspire collaboration between the agent and bioinformatics communities with the aim of creating an opportunity to propose a different (agent-based) approach to the development of computational frameworks both for data analysis in bioinformatics and for system modelling in computational biology. During the day, the participants examined the future of research on agents in bioinformatics primarily through 12 invited talks selected to cover the most relevant topics. From the discussions, it became clear that there are many perspectives to the field, ranging from bio-conceptual languages for agent-based simulation, to the definition of bio-ontology-based declarative languages for use by information agents, and to the use of Grid agents, each of which requires further exploration. The interactions between participants encouraged the development of applications that describe a way of creating agent-based simulation models of biological systems, starting from an hypothesis and inferring new knowledge (or relations) by mining and analysing the huge amount of public biological data. In this report we summarize and reflect on the presentations and discussions.

Model driven architecture approach to logic controller design

2018 ◽  
Author(s):  
Grzegorz Łabiak ◽  
Grzegorz Bazydło
Keyword(s):  
Controller Design ◽  
Model Driven Architecture ◽  
Model Driven

scholarly journals Generating Collaborative Systems for Digital Libraries: a Model-Driven Approach

2010 ◽  
Vol 29 (4) ◽  
pp. 171 ◽  
Author(s):  
Alessio Malizia ◽  
Paolo Bottoni ◽  
S. Levialdi
Keyword(s):  
Digital Library ◽  
User Interfaces ◽  
Digital Libraries ◽  
Automatic Generation ◽  
Visual Language ◽  
Domain Experts ◽  
Model Driven ◽  
Neutral Models ◽  
Definition Of ◽  
High Level

The design and development of a digital library involves different stakeholders, such as: information architects, librarians, and domain experts, who need to agree on a common language to describe, discuss, and negotiate the services the library has to offer. To this end, high-level, language-neutral models have to be devised. Metamodeling techniques favor the definition of domainspecific visual languages through which stakeholders can share their views and directly manipulate representations of the domain entities. This paper describes CRADLE (Cooperative-Relational Approach to Digital Library Environments), a metamodel-based framework and visual language for the definition of notions and services related to the development of digital libraries. A collection of tools allows the automatic generation of several services, defined with the CRADLE visual language, and of the graphical user interfaces providing access to them for the final user. The effectiveness of the approach is illustrated by presenting digital libraries generated with CRADLE, while the CRADLE environment has been evaluated by using the cognitive dimensions framework.

scholarly journals Formalism Challenges of the Cougaar Model Driven Architecture

2004 ◽  
pp. 57-71 ◽  
Author(s):  
Shawn A. Bohner ◽  
Boby George ◽  
Denis Gračanin ◽  
Michael G. Hinchey
Keyword(s):  
Model Driven Architecture ◽  
Model Driven

scholarly journals Productivity Evaluation of Self-Adaptive Software Model Driven Architecture

2014 ◽  
pp. 191-210
Author(s):  
Basel Magableh ◽  
Stephen Barrett
Keyword(s):  
Dynamic Decision Making ◽  
Development Effort ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Software Model ◽  
Source Line ◽  
Formal Procedure ◽  
Context Dependent ◽  
Application Requirements ◽  
Self Adaptive

Anticipating context changes using a model-based approach requires a formal procedure for analysing and modelling context-dependent functionality and stable description of the architecture which supports dynamic decision-making and architecture evolution. This article demonstrates the capabilities of the context-oriented component-based application model-driven architecture (COCA-MDA) to support the development of self-adaptive applications; the authors describe a state-of-the-art case study and evaluate the development effort involved in adopting the COCA-MDA in constructing the application. An intensive analysis of the application requirements simplified the process of modelling the application’s behavioural model; therefore, instead of modelling several variation models, the developers modelled an extra-functionality model. COCA-MDA reduces the development effort because it maintains a clear separation of concerns and employs a decomposition mechanism to produce a context-oriented component model which decouples the applications’ core functionality from the context-dependent functionality. Estimating the MDA approach’s productivity can help the software developers select the best MDA-based methodology from the available solutions. Thus, counting the source line of code is not adequate for evaluating the development effort of the MDA-based methodology. Quantifying the maintenance adjustment factor of the new, adapted, and reused code is a better estimate of the development effort of the MDA approaches.

Sign in / Sign up

Export Citation Format

Share Document