Description: Reactive ATL is a reactive engine for the ATL model transformation language. Reactive transformations react autonomously to updates to the source model and to navigation of the target model. It supports higher-order reactivity by reacting also to changes of the transformation specification itself
Description: Parallel ATL integrates implicit parallelism into the current ATL engine. ATL rules are transparently executed in parallel without the need of rewriting the transformation code.
Description ATL Refining Mode integrates into the current ATL engine facilities to deal with in-place transformations (i.e., refining transformations). It frees the developer from the burden of writing copy rules for unchanged elements and gives them support for deletion.
Description The project consisted in building a tool able to extract the access-control configuration of a set of firewalls in a network in order to integrate them in a single representation to ease analysis tasks (including the detection of structural anomalies and of stateful protocol violations.
Description The project consisted in analyzing the declarative access-control configurations of Java EE web applications. The tools provides mechanisms to automatically download a Java EE application from GitHub and analyze its access-control configuration to determine if it presents anomalies.
Description We are currently working in the integration of access-control mechanism into the the Papyrus modeling tool in order to support collaborative modelling in co-engineering scenarios.