Update release notes

README.md

@@ -1,6 +1,6 @@
 # The Gamma Statechart Composition Framework
 
-*Version 2.6.0* - For the latest version, check out the [dev](https://github.com/ftsrg/gamma/tree/dev) branch.
+*Version 2.7.0* - For the latest version, check out the [dev](https://github.com/ftsrg/gamma/tree/dev) branch.
 
 The Gamma Statechart Composition Framework is a toolset to model, verify and generate code for component-based reactive systems. The framework builds on Yakindu, an open source statechart modeling tool and provides an additional modeling layer to instatiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries. Individual statecharts, as well as composite statechart networks can be validated and verified by an automated translation to UPPAAL, a model checker for timed automata, or [Theta](https://github.com/ftsrg/theta), a generic, modular and configurable model checking framework. Once a complete model is built, designers can use the code generation functionality of the framework, which can generate Java code for the whole system.
 
@@ -29,11 +29,11 @@ To cite Gamma, please cite the following paper. You can find additional publicat
 ### Dependencies
 
 ##### Recommended Eclipse version and bundle:
-* Eclipse IDE 2021-12, Eclipse IDE for Java and DSL Developers bundle.
+* Eclipse IDE 2022-06, Eclipse IDE for Java and DSL Developers bundle.
 
 ##### 3rd-party Eclipse components (should be installed separately):
-* Xtext 2.25.0 (https://www.eclipse.org/Xtext/, included in Eclipse bundle),
-* VIATRA 2.6.0 (https://www.eclipse.org/viatra/),
+* Xtext 2.27.0 (https://www.eclipse.org/Xtext/, included in Eclipse bundle),
+* VIATRA 2.7.0 (https://www.eclipse.org/viatra/),
 * Yakindu Statechart Tools 3.5.13 (https://www.itemis.com/en/yakindu/state-machine/).
 * PlantUML 1.1.26 (https://plantuml.com/).
 
@@ -44,7 +44,7 @@ To cite Gamma, please cite the following paper. You can find additional publicat
 
 * Install an Eclipse instance (e.g., Eclipse IDE for Java and DSL Developers) with EMF, Xtext and Java 11.
 * Install the required 3rd-party Eclipse components. Detailed instructions can be found in the [`plugins/README.md`](plugins/README.md) file.
-* Exit Eclipse and extract the [Gamma zip file](https://inf.mit.bme.hu/sites/default/files/gamma/2_6_0/gamma-tool-2.6.0.zip) containing the `dropins/plugins` folder (with the Gamma JAR files) into the root folder of Eclipse. This will create the plugins directory in the `dropins` folder of your root Eclipse folder, which should contain all JAR files of Gamma. (If not, make sure you copy all the JAR files contained in the Gamma zip file in the plugins directory of the `dropins` folder of the root folder of Eclipse.)
+* Exit Eclipse and extract the [Gamma zip file](https://inf.mit.bme.hu/sites/default/files/gamma/2_7_0/gamma-tool-2.7.0.zip) containing the `dropins/plugins` folder (with the Gamma JAR files) into the root folder of Eclipse. This will create the plugins directory in the `dropins` folder of your root Eclipse folder, which should contain all JAR files of Gamma. (If not, make sure you copy all the JAR files contained in the Gamma zip file in the plugins directory of the `dropins` folder of the root folder of Eclipse.)
 * When starting Eclipse for the first time, you might need to start it with the `-clean` flag.
 * Check if the plugin installed successfully in *Help > About Eclipse* and by clicking Installation Details. On the `Plug-ins tab`, sort the entries by `Plugin-in Id` and look for entries starting with `hu.bme.mit.gamma`.
 * For formal verification, download and extract UPPAAL. In order to let Gamma find the UPPAAL executables, add the `bin-Win32` or `bin-Linux` folder to the path environment variable (depending on the operating system being used).

RELEASE-NOTES.md

@@ -162,7 +162,7 @@
 ### What is New
 
 * Theta has been integrated as a new verification back-end.
-* A property langauge for defining CTL* expressions has been introduced.
+* A property language for defining CTL* expressions has been introduced.
 * Visualization for traces and composite systems has been introduced.
 * A test project for verifying the correctness of Gamma transformations has been introduced.
 * A test replayer functionality, which transforms the trace models into statechart models has been introduced.
@@ -206,10 +206,24 @@
 
 ### What is New
 
-* A new composition semantics has been introdued based on the scheduled asynchronous composite component.
+* A new composition semantics has been introduced based on the scheduled asynchronous composite component.
 
 ### Improvements
 
 * New validation rules in the GEL and GAL have been introduced.
 * Some optimizations in the XSTS transformation chain have been introduced.
 
+## 2022.07.04. - Version 2.7.0
+
+### What is New
+
+* Asynchronous statecharts have been introduced.
+* Internal ports have been introduced in the component and statechart languages that enable components to send events to themselves.
+* Conformance checking functionalities between scenarios and state-based components have been introduced.
+
+### Improvements
+
+* Command line arguments can now be added manually in verification tasks.
+* Optimizations (slicing based on the properties) have been introduced in the verification task.
+* Bugs related to clock and timing variables in the XSTS-UPPAAL transformation have been fixed.
+* Bugs related to transition handlings in the XSTS transformation have been fixed.