In this paper, we propose a general architecture for designing language servers for hybrid modeling languages, that is, modeling languages that contain both textual and graphical representations. The architecture consists of a textual language server, a ...

The design and implementation of safety-critical human-machine interface (HMI) software typically follow the model-driven development process to guarantee secure reliability pragmatically. Systematic and comprehensive modeling for interactions involved ...

We present Norma, a tool for the modeling and analysis of Relay-based Railways Interlocking Systems (RRIS). Norma is the result of a research project funded by the Italian Railway Network, to support the reverse engineering and migration to ...

Networks effectively capture interactions among components of complex systems, and have thus become a mainstay in many scientific disciplines. Growing evidence, especially from biology, suggest that networks undergo changes over time, and in ...

image image

Differential edges in networks of 358 cancer related genes in two sub types of breast cancer, based on data from the Cancer Genome Atlas (TCGA). The networks show more subtype‐specific edges in ER+cancer (left) than ER‐ (right).

General-purpose languages (GPLs) have reached a point where they can be easily learned with little background in computing. This has allowed them to cultivate users rapidly, and incentivized the creation of IDEs (Integrated Development Environments) and ...

Various studies conducted in the context of model-driven engineering (MDE) identified insufficient collaboration support of modeling tools. In the course of this paper, we present a research agenda to improve collaborative graphical modeling with a ...

Producing graphical views from software and system models is often desirable for communication and comprehension purposes, even when graphical model editing capabilities are not required - because the preferred editable concrete syntax of the models is ...

Along with the beginning of the big data era, it becomes difficult to capture, store, search, share, transfer, analyze, and visualize bigger data using the traditional data processing applications. Therefore, the problem is very rigid for many larger ...

This paper presents the syntax and semantics of the DEVS-Driven Modeling Language (DDML), a simulation modeling formalism that combines visual modeling, discrete event simulation and formal analysis. The use of visual notations makes DDML highly ...

This work proposes a novel methodology based on the Business Process Modeling Notation (BPMN) standard capable of graphically modeling business rules. A set of new representation patterns allows business analysts to map processes described through BPMN ...

In the research area of spoken language dialogue systems there are many ways for modeling dialogues. The dialog model's particular structure depends on the algorithm used to interpret it. In most cases a dialogue's model is quite difficult to understand ...

Cheap and energy efficient wireless technologies have the potential to usher in an era of pervasive and ubiquitous patient monitoring. Some applications which could take advantage of pervasive monitoring are smart alarms and clinical decision support (...

The use of workflow is a complicated process and non-specialist user need a visualization platform for workflow application. In this paper, a graphical modeling platform for workflow design is proposed. This platform provides complete solutions to ...

The graphical UI-builder is a type of tool that has been implemented for many programming frameworks and programming languages, and it utilizes many useful and intuitive concepts facilitating easy UI-modeling and thus faster development of applications. ...

The Human Centered Design (HCD) of Partial Autonomous Driver Assistance Systems (PADAS) requires Digital Human Models (DHMs) of human control strategies for simulations of traffic scenarios. The scenarios can be regarded as problem situations with one ...

The Human Centered Design (HCD) of Partial Autonomous Driver Assistance Systems (PADAS) requires Digital Human Models (DHMs) of human control strategies for simulating traffic scenarios. We describe first results to <em>model lateral and longitudinal ...

The purpose of this study is to clarify a method for generating a "priority order for improvement" and "specific ideas for improvement" to support the improvement of the motivation of employees, and to verify the effectiveness of the method by a ...

We develop and evaluate an approach to causal modeling based on time series data, collectively referred to as "grouped graphical Granger modeling methods." Graphical Granger modeling uses graphical modeling techniques on time series data and invokes the ...

In order to make accessible new Semantic Web Services technologies to the end users, the level of tools supporting these technologies should be significantly raised. The paper presents such a tool - an INFRAWEBS Designer - a graphical ontology-driven ...

In order to make accessible new Semantic Web Services technologies to the end users, the level of tools supporting these technologies should be significantly raised. The paper presents the architecture of such a tool – an INFRAWBS Designer – a graphical ...