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

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

来源：评论

学校读者我要写书评

暂无评论

Extensible Structural Analysis of Petri Net Product Lines 40th

Extensible Structural Analysis of Petri Net Product Lines

引用

40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and 19th International Conference on Application of Concurrency to System Design, ACSD 2019

作者： Gómez-Martínez, Elena de Lara, Juan Guerra, Esther Modelling and Software Engineering Research Group Universidad Autónoma de Madrid C/ Francisco y Valiente 11 Madrid28049 Spain

ISBN: (纸本)9783662630785

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. For this purpose, we propose a notion of product line of Petri nets to represent a set of similar concurrent systems. The formalization enriches Petri nets with a feature model characterizing the variability of the systems. Moreover, places, transitions and arcs can define presence conditions that determine the subset of system variants they belong to. To enable an efficient analysis of the set of all net variants, we have lifted several structural analysis methods for Petri nets, to the product line level. Currently, we support the lifted checking of the marked graph, state-machine, and (extended) free-choice properties, which avoids their analysis on each particular net of the product line in isolation. We demonstrate the feasibility of our proposal using examples in the domain of flexible assembly lines, and introduce an extensible tool infrastructure. The tool is based on Eclipse and FeatureIDE, and permits adding new analysis methods externally. Moreover, we present an evaluation that shows the efficiency gains of our method with respect to an enumerative approach that analyses the properties on every net within the product line separately. © 2021, Springer-Verlag GmbH Germany, part of Springer Nature.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Artificial intelligence for modelling infectious disease epidemics

引用

Nature 2025年第8051期638卷 623-635页

作者： Kraemer, Moritz U. G. Tsui, Joseph L.-H. Chang, Serina Y. Lytras, Spyros Khurana, Mark P. Vanderslott, Samantha Bajaj, Sumali Scheidwasser, Neil Curran-Sebastian, Jacob Liam Semenova, Elizaveta Zhang, Mengyan Unwin, H. Juliette T. Watson, Oliver J. Mills, Cathal Dasgupta, Abhishek Ferretti, Luca Scarpino, Samuel V. Koua, Etien Morgan, Oliver Tegally, Houriiyah Paquet, Ulrich Moutsianas, Loukas Fraser, Christophe Ferguson, Neil M. Topol, Eric J. Duchêne, David A. Stadler, Tanja Kingori, Patricia Parker, Michael J. Dominici, Francesca Shadbolt, Nigel Suchard, Marc A. Ratmann, Oliver Flaxman, Seth Holmes, Edward C. Gomez-Rodriguez, Manuel Schölkopf, Bernhard Donnelly, Christl A. Pybus, Oliver G. Cauchemez, Simon Bhatt, Samir Pandemic Sciences Institute University of Oxford Oxford United Kingdom Department of Biology University of Oxford Oxford United Kingdom Department of Electrical Engineering and Computer Science University of California Berkeley Berkeley CA United States UCSF UC Berkeley Joint Program in Computational Precision Health Berkeley CA United States Division of Systems Virology Department of Microbiology and Immunology The Institute of Medical Science The University of Tokyo Tokyo Japan Section of Epidemiology Department of Public Health University of Copenhagen Copenhagen Denmark Oxford Vaccine Group University of Oxford and NIHR Oxford Biomedical Research Centre Oxford United Kingdom Department of Epidemiology and Biostatistics Imperial College London London United Kingdom Department of Computer Science University of Oxford Oxford United Kingdom School of Mathematics University of Bristol Bristol United Kingdom MRC Centre for Global Infectious Disease Analysis School of Public Health Imperial College London London United Kingdom Department of Statistics University of Oxford Oxford United Kingdom Doctoral Training Centre University of Oxford Oxford United Kingdom Institute for Experiential AI Northeastern University MA Boston Thailand Santa Fe Institute Santa Fe NM United States World Health Organization Regional Office for Africa Brazzaville Congo WHO Hub for Pandemic and Epidemic Intelligence Health Emergencies Programme World Health Organization Berlin Germany Centre for Epidemic Response and Innovation (CERI) School for Data Science and Computational Thinking Stellenbosch University Stellenbosch South Africa African Institute for Mathematical Sciences (AIMS) South Africa Muizenberg Cape Town South Africa Genomics England London United Kingdom Scripps Research La Jolla CA United States Department of Biosystems Science and Engineering ETH Zürich Basel Switzerland Swiss Institute of Bioinformatics Lausanne Switzerland The Ethox Centre Nuffield

Infectious disease threats to individual and public health are numerous, varied and frequently unexpected. Artificial intelligence (AI) and related technologies, which are already supporting human decision making in economics, medicine and social science, have the potential to transform the scope and power of infectious disease epidemiology. Here we consider the application to infectious disease modelling of AI systems that combine machine learning, computational statistics, information retrieval and data science. We first outline how recent advances in AI can accelerate breakthroughs in answering key epidemiological questions and we discuss specific AI methods that can be applied to routinely collected infectious disease surveillance data. Second, we elaborate on the social context of AI for infectious disease epidemiology, including issues such as explainability, safety, accountability and ethics. Finally, we summarize some limitations of AI applications in this field and provide recommendations for how infectious disease epidemiology can harness most effectively current and future developments in AI. © Springer Nature Limited 2025.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The need to implement FAIR principles in biomolecular simulations

arXiv

引用

arXiv 2024年

作者： Amaro, R. Åqvist, J. Bahar, I. Battistini, F. Bellaiche, A. Beltran, D. Biggin, P.C. Bonomi, M. Bowman, G.R. Bryce, R. Bussi, G. Carloni, P. Case, D. Cavalli, A. Chang, C.A. Cheatham, T.E. Cheung, M.S. Chipot, C. Chong, L.T. Choudhary, P. Cisneros, G.A. Clementi, C. Collepardo-Guevara, R. Coveney, P. Covino, R. Crawford, T.D. Dal Peraro, M. de Groot, B. Delemotte, L. De Vivo, M. Essex, J. Fraternali, F. Gao, J. Gelpí, J.L. Gervasio, F.L. Gonzalez-Nilo, F.D. Grubmüller, H. Guenza, M.G. Guzman, H.V. Harris, S. Head-Gordon, T. Hernandez, R. Hospital, A. Huang, N. Huang, X. Hummer, G. Iglesias-Fernández, J. Jensen, J.H. Jha, S. Jiao, W. Jorgensen, W.L. Kamerlin, S.C.L. Khalid, S. Laughton, C. Levitt, M. Limongelli, V. Lindahl, E. Lindorff-Larsen, K. Loverde, S. Lundborg, M. Luo, Y.L. Luque, F.J. Lynch, C.I. MacKerell, A. Magistrato, A. Marrink, S.J. Martin, H. McCammon, J.A. Merz, K. Moliner, V. Mulholland, A. Murad, S. Naganathan, A.N. Nangia, S. Noe, F. Noy, A. Oláh, J. O'Mara, M. Ondrechen, M.J. Onuchic, J.N. Onufriev, A. Osuna, S. Palermo, G. Panchenko, A.R. Pantano, S. Parish, C. Parrinello, M. Perez, A. Perez-Acle, T. Perilla, J.R. Pettitt, B.M. Pietropaolo, A. Piquemal, J.-P. Poma, A. Praprotnik, M. Ramos, M.J. Ren, P. Reuter, N. Roitberg, A. Rosta, E. Rovira, C. Roux, B. Röthlisberger, U. Sanbonmatsu, K. Schlick, T. Shaytan, A.K. Simmerling, C. Smith, J.C. Sugita, Y. Świderek, K. Taiji, M. Tao, P. Tikhonova, I.G. Tirado-Rives, J. Tuñón, I. Van Der Kamp, M.W. Van der Spoel, D. Velankar, S. Voth, G.A. Wade, R. Warshel, A. Welborn, V.V. Wetmore, S. Wong, C.F. Yang, L.-W. Zacharias, M. Orozco, M. Department of Molecular Biology University of California San DiegoCA United States Department of Cell and Molecular Biology Uppsala University Uppsala Sweden Laufer Center for Physical and Quantitative Biology Renaissance School of Medicine Stony Brook University Stony BrookNY United States Department of Biochemistry and Cell Biology Renaissance School of Medicine Stony Brook University Stony BrookNY United States Barcelona Spain European Molecular Biology Laboratory European Bioinformatics Institute Hinxton United Kingdom Structural Bioinformatics and Computational Biochemistry Department of Biochemistry University of Oxford Oxford United Kingdom Institut Pasteur Université Paris Cité CNRS UMR 3528 Computational Structural Biology Unit Paris France Department of Biochemistry and Biophysics University of Pennsylvania PhiladelphiaPA United States Division of Pharmacy and Optometry University of Manchester Manchester United Kingdom Scuola Internazionale Superiore di Studi Avanzati-SISSA Trieste Italy Computational Biomedicine Institute of Advanced Simulations IAS-5 Institute for Neuroscience and Medicine INM-9 Forschungszentrum Jülich GmbH Jülich Germany Department of Physics and Universitätsklinikum RWTH Aachen University Aachen Germany Department of Chemistry & Chemical Biology Rutgers University PiscatawayNJ United States Istituto Italiano di Tecnologia Drug Discovery and Development Bologna Italy Lausanne Switzerland Department of Chemistry University of California RiversideCA United States Department of Medicinal Chemistry College of Pharmacy University of Utah Salt Lake CityUT United States Department of Physics University of Washington SeattleWA United States Pacific Northwest National Laboratory RichlandWA United States LIA CNRS-UIUC UMR n°7019 Université de Lorraine Vandœuvre-lès-Nancy France Department of Physics University of Illinois at Urbana-Champaign UrbanaIL United States Department of Biochemistry and Molecular Biol

The communities that embraced data archiving efforts decades ago are now, in the era of data-driven biology, those gaining the most from the AI revolution. The structural biology community was a pioneer in this regard by establishing the Protein Data Bank (PDB) in 1971 and making data accessible using the FAIR (Findable, Accessible, Interoperable and Reusable) principles even before these were articulated [1, 2]. The genomics/bioinformatics community has followed the example, establishing many widely used databases [3, 4]. By contrast, molecular simulation has been anchored in usage paradigms dating back to the seventies, when molecular dynamics (MD) simulation was first applied to study biomacromolecules [5]. At that time, MD was used by theoretical physicists and chemists in "proof of concept" simulations. Still, fifty years later, MD has evolved into a cornerstone molecular biology technique that can provide accurate quantitative analysis and property prediction. MD is now employed by tens of thousands of researchers worldwide, accounting for roughly 15% of global supercomputer usage. Unfortunately, these rich and costly data are not systematically maintained, and when further analyses are required, simulations have to be rerun-an unacceptable situation from scientific, environmental and sustainability standpoints. In this letter, we argue for a collaborative endeavor to archive MD simulation data and describe ongoing efforts to establish cost-effective and sustainable data archiving strategies. © 2024, CC BY-NC-SA.

关键词： Biotic

来源：评论

学校读者我要写书评

暂无评论

An Extensible Meta-modelling Assistant

An Extensible Meta-Modelling Assistant

引用

International Conference on Enterprise Distributed Object Computing (EDOC)

作者： Angel Mora Segura Ana Pescador Juan de Lara Manuel Wimmer Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Spain Business Informatics Group TU Wien Austria

ISBN: (纸本)9781467398862

Meta-models play a pivotal role in Model-Driven engineering (MDE). They are used to create domain-specific models, and to type model management operations like model transformations or code generators. However, even though creating meta-models is a common activity, it is currently mostly a manual activity, which does not profit from existing knowledge. In order to facilitate the meta-modelling task, we propose an extensible meta-modelling assistant. While primarily focussed on helping in the creation of meta- models, it can also help in creating models. The assistant permits the provision of heterogeneous data description sources (like ontologies, RDF data, XML schemas, database schemas and meta-models), and enables their uniform querying. Different kinds of queries are supported, and improved through synonym search. Query results are prioritized through sense disambiguation, can be graphically visualized, and incorporated into the (meta-)model being built. The assistant has been realized within Eclipse, and its architecture has been designed to be independent of the meta-modelling technology used. As a proof- of-concept, we show its integration within DSL-tao, a pattern-based meta-modelling tool built by our group, and two other tools developed by third-parties. The usefulness of the system is illustrated with a running example in the process modelling domain.

关键词： Unified modeling language Biological system modeling DSL Data models Ontologies Resource description framework Organizations

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：