Resultados de búsqueda para DSL

Security policies constrain the behaviour of all users of an information system. In any non-trivial system, these security policies go beyond simple access control rules and must cover more complex and dynamic scenarios while providing, at the same time, a fine-grained level decision-making ability. The Usage Control model (UCON) was created for this purpose but so far integration of UCON in mainstream software engineering processes has been very limited, hampering its usefulness and popularity among the software and information systems communities. In this sense, this paper proposes a Domain-Specific Language to facilitate the modelling of UCON policies and their integration in (model-based) development processes. Together with the language, an exploratory approach for policy evaluation and enforcement of the modeled policies via model transformations has been introduced. These contributions have been defined on top of the Eclipse Modelling Framework, the de-facto standard MDE (Model-Driven Engineering) framework making them freely available and ready-to-use for any software designer interested in using UCON for the definition of security policies in their new development projects.

Recientes estudios han reportado efectos indeseados y nocivos en modelos de machine learning (ML), en gran parte causados por problemas o limitaciones en los datasets usados para entrenarlos. Esta situación ha despertado el interés dentro de la comunidad de ML para mejorar los procesos de creación y compartición de datasets. Sin embargo, hasta la fecha, las propuestas para estandarizar la descripción y formalización de los mismos se basan en guías generales en texto natural y que, como tales, presentan limitaciones (precisión, ambig+APw-edad, etc.) y son difíciles de aplicar de una forma (semi)automatizada.En este trabajo proponemos un lenguaje específico de dominio para describir datasets basado en las propuestas mencionadas. Este lenguaje contribuye a estandarizar los procesos de descripción de los datasets, y pretende ser la base para aplicaciones de formalización, búsqueda y comparación de estos. Finalmente, presentamos la implementación de este lenguaje en forma de plug-in para Visual Studio Code.

Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen el modo en que dos o más parámetros de entrada pueden combinarse para formar una llamada válida. Desafortunadamente, los lenguajes de especificación de servicios web actuales como OpenAPI Specification (OAS) no proporcionan soporte para describir dichas dependencias formalmente, lo que dificulta enormemente la interacción con estos servicios de forma automática, sin necesidad de intervención humana. En este artículo, presentamos una estrategia para la especificación y el análisis automático de dependencias inter-parámetro en APIs web. En primer lugar, presentamos un lenguaje específico de dominio (DSL), llamado Inter-parameter Dependency Language (IDL), para la especificación de dependencias entre parámetros en servicios web. A continuación, proponemos un mapping para traducir un documento IDL a un problema de satisfacción de restricciones (CSP), habilitando el análisis automático de especificaciones IDL mediante operaciones de razonamiento estándar basadas en CSP. Concretamente, presentamos un catálogo de siete operaciones de análisis en documentos IDL permitiendo, por ejemplo, comprobar si una determinada petición satisface todas las dependencias del servicio. Por último, presentamos una suite de herramientas para la especificación y el análisis de IDL, incluyendo un editor, un parser, una extensión de OAS, una librería basada en programación con restricciones, y una completa suite de pruebas. En conjunto, estas contribuciones sientan las bases de una nueva generación de aplicaciones en áreas tales como generación automática de código y pruebas de servicios web.

User Interface construction is a recurrent topic in Software Engineering: multiples tools ranging from textual, graphical design tools exists to help in this task.On the other hand, the fast pace of front-end industrial frameworks makes such editors tools obsolete as soon as new technology emerges.The work presented here, introduces Quid, a web based DSL with focus on minimal accidental complexity, removing accessory markup and a WUYIWYG environment to provide real-time feedback to users.Moreover, the UI specification built in this way is catalog neutral: in the way its primitives can be extended, and target platform agnostic: using model transformations and code generation for generating software artifacts like Native Web Components or Angular Elements code.

-Título: Reverse engineering language product lines from existing DSL variants.-Autores: David Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry-Revista de publicación: Journal of Systems and Software-Volumen 133. Noviembre de 2017. Páginas 145-158-DOI: 10.1016/j.jss.2017.05.042Indicios de calidad: JCR-IF: 2,444(22/106).JCR-Q: Q1. JCR-T: T1. JCR-Category/year: COMPUTER SCIENCE, SOFTWARE ENGINEERING – 2016. 9 citas según gscholar

Este trabajo presenta el desarrollo de puentes tecnológicos que permiten extraer modelos de Descripciones Abstractas de Servicios a partir de especificaciones WSDL existentes y viceversa. Para ello, se presentan un conjunto de DSLs que se utilizan para la elaboración de algunos modelos intermedios durante el proceso de extracción y las transformaciones de modelos que los conectan, automatizando el proceso. Los modelos obtenidos permiten implementar cualquier proceso de razonamiento acerca de la interfaz de uno o varios servicios utilizando técnicas propias de la Ingeniería Dirigida por Modelos, como transformaciones, validadores, etc. Así, este trabajo proporciona una base tecnológica sobre la que abordar nuevas propuestas metodológicas en el futuro.

WebML es un lenguaje específico de dominio para el desarrollo de aplicaciones Web que proporciona construcciones para modelar el contenido, el comportamiento y la navegación de la aplicación a generar. Como en el caso de cualquier otro lenguaje visual, su notación, que asocia una representación gráfica a los conceptos del lenguaje, es un elemento clave de WebML. En el momento de su especificación, los símbolos gráficos que utiliza WebML fueron definidos únicamente con la idea de proporcionar artefactos de modelado simples y expresivos, pero sin adoptar un enfoque científico y riguroso. Con el fin de ilustrar esta limitación e identificar algunos puntos de mejora, este trabajo analiza la notación visual de WebML bajo el marco que definen los principios recogidos en una sólida y conocida teoría científica sobre la eficacia cognitiva de las notaciones visuales. Como resultado se ha identificado un conjunto de posibles mejoras que requerirán de una validación empírica.