A logical approach for behavioural composition of scenario-based models

As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s sequence diagrams. Given a set of scenarios we then need to check whether these are consistent and can be combined for a better understanding of the overall behaviour. This paper addresses this by presenting a novel formal technique for composing behavioural models at the metamodel level through exact metamodel restriction (EMR). In our approach a sequence diagram can be completely described by a set of logical constraints at the metamodel level. When composing sequence diagrams we take the union of the sets of logical constraints for each diagram and additional behavioural constraints that describe the matching composition glue. A formal semantics for composition in accordance with the glue guides our model transformation to Alloy. Alloy’s fully automated constraint solver gives us the solution. Our technique has been implemented as an Eclipse plugin SD2Alloy.Postprin

A Comparison of Model Migration Tools

International audienceModelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid rebuilding them from scratch, existing models must be migrated to conform to the evolved metamodel. Manually migrating existing models is tedious and errorprone. To alleviate this, several tools have been proposed to build a migration strategy that automates the migration of existing models. Little is known about the advantages and disadvantages of the tools in different situations. In this paper, we thus compare a representative sample of migration tools - AML, COPE, Ecore2Ecore and Epsilon Flock - using common migration examples. The criteria used in the comparison aim to support users in selecting the most appropriate tool for their situation

PMG-pro: a model-driven development method of service-based applications

In the Internet of Things, billions of networked and software-driven devices will be connected to the Internet. They can communicate and cooperate with each other to form a composite system. In this paper, we propose PMG-pro (present, model, generate and provide), a language independent, bottom-up and model-driven method for the development of such composite system. We envision that all devices in the Internet of Things provide their functionalities as services. From a service description, a service presenter generates source code (i.e., for the service invocations) and uses an abstract graphical representation to represent a service. The code is connected to the abstract graphical service representation. A service abstractor constructs the abstract graphical representations even more abstract in hierarchical service taxonomy. Software developers use the abstract graphical service presentations to specify new service-based applications, while the source code is used for the automation of code generation

Developing Scientific workflows from Heterogeneous Services

Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development signify a move from component-based to service-oriented approach, therefore SWF will inevitably need appropriate tools to discover and integrate heterogeneous services. In this paper we present the SODIUM platform consisting of a set of languages and tools as well as related middleware, for the development and execution of scientific workflows composed of heterogeneous services. © 2006, Authors. All rights reserved

Developing scientific workflows from heterogeneous services

Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development signify a move from component-based to service-oriented approach, therefore SWF will inevitably need appropriate tools to discover and integrate heterogeneous services. In this paper we present the SODIUM platform consisting of a set of languages and tools as well as related middleware, for the development and execution of scientific workflows composed of heterogeneous services. 1

Flexible model element introduction policies for aspect-oriented modeling

Aspect-Oriented Modeling techniques make it possible to use model transformation to achieve advanced separation of concerns within models. Applying aspects that introduce model elements into a base model in the context of large, potentially composite models is nevertheless tricky: when a pointcut model matches several join points within the base model, it is not clear whether the introduced element should be instantiated once for each match, once within each composite, once for the whole model, or based on a more elaborate criteria. This paper argues that in order to enable a modeler to write semantically correct aspects for large, composite models, an aspect weaver must support a flexible instantiation policy for model element introduction. Example models highlighting the need for such a mechanism are shown, and details of how such policies can be implemented are presented. © 2010 Springer-Verlag

Social-Univ 2.0: Monitoring the Digital and Social Environment of the University

Social-Univ 2.0 es una aplicación web que monitoriza el ecosistema digital de universidades con presencia en redes sociales y, más concretamente, se centra en analizar el entorno de la Universidad de Alicante. Usa las tecnologías del lenguaje humano para extraer meta-datos sobre comentarios en Twitter para representar perfiles de actores sociales, así como su relación social en un período de tiempo. Esta aplicación, en su primera versión: facilita tanto el estudio de interacciones sociales y sus matices, como el analisis de grupos sociales y sus comportamientos; identifica a actores sociales relevantes e influyentes, así como los temas comunes en determinados grupos sociales; y favorece la medición del impacto de campañas y eventos.Social-Univ 2.0 is a web application that monitors the university digital ecosystem in social networks and, specifically, it focuses on analysing the University of Alicante environment. It uses human language technologies to extract meta-data from tweets and represents actors' profiles, as well as their social relations in a time period. This application, in its first version: eases the study of social interactions and its nuances, as well as the analysis of social groups and their behaviour; identifies relevant and influential social actors as well as common topics in groups; and helps to measure impacts from campaigns and events.Aplicación desarrollada por el Grupo de Procesamiento del Lenguaje Natural y Sistemas de Información (GPLSI) de la UA. Financiada por la UA a través del proyecto “Social-Univ 2.0: Tecnologías del Lenguaje Humano, aplicación para la monitorización omnicanal del entorno social de la Universidad de Alicante (ENCARGOINTERNO5-19EN)”, conjuntamente con la Generalitat Valenciana (PROMETEU/2018/089) y el gobierno de España (RTI2018-094653-B-C22 y RTI2018-094649-B-I00)