The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
While several benefits of using models in software engineering have been observed in practice, the adoption of modeling remains low. Multiple challenges of using models, especially related to tools, have been reported both for industrial use and for education. However, there is a lack of systematic, empirical investigations of the challenges in modeling education and their relation to industrial challenges...
We focus on dynamic model usability and utility, performed throughout system engineering. The dynamic model is designed in relation to the system use scenarios. We generate then automatically the static models (data model, component model) from the dynamic one. A dynamic functional modeling based method is proposed to generate automatically the static and the dynamic organic architecture of a system...
NoSQL databases have been emerged in order to handle very huge amount of data granting fault tolerance availability and scalability. In these contexts Relational databases are usually unsuitable to store data for this reason the adaptation and migration from a relational database to a NoSQL database could be favorable. In this paper we proposes a migration system of data from Relational to a NoSQL...
Model slicers are tools which provide two services: (a) finding parts of interest in a model and (b) displaying these parts somehow or extract these parts as a new, autonomous model, which is referred to as slice or sub-model. This paper focuses on the creation of editable slices, which can be processed by model editors, analysis tools, model management tools etc. Slices are useful if, e.g., only...
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
This paper presents the design and usage of a language for Conceptual Data Modeling in Model-based Systems Engineering. Based on an existing analysis of presently employed data modeling languages, a new conceptual data modeling language is defined that brings together characteristic features from software engineering languages, features from languages classically employed for knowledge engineering,...
The transcription factor NF-κB is a biological component that is central to the regulation of genes involved in the innate immune system. Dysregulation of the pathway is known to be involved in a large number of inflammatory diseases. Although considerable research has been performed since its discovery in 1986, we are still not in a position to control the signalling pathway, and thus limit the effects...
The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions...
Requirements traceability is handled in order to help stakeholders understanding existing dependencies between requirements and development artifacts. In this paper, we aim at taking advantage from system engineering and model-driven engineering field in order to automatically generate trace links from SYSML models. Our approach establishes a transformation of requirement diagrams and design diagrams...
Software is being operated in a combined form in different fields. Multi-operated software is designed with a configuration in cooperation with others to achieve a goal. Design should be presented to be able to handle different events between systems to configure cooperation. For this type of design, it takes long to generate products regarding the action between systems in design phase. Moreover,...
We pose a problem with the aim to design a complete set of data consistency checking rules. The context domain is assumed to be a set of entities characterized by property values and a set of relations among entities. The source data, called observations, are assumed to be fused into a network of entities, further referred to as the network model. Using the bounded model checker Alloy, we focus on...
Programming multi-cores based Digital Signal Processors (DSP) becomes increasingly complex. This complexity is related to the rapid evaluation of Telecommunication and multimedia systems accompanied by a rapid increase of user requirements in terms of latency, power computation, consumption, etc. Workflow showed to be a successful approach for programming the applications based on NoC-DSP platforms...
Although the database schemas are an integral part of information systems, the use of software product lines has been mainly studied for the production of executable code. The impact on data management and in particular the database schemas are poorly documented and little studied in the literature. The paper is an attempt to explore some of the issues of the modeling and implementation of the variability...
OntoUML is an ontologically well-founded conceptual modelling language that distinguishes various types of classifiers and relations providing precise meaning to the modelled entities. Efforts arise to incorporate OntoUML into the Model-Driven Development approach as a conceptual modelling language for the PIM of application data. In a prequel paper, we have introduced and outlined our approach for...
Nowadays, many approaches have been proposed to design and develop Data Warehouse (DW). However, there are neither standard method that addresses the design of all DW layers nor a software process prescribed for this kind of engineering domain. Generally, most of those approaches are interested in a particular aspect of DW (Storage, ETL processing, OLAP analysis, reporting, etc.) and don't cover its...
Model Transformations is the core of Model Driven Architecture; several works have been focused on transformations between the different models that compose the MDA approach: the Computation Independent Model (CIM), the Platform Independent Model (PIM) and the Platform Specific Model (PSM). In this paper, we propose a new method of transformations between CIM and PIM levels; this approach aims to...
The use of virtual patching tools to prevent attackers exploiting vulnerabilities of a web application is a widely adopted defensive approach. The constant evolution of applications, and thereby of attack techniques, requires a big maintenance and tuning effort to ensure that the remediation patches are working correctly. We put forward in this paper a tool supported process here security requirements...
Existing data modeling notations and methods of database development are dedicated to technicians. At the same time, there is a tendency to involve the end-user in the development process. This requires the creation of new modeling notations and development methods for databases area. These tools should be understandable both to end-users and to developers. Because of unified understanding, it is...
Mosaik is a co-simulation framework enabling automatic simulations of Smart Grids using simulation tools. This paper gives insights into the communication between Mosaik and several simulation tools and explains its realization. A interface for DIgSILENT PowerFactory and Matlab is implemented. The source code is made available for further implementation by other researchers. A case study demonstrates...
Critical infrastructures are the set of essential systems for the normal functioning of our modern society. Their failure could have severe consequences on economy and population and may undermine security. Indeed, their protection is a requirement. Nowadays Critical infrastructures are becoming tightly coupled and interdependent due to the exchange of products and services, which leads to the hardness...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.