Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach

2011 ◽  
Author(s):  
Glenn Callow ◽  
Roy Kalawsky ◽  
Graham Watson ◽  
Yuki Okuda
Keyword(s):  
Autonomous Systems ◽  
Model Transformations ◽  
Model Driven Architecture ◽  
Directional Model ◽  
Model Driven ◽  
Systems Model

Transformation of Platform-Independent Model into Platform-Specific Model in Model-Driven Architecture

2013 ◽  
pp. 88-113
Author(s):  
Yashwant Singh ◽  
Manu Sood
Keyword(s):  
Software Development ◽  
Development Strategy ◽  
Specific Model ◽  
Relational Model ◽  
Model Transformations ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Management Group ◽  
Enterprise Java Bean ◽  
Independent Model

The Model-Driven Architecture approach to software development uses transformation models for transforming Platform-Independent Models (PIM) into Platform-Specific Models (PSM) as its core software development strategy. The Model-Driven Architecture (MDA) approach and corresponding standards of the software development based on models have been initiated by the Object Management Group. In this chapter, the authors analyze the basic models of MDA (i.e., Computational Independent Model [CIM], PIM, and PSM) using a suitable example and formalize the model transformations for transforming PIM into PSM. These transformations have been illustrated through the generation of a Relational Model, an Enterprise Java Bean (EJB) Model, and a Web Model from PIM for the example under consideration, using UML profile, and keeping in mind the property of reusability of models in MDA transformations. The focus has been on the specification and formalization of rules needed to get the Relational PSM, EJB PSM, and Web PSM from PIM. A transformation tool, whose functionality of transformation of PIM into Relational PSM, EJB PSM, and Web PSM, is illustrated in this chapter.

WEAVING DEPLOYMENT ASPECTS INTO DOMAIN-SPECIFIC MODELS

2006 ◽  
Vol 16 (03) ◽  
pp. 403-424 ◽  
Author(s):  
KRISHNAKUMAR BALASUBRAMANIAN ◽  
ANIRUDDHA GOKHALE ◽  
YUEHUA LIN ◽  
JING ZHANG ◽  
JEFF GRAY
Keyword(s):  
Distributed System ◽  
Systems Development ◽  
Model Transformations ◽  
Modeling Language ◽  
Crosscutting Concerns ◽  
Model Driven Development ◽  
Model Driven ◽  
Domain Specific ◽  
Systems Model ◽  
Model Weaving

Domain-specific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., Model-Integrated Computing and Model-Driven Architecture) emphasize the use of models at all stages of system development. Decomposing problems using MDD approaches may result in a separation of the artifacts in a way that impedes comprehension. For example, a single concern (such as deployment of a distributed system) may crosscut different orthogonal activities (such as component specification, interaction, packaging and planning). To keep track of all entities associated with a component, and to ensure that the constraints for the system as a whole are not violated, a purely model-driven approach imposes extra effort, thereby negating some of the benefits of MDD. This paper provides three contributions to the study of applying aspect-oriented techniques to address the crosscutting challenges of model-driven component-based distributed systems development. First, we identify the sources of crosscutting concerns that typically arise in model-driven development of component-based systems. Second, we describe how aspect-oriented model weaving helps modularize these crosscutting concerns using model transformations. Third, we describe how we have applied model weaving using a tool called the Constraint-Specification Aspect Weaver (C-SAW) in the context of the Platform-Independent Component Modeling Language (PICML), which is a domain-specific modeling language for developing component-based systems. A case study of a joint-emergency response system is presented to express the challenges in modeling a typical distributed system. Our experience shows that model weaving is an effective and scalable technique for dealing with crosscutting aspects of component-based systems development.

scholarly journals MoDAr-WA: Tool Support to Automate an MDA Approach for MVC Web Application

Computers ◽  
2019 ◽  
Vol 8 (4) ◽  
pp. 89 ◽  
Author(s):  
Imane Essebaa ◽  
Salima Chantit ◽  
Mohammed Ramdani
Keyword(s):  
Web Application ◽  
Source Code ◽  
Specific Model ◽  
Model Transformations ◽  
Tool Support ◽  
Model Driven Architecture ◽  
Application Development ◽  
Model Driven ◽  
Constraints Model ◽  
Independent Model

Model-driven engineering (MDE) uses models during the application development process. Thus, the MDE is particularly based on model-driven architecture (MDA), which is one of the important variants of the Object Management Group (OMG). MDA aims to generate source code from abstract models through several model transformations between, and inside the different MDA levels: computation independent model (CIM), platform independent model (PIM), and platform specific model (PSM) before code. In this context, several methods and tools were proposed in the literature and in the industry that aim to automatically generate the source code from the MDA levels. However, researchers still meet many constraints—model specifications, transformation automation, and level traceability. In this paper, we present a tool support, the model-driven architecture for web application (MoDAr-WA), that implements our proposed approach, aiming to automate transformations from the highest MDA level (CIM) to the lowest one (code) to ensure traceability. This paper is a continuity of our previous works, where we automate transformation from the CIM level to the PIM level. For this aim, we present a set of meta-models, QVT and Acceleo transformations, as well as the tools used to develop our Eclipse plug-in, MoDAr-WA. In particular, we used QVT rules for transformations between models and Acceleo for generating code from models. Finally, we use MoDAr-WA to apply the proposed approach to the MusicStore system case study and compare the generated code from CIM to the original application code.

Model-Driven Architecture and Model Transformations

2015 ◽  
pp. 35-45 ◽  
Author(s):  
Djedjiga Mouheb ◽  
Mourad Debbabi ◽  
Makan Pourzandi ◽  
Lingyu Wang ◽  
Mariam Nouh ◽  
...  
Keyword(s):  
Model Transformations ◽  
Model Driven Architecture ◽  
Model Driven

Towards More Intelligent Assessment Systems

2008 ◽  
pp. 258-283
Author(s):  
Sonya Radenkovic ◽  
Nenad Krdžavac ◽  
Vladan Devedžic
Keyword(s):  
Software Engineering ◽  
Description Logics ◽  
Model Transformations ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Intelligent Analysis ◽  
Component Systems ◽  
Assessment Systems ◽  
Engineering Standards

This chapter presents a framework for intelligent analysis of the students’ knowledge in assessment systems, using description logics (DLs) reasoning techniques. The framework is based on Model Driven Architecture (MDA) software engineering standards. It starts from the IMS Question and Test Interoperability (QTI) standard and includes MDA-based metamodel and model transformations for QTI assessment systems. It also specifies an architecture for QTI assessment systems that is reusable, extensible, and facilitates interoperability between its component systems. An implementation of the QTI metamodel and the relevant example of transformations is provided in order to support developments according to the proposed framework.

scholarly journals Model-Driven Development for Pervasive Information Systems

2010 ◽  
pp. 408-438 ◽  
Author(s):  
José Eduardo Fernandes ◽  
Ricardo J. Machado ◽  
João Álvaro Carvalho
Keyword(s):  
Information Systems ◽  
Software Development ◽  
Mobile Computing ◽  
Business Models ◽  
Model Transformations ◽  
Model Driven Development ◽  
Model Driven ◽  
Systems Model ◽  
Efficiency And Effectiveness ◽  
New Business

This chapter focuses on design methodologies for pervasive information systems (PIS). It aims to contribute to the efficiency and effectiveness of software development of ubiquitous services/applications supported on pervasive information systems. Pervasive information systems are comprised of conveniently orchestrated embedded or mobile computing devices that offer innovative ways to support existing and new business models. Those systems are characterized as having a potentially large number of interactive heterogeneous embedded/mobile computing devices that collect, process, and communicate information. Also, they are the target of technological innovations. Therefore, changes in requirements or in technology require frequent modifications of software at device and system levels. Software design and evolution for those require suitable approaches that consider such demands and characteristics of pervasive information systems. Model-driven development approaches (which essentially centre the focus of development on models, and involve concepts such as Platform-Independent Models, Platform-Specific Models, model transformations, and use of established standards) currently in research at academic and industrial arenas in the design of large systems, offer potential benefits that can be applied to the design and evolution of these pervasive information systems. In this chapter, we raise issues and propose strategies related to the software development of PIS using a model-driven development perspective.

scholarly journals Model-Driven Development for Pervasive Information Systems

2011 ◽  
pp. 45-82 ◽  
Author(s):  
Jose Eduardo Fernandes ◽  
Ricardo J. Machado ◽  
Joao Alvaro Carvalho
Keyword(s):  
Information Systems ◽  
Software Development ◽  
Mobile Computing ◽  
Business Models ◽  
Model Transformations ◽  
Model Driven Development ◽  
Model Driven ◽  
Systems Model ◽  
Efficiency And Effectiveness ◽  
New Business

This chapter focuses on design methodologies for pervasive information systems (PIS). It aims to contribute to the efficiency and effectiveness of software development of ubiquitous services/applications supported on pervasive information systems. Pervasive information systems are comprised of conveniently orchestrated embedded or mobile computing devices that offer innovative ways to support existing and new business models. Those systems are characterized as having a potentially large number of interactive heterogeneous embedded/mobile computing devices that collect, process, and communicate information. Also, they are the target of technological innovations. Therefore, changes in requirements or in technology require frequent modifications of software at device and system levels. Software design and evolution for those require suitable approaches that consider such demands and characteristics of pervasive information systems. Model-driven development approaches (which essentially centre the focus of development on models, and involve concepts such as Platform-Independent Models, Platform-Specific Models, model transformations, and use of established standards) currently in research at academic and industrial arenas in the design of large systems, offer potential benefits that can be applied to the design and evolution of these pervasive information systems. In this chapter, we raise issues and propose strategies related to the software development of PIS using a model-driven development perspective.

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
Sign in / Sign up

Export Citation Format

Share Document