New features in the rCOS Requirements Modeler v1.2.3 (September 30th 2009):
- new plugin: Java Code Generation for executable (non-relational) rCOS models.
- new plugin: "Robut" robustness test case generator, see "Robustness Testing for Software Components" (abstract), by Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset and Volker Stolz. Technical Report 423, UNU-IIST. Also see the documentation. Requires Sun's JDK.
- new refinement actions: manual refinement steps can now be chained into sequences of model transformations.
- a library mechanism based on UML package imports (used e.g. for sets/associations).
- various improvements to the type checker (e.g. "purity" of pre-conditions/queries to indicate absence of side effects—note that this feature is syntactic only at the moment).
- more and updated Examples.
- the Eclipse builder will automatically validate rCOS models in the workspace and generate error markers.
- updated framework to TOPCASED 2.6.
See the rCOS Modeler Release Notes v1.2.2 for a short description of other features.
Note that this is planned to be the last release compatible with Eclipse Ganymede 3.4+. Future releases may require Eclipse Galileo 3.5.
The rCOS team would like to thank UNU-IIST fellow Wang Zheng from ECNU Shanghai for his work on the Java code generator, and welcomes Wang Xiaoliang as project staff to the group to take care of the various odds and ends of the modeler. The rCOS team is supported by grants from the Science and Technology Development Fund of Macao SAR.
The Eclipse update site is at http://rcos.iist.unu.edu/eclipse/.Please also see the document about the modeler and the Installation Guide. Please send any bug reports and suggestions!
Volker Stolz / Charles Morisset
