66 Result(s)
within
Chapter
Juan de Lara
Computer Science
-
Chapter and Conference Paper
Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions
Cyber-Physical Systems (CPS) are complex physical systems interacting with a considerable number of distributed computing elements for monitoring, control and management. They are currently becoming larger as ...
-
Chapter
AnATLyzer: Static Analysis of ATL Model Transformations
This chapter presents AnATLyzer—a tool for the static analysis of the ATL model transformation language. AnATLyzer is able to statically detect more than 50 types of problems in ATL transformation programs using ...
-
Chapter
Extensible Structural Analysis of Petri Net Product Lines
Petri nets are a popular formalism to represent concurrent systems. However, their standard form does not offer variability support to model and effectively analyse large sets of variants of a given system. Fo...
-
Chapter
Exploiting Results of Model-Based Analysis Tools
Any analysis produces results to be used by analysis users to understand and improve the system being analysed. But what are the ways in which analysis results can be exploited? And how is exploitation of anal...
-
Chapter and Conference Paper
Seed Model Synthesis for Testing Model-Based Mutation Operators
In software engineering, mutation consists in injecting small changes in artefacts – like models, programs, or data – for purposes like (mutation) testing, test data generation, and all sorts of search-based meth...
-
Chapter and Conference Paper
Towards Automating the Synthesis of Chatbots for Conversational Model Query
Conversational interfaces (also called chatbots) are being increasingly adopted in various domains such as e-commerce or customer service, as a direct communication channel between companies and end-users. The...
-
Chapter and Conference Paper
Testing Chatbots with Charm
Chatbots are software programs with a conversational user interface, typically embedded in webs or messaging systems like Slack, Facebook Messenger or Telegram. Many companies are investing in chatbots to impr...
-
Chapter and Conference Paper
Multi-level Model Product Lines
Modelling is an essential activity in software engineering processes. It typically involves two meta-levels: one includes meta-models that describe modelling languages, and the other contains models built by i...
-
Chapter and Conference Paper
Model-Driven Chatbot Development
Chatbots are software services accessed via conversation in natural language. They are increasingly used to help in all kinds of procedures like booking flights, querying visa information or assigning tasks to...
-
Chapter and Conference Paper
Datalyzer: Streaming Data Applications Made Easy
Nowadays, streaming data are continuously generated from thousands of sources, including social networks, mobile apps, sensors, e-commerce transactions, and many more. Hence, it becomes very useful to build ap...
-
Chapter and Conference Paper
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
In this paper we present the SICOMORo-CM project. Its main aim is to advance the state of the art in the development of reliable and trustworthy systems by combining formal and model-based approaches. The proj...
-
Chapter and Conference Paper
Model Transformation Reuse Across Metamodels
Model transformations (MTs) are essential elements of model-driven engineering (MDE) solutions. MDE promotes the creation of domain-specific metamodels, but without proper reuse mechanisms, MTs need to be deve...
-
Chapter and Conference Paper
Towards Rearchitecting Meta-Models into Multi-level Models
Meta-models play a pivotal role in Model-Driven Engineering, as they are used to define the structure of instance models one level below. However, in some scenarios, organizing meta-models and their instances ...
-
Chapter and Conference Paper
Reusing Model Transformations Through Ty** Requirements Models
Model transformations are key elements of Model-Driven Engineering (MDE), where they are used to automate the manipulation of models. However, they are typed with respect to concrete source and target meta-mod...
-
Chapter and Conference Paper
Domain-Specific Modelling Using Mobile Devices
Domain-Specific Languages (DSLs) are languages tailored for a specific application area, like logistics, networking or mobile app design. They capture the main primitives and abstractions within a domain, whic...
-
Chapter and Conference Paper
On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development
Scalability in modeling has many facets, including the ability to build larger models and domain specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenge...
-
Chapter and Conference Paper
Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform
In the last years, the increasing complexity of Model-Driven Engineering (MDE) tools and techniques has led to higher demands in terms of computation, interoperability, and configuration management. Harnessing...
-
Chapter and Conference Paper
Example-Based Generation of Graphical Modelling Environments
Domain-Specific Languages (DSLs) present numerous benefits like powerful domain-specific primitives, an intuitive syntax for domain experts, and the possibility of advanced code generation for narrow domains. ...
-
Chapter and Conference Paper
Engineering Applications Over Social and Open Data with Domain-Specific Languages
There is a current trend among governments and organizations to make all sort of information (like budgets, demographic or economic data) public. The information released in this way is called Open Data. Many ins...
-
Chapter and Conference Paper
Towards the Generation of Graphical Modelling Environments Aided by Patterns
Model-Driven Engineering (MDE) promotes the use of models to conduct all phases of software development in an automated way. Such models are described using Domain Specific Modelling Languages (DSMLs). While t...
