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
Websites: http://mondo-project.github.io/ https://github.com/atlanmod/org.eclipse.atl.reactive
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.
Websites: http://web.emn.fr/x-info/atlanmod/index.php?title=Parallel_ATL https://github.com/atlanmod/Parallel-ATL
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.
Website: https://wiki.eclipse.org/ATL/User_Guide_-_The_ATL_Language#ATL_Refining_Mode
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.
Website: http://docatlanmod.emn.fr/FirewallRE/
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.
Website: https://github.com/SOM-Research/web-application-security
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.
Website: https://wiki.eclipse.org/Papyrus/Oxygen_Work_Description