检索结果-内蒙古大学图书馆

Towards a Deep Learning Architecture for software Models: An Initial Exploration 26

Towards a Deep Learning Architecture for Software Models: An...

26es Jornadas de Ingenieria del software y Bases de Datos, JISBD 2022 - 26th Conference on software engineering and Databases, JISBD 2022

作者： Mata, Luis Guerra, Esther de Lara, Juan Modelling & Software Engineering Research Group Universidad Autónoma de Madrid Spain

As in many other research areas, the use of Deep Learning (DL) techniques is growing in software engineering. However, these techniques are not yet widespread in the Model-Driven engineering (MDE) field. In this paper, we explore the use of DL to extract useful text embeddings out of software models. We propose a novel approach to embedding software models by means of transformer architectures trained on large datasets. Our approach combines intermediate representations and Language Models (LMs) to extract features from modelling artefacts in order to enable applications for intelligent model assistance, like model completion and correction. We show that the approach is potentially useful in MDE and may lead to useful results in the future. © 2022 26th Jornadas de Ingenieria del software y Bases de Datos, JISBD 2022. All Rights Reserved.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Recursion and Iteration support in USE validator with AnATLyzer 15

Recursion and Iteration support in USE validator with AnATLy...

引用

15th International Workshop on OCL and Textual Modeling, OCL 2015

作者： Cuadrado, Jesús Sánchez Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Spain

Model finders enable numerous verification approaches based on searching the existence of models satisfying certain properties of interest. One of such approaches is AnATLyzer, a static analysis tool for ATL transformations, which relies on USE Validator to provide fine grained analysis based on finding witness models that satisfy the OCL path conditions associated to particular errors. However it is limited by the fact that USE Validator does not include built-in support for analysing recursive operations and the iterate collection operator. This paper reports our approach to allow USE Validator to analyse OCL path conditions containing recursive operations and iterate, with the aim of widening the amount of actual transformations that can be processed by AnATLyzer. We present our approach, based on unfolding recursion into a finite number of steps, and we discuss how to take into account practical aspects such as inheritance and details about the implementation.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Reverse engineering of model transformations for reusability

Reverse engineering of model transformations for reusability

引用

7th International Conference on Model Transformation, ICMT 2014, Part of the software Technology: Applications and Foundations, STAF 2014

作者： Cuadrado, Jesús Sánchez Guerra, Esther De Lara, Juan Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Spain

ISBN: (纸本)9783319087887

Reuse techniques are key for the industrial adoption of Model-Driven engineering (MDE). However, while reusability has been successfully applied to programming languages, its use is scarce in MDE and, in particular, in model transformations. In previous works, we developed an approach that enables the reuse of model transformations for different meta-models. This is achieved by defining reusable components that encapsulate a generic transformation template and expose an interface called concept declaring the structural requirements that any meta-model using the component should fulfil. Binding the concept to one of such meta-models induces an adaptation of the template, which becomes applicable to the meta-model. To facilitate reuse, concepts need to be concise, reflecting only the minimal set of requirements demanded by the transformation. In this paper, we automate the reverse engineering of existing transformations into reusable transformation components. To make a transformation reusable, we use the information obtained from its static analysis to derive a concept that is minimal with respect to the transformation and maximizes its reuse opportunities, and then evolve the transformation accordingly. The paper describes a prototype implementation and an evaluation using transformations from the ATL zoo. © 2014 Springer International Publishing Switzerland.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

DEMONSTRATING THE SYNERGY BETWEEN CAC AND SCHEDULING IN WIRELESS NETWORKS

引用

International Journal of Modeling, Simulation, and Scientific Computing 2013年第1期4卷 96-118页

作者： PAOLO PILEGGI GIUSEPPE IAZEOLLA PIETER KRITZINGER Networking Group University of Rome‘Tor Vergata’ Italy Software Engineering and System Performance Modelling Group University of Rome‘Tor Vergata’ Italy Communications Research Group Department of Electrical Engineering University of Cape Town South Africa

Wireless technology is now an integral part of communication network *** their first beginnings,such as connection-oriented General System Mobile networks for voice traffic only and connectionless wireless local area networks for data traffic,new generation wireless networks are connection-oriented and provide differentiated services to the *** the arrival of more sophisticated services and mobility,have arisen the need for Connection Admission Control and traffic scheduling in the network to enhance the quality of experience(QoE)of the user and optimizing the revenue in dynamic workload environments.A great deal of research effort has gone into the study of the performance of one such network standard,namely the IEEE 802.16 *** optimization studies focus on scheduling(a very mature subject in computing)and ignore connection admission(a very mature subject in telephone engineering)or vice *** this paper we claim that one should not study the two in isolation and provide empirical evidence to prove our claim.

关键词： Scheduling connection admission control simulation IEEE 802.16 differentiated services.

来源：评论

学校读者我要写书评

暂无评论

Reusable model transformation components with bentō 8th

引用

8th International Conference on Theory and Practice of Model Transformations, ICMT 2015

作者： Cuadrado, Jesús Sánchez Guerra, Esther de Lara, Juan Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Madrid Spain

ISBN: (纸本)9783319211541

Building high-quality transformations that can be used in real projects is complex and time-consuming. For this reason, the ability to reuse existing transformations in different, unforeseen scenarios is very valuable. However, there is scarce tool support for this task. This paper presents bentō, a tool which supports the development and execution of reusable transformation components. In bentō, a reusable transformation is written as a regular ATL transformation, but it uses concepts as meta-models. Reuse is achieved by binding such concepts to meta-models, which induces the transformation adaptation. Moreover, composite components enable chaining transformations, and it is possible to convert an existing transformation into a reusable component. Bentō is implemented as an Eclipse plug-in, available as free software. © Springer International Publishing Switzerland 2015.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Building MDE cloud services with DISTIL 3

Building MDE cloud services with DISTIL

引用

3rd International Workshop on Model-Driven engineering on and for the Cloud, CloudMDE 2015

作者： Manzanares, Carlos Carrascal Cuadrado, Jesús Sánchez De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain

Model-Driven engineering (MDE) techniques, like transformations, queries, and code generators, were devised for local, single-CPU architectures. However, the increasing complexity of the systems to be built and their high demands in terms of computation, memory and storage, requires more scalable and flexible MDE techniques, likely using services and the cloud. Nonetheless, the cost of developing MDE solutions on the cloud is high without proper automation mechanisms. In order to alleviate this situation, we present DISTIL, a domain-specific language to describe MDE services, which is able to generate (NoSQL-based) respositories for the artefacts of interest, and skeletons for (single or composite) services, ready to be deployed in Heroku. We illustrate the approach through the construction of a repository and a set of cloud-based services for bentō reusable transformation components.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

JAVACHECK: A domain specific language for the static analysis of Java code

JAVACHECK: A domain specific language for the static analysi...

引用

2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student research Competition, and Tools and Demonstrations, MODEL-SSE 2017

作者： Pérez-Soler, Sara De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain

The increasing complexity of software systems has raised the need for code analysis tools to assess its quality. However, these tools offer predefined metrics or evaluation criteria, which are frequently hard to extend or modify. For this purpose, we have developed JAVACHECK, a Domain-Specific Language targeted to define expected properties of Java code bases. JAVACHECK can be used in a variety of scenarios related to quality assurance: to define expected code styles (e.g., naming conventions), specify programming conventions (e.g., private attributes), detect code smells possibly indicating errors (e.g., equals method with no hashCode), and detect patterns (e.g., uses of Singleton) or requirements demanded in a project (e.g., a class with name synonym to "Professor").

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Assisted modelling over social networks with SOCIO

Assisted modelling over social networks with SOCIO

引用

作者： Pérez-Soler, Sara Guerra, Esther De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain

Social networks are intensively used nowadays for both leisure and work. They have become a natural communication mechanism which helps users in coordinating and collaborating in their daily life activities. To profit from their pervasive use, we propose SOCIO: a modelling assistant that seamlessly integrates across several social networks, like Telegram or Twitter. SOCIO is a modelling bot that can interpret natural language sentences and create meta-models out of them. It provides traceability of design decisions and statistics of user contributions. A video showcasing the tool is available at https://***/modellingBot/.

关键词： Leisure

来源：评论

学校读者我要写书评

暂无评论

Scalable model exploration through abstraction and fragmentation strategies 3

Scalable model exploration through abstraction and fragmenta...

引用

3rd Workshop on Scalable Model Driven engineering, BigMDE 2015

作者： Garmendia, Antonio Jiménez-Pastor, Antonio De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain

Model-Driven engineering (MDE) promotes the use of models to conduct all phases of software development in an automated way. However, for complex systems, these models may become large and unwieldy, and hence difficult to process and comprehend. In order to alleviate this situation, we explore the combination of model fragmentation strategies, to split models into more manageable chunks;and model abstraction and visualization mechanisms, able to provide simpler views of the models. The feasibility of this combination is confirmed based on an evaluation over a synthetic models, and the model sets of the GraBaTs'09 contest.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Timed hazard analysis of self-healing systems

Timed hazard analysis of self-healing systems

引用

ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems, ASAS 2011

作者： Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Software Engineering Group University of Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Germany Software Engineering Division Chalmers University of Technology University of Gothenburg Sweden

ISBN: (纸本)9783642362484

Self-healing can be used to reduce hazards in embedded real-time systems which are applied in safety-critical environments. These systems may react to failures by a structural reconfiguration of the architecture during runtime. This means the exchange of components or the modification of the components' connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures in the architectural configuration over time with respect to the structural reconfiguration. However, current approaches do not take into account the timing properties of the failure propagation and the structural reconfiguration. In this paper, we present a hazard analysis approach which specifically considers these timing properties. We illustrate our approach by an example case study from the RailCab project. Further, we demonstrate the scalability of the approach by experiments. © 2013 Springer-Verlag.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：