MDI4SE 2017 Abstracts


Full Papers
Paper Nr: 1
Title:

Patterns System for the Design of Partial Reconfigurable Applications on FPGA

Authors:

Nissaf Fredj, Mhamed Saidane, Yessine Hadj Kacem and Mohamed Abid

Abstract: During the last few years, the Dynamic Partial Reconfiguration (DPR) has been introduced to the embedded systems as a key technique that aims at improving the flexibility of Field-Programmable Gate Array (FPGA)-based system reconfiguration. However, the design of these systems is a hard task using low-level functions where the design of the hardware side precedes that of the software. Recently, Model-Driven Engineering (MDE) based approaches have emerged. They aim at simplifying the modeling of the dynamically set systems and keep a design flow where DPR application and architecture are designed in parallel. In fact, there is a lack of reusable and generic models that allow the improvement of the designers’ task and the decrease of the development costs. In order to overcome these issues we propose in this paper an additional featuring or abstraction level in the DPR design flow introduced by these approaches. Our aim is to suggest for designers a method (process and models) which allows reusing recurrent application models and sharing experience-owned knowledge. The proposed method is a patterns system which is a combination of architectural and behavioral patterns dedicated to the Dynamic Partial reconfigurable Real-Time Embedded (DP-RTE) systems.

Paper Nr: 2
Title:

Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model

Authors:

Erika Nazaruka

Abstract: Topological Functioning Model specifies functional and structural characteristics of a system in the holistic manner. Cause-and-effect relations link cause and effect functional characteristics of the system, illustrating causality in it. The Unified Modelling Language (UML) provides its own relationship kinds among elements. Traditionally, a use of UML relationships depends on analyst’s experience in UML and knowledge about the system. However, after TFM transformation meaning of cause-and-effect relations in UML model is not always clear. The paper summarizes research results on this matter and provides mapping guidelines from TFM causal relations to often used UML relationships. These guidelines can be applied in further (manual or automated) refinement of UML diagrams.

Paper Nr: 3
Title:

A Survey on Domain Knowledge Representation with Frames

Authors:

Vladislavs Nazaruks and Janis Osis

Abstract: Domain knowledge acquisition, presentation and maintenance play an important role in software development. Frame-based knowledge bases are used to support the decision-making process. We believe that a use of a knowledge base that supports model transformations is not less important. To clarify the current state of a use of frame systems we have investigated recent research in the field to find out about techniques used for knowledge acquisition, frame elements, implementation technologies, existing limitations in implementation and integration with other knowledge representation formats. The overview showed that knowledge acquisition often is manual, procedural knowledge in frames can be separated, web-enabled knowledge bases are the trend, and the frame systems can be used in hybrid knowledge bases. However, some limitations in performance and integration with other knowledge representation systems exist due to support of different world paradigms. The obtained results show that despite existing limitations, frame-based knowledge systems still are in use and researchers found ways how to adapt them to the modern requirements.

Paper Nr: 4
Title:

Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model

Authors:

Viktoria Ovchinnikova and Erika Nazaruka

Abstract: The execution model can improve analysis, testing and verification of software systems and their features right from the early stages of development. It helps to decrease risks and the possibility of future defects. One of the main goals and challenges for modern modeling tools is the ability to generate usable source code using the modeling approach. The system functionality can be shown as Topological Functioning Model and this functionality can be validated with the help of modeling tools. The paper presents an overview of modeling tools for the execution of models and the ways that they can aid software development. Four modeling tools are reviewed and compared based on their features and documentation – Cameo Simulation Toolkit, Enterprise Architect, Papyrus with Moka and BridgePoint. Two of them – Cameo Simulation Toolkit and Enterprise Architect, are analyzed and compared in practice. Results of the overview are the base for future work, where the tools will be applied for case studies.

Paper Nr: 5
Title:

Tool Support to Automate Transformations between CIM and PIM Levels

Authors:

Imane Essebaa and Salima Chantit

Abstract: The Model Driven Architecture is a specific variant of Model Driven Engineering that aims to separate different areas of concerns. This architecture is defined by three levels of abstraction, i.e. Computation Independent Model (CIM), Platform Independent Model (PIM) and Platform Specific Model (PSM) that defines the architecture of the generated code. The transition between these levels is realized throw Model Transformations which are the core of MDA. In this paper we will focus on the highest level of abstraction of MDA which is represented by Computation Independent Model and its transformation into the Platform Independent Model. Our approach is based primarily on OMG standards: UML diagrams (Unified Modeling Languages) and SBVR (Semantic Business Vocabulary and Business Rules). We represent the CIM level by an extension of Use Case Diagram to support Data Object elements, and SBVR standard, while after transformation the PIM level is modeled by Business Class Diagram and System Sequence Diagrams. The paper presents also the implementation of our approach which is an eclipse plug-in that allows to automatically transform models from CIM to PIM. We furthermore illustrate our approach with a case study of a car rental agency management application.

Paper Nr: 7
Title:

Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis

Authors:

Vladislavs Nazaruks and Jānis Osis

Abstract: Joint usage of frames and Topological Functioning Model (TFM) provides proper analysis of knowledge in the domain under study. The main issue in domain knowledge analysis is completeness of discovered knowledge. Formal representation of the knowledge in frames allows automated construction and validation of the TFM, thus allowing to discover white places in knowledge. Analysing TFM metamodels, the structure of the frame system for generation of the TFM is proposed. The frame system leads to highlighting structural knowledge, while validation of the generated TFM shows white places in behavioural knowledge. Validation of the TFM does not guarantee the complete identity of obtained knowledge to the domain, since the knowledge is based on expert opinions. Thus, analysis of the problem domain is shifted from the separate investigation of dynamic and structural aspects of the system to holistic understanding of domain phenomena. The presented results should be refined if other derived models are added.