rCOS

Refinement of Component and Object Systems

  • Increase font size
  • Default font size
  • Decrease font size

rCOS Modeler Release Notes v1.2.3

E-mail Print PDF

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

 

rCOS Week schedule and participants

E-mail Print PDF

Schedule

The rCOS week takes place at UNU-IIST from October 5th to October 9th 2009.

TimeMonTueWedThuFri
10:00 rCOS (lzm) Block-based Programming (amz)

Self-Introductions
rCOS (lzm) rCOS (lzm) Refinement in practice with the rCOS tool (cm)

11:30 rCOS (lzm) rCOS (lzm) Research Topics
(Wuwei Shen)
Requirements Modeling of Automotive Software
(Liu Xiaojian)
Research talk (njz)
13:00 Lunch
14:30 rCOS (lzm) PhD plan
(Li Dan)
Executable UML and Code Generation (xsl)

"What I did during my summer holidays" - Predictable Java (apr)
Specification and Validation of Behavioural Protocols in the rCOS modeler (vs)

Graph-Based Type System and Operational Semantics of an OO Programming Language (wsl)
Future of rCOS (lzm)

Tool development (cm,vs)
16:00 rCOS Modeler (vs) Graph transformations for object-oriented refinement (zl) Social event/dinner MO Yuchang

Presenters

  • Zhiming Liu (lzm)
  • Abdullah bin Mohd Zin (amz) (UKM)
  • Naijun Zhan (njz) (CAS)
  • Li Xiaoshan (xsl) (U.Macao)
  • Volker Stolz (vs)
  • Shuling Wang (wsl)
  • Charles Morisset (cm)
  • Li Dan (U.Macao)
  • Zhao Liang (zl)

Guests

  • Anders P. Ravn (apr) (Aalborg U.)
  • Wuwei Shen (Western Michigan U.)
  • Farong Zhong 钟发荣 (Zhejiang Normal U.)
  • Han Jianmin 韩建民 (Zhejiang Normal U.)
  • Mo Yuchang 莫毓昌 (Zhejiang Normal U.)
  • Zhao Xiangfu 赵相福 (Zhejiang Normal U.)
  • Liu Xiaojian 刘晓建 (Shandong Academy of Sciences)
  • Yang Bo 杨波 (Guizhou U.)
  • Xie Gang 谢刚 (Guizhou U.)

Slides


Group photo
 

rCOS - Refinement of Component and Object Systems

E-mail Print PDF

rCOS is a notation that supports refinement and verification in component-based and object-oriented design.

The distinctive features of rCOS are:

  • it has evolved from a semantic foundation including a well-defined refinement calculus
  • it develops the Unifying Theories of Programming (UTP) to the domain of component-based designs by defining concepts like classes, objects, components, interfaces, contracts, and coordination. Further it provides the behavioural semantics of these concepts and their compositions with high level rules for refinement and verification.

The rCOS Modeler

We are developing an integrated UML modeler (ver. 1.2.3, September 30 2009) for component-based model driven software development for Eclipse.

The rCOS group is supported by the projects HighQSoftD  and HTTS, funded by the Macau Science and Technology Fund.