Model driven architecture approach to logic controller design

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.

Download Full-text

Model‐driven architecture based security analysis

Systems Engineering ◽

10.1002/sys.21581 ◽

2021 ◽

Author(s):

Saoussen Mili ◽

Nga Nguyen ◽

Rachid Chelouah

Keyword(s):

Security Analysis ◽

Model Driven Architecture ◽

Model Driven

Download Full-text

Development of Fuzzy Based Autoregressive Moving Average Exogenous Input Model for Water Flow in Nigerian Kanji Hydro-Power Dam

Journal of Veterinary and Biomedical Sciences ◽

10.36108/laujoces/1202.70.0230 ◽

2021 ◽

Vol 7 (2) ◽

Author(s):

D. O Araromi

Keyword(s):

Controller Design ◽

Moving Average ◽

Model Development ◽

Autoregressive Moving Average ◽

Hydro Power ◽

Model Driven ◽

Robust Control System ◽

Input Variables ◽

Water Outflow ◽

Safety Operation

Design of robust control system for any system requires model-driven approach. Therefore, it becomes imperative to develop a dynamic model suitable for controller design on safety operation of hydropower dam for power production in Kanji dam in Nigeria. Model for reservoir flow was developed in MATLAB environment using Fuzzy Based Autoregressive Moving Average Exogenous Input (FARMAX) model structure in this study. The data used for model development covered a period of ten years (2003-2013). It consists of water inflow (WI), water outflow (WO) and spillage (S). WI and S are input variables while WO was the output variable. The model obtained using the unsmoothed data with an outlier gave -14.115%, -0.302 and 610.317 for fit, R2 and RMSE, respectively. Unsmoothed data with no outlier gave -13.802%, -0.295 and 608.643 corresponding to fit, R2 and RMSE, respectively. The model obtained using the smoothed data in the presence of an outlier gave 80.533%, 0.962 and 104.113 for fit, R2 and RMSE, respectively. Smoothed data in the absence of outlier gave 81.533%, 0.962 and 99.637 for to fit, R2 and RMSE, respectively. FARMAX has the best fit value of 87.8774% when number of rules was equal to 3 with optima model order of 3 1 4 3. The model can serve as a decision support system in evaluating the optimal reservoir operation policies in real time.

Download Full-text

Formalism Challenges of the Cougaar Model Driven Architecture

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30960-4_5 ◽

2004 ◽

pp. 57-71 ◽

Cited By ~ 4

Author(s):

Shawn A. Bohner ◽

Boby George ◽

Denis Gračanin ◽

Michael G. Hinchey

Keyword(s):

Model Driven Architecture ◽

Model Driven

Download Full-text

Productivity Evaluation of Self-Adaptive Software Model Driven Architecture

Network and Communication Technology Innovations for Web and IT Advancement ◽

10.4018/978-1-4666-2157-2.ch013 ◽

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.

Download Full-text