rCOS: Theory and tool for component-based model driven development. We present the roadmap of the development of the rCOS theory and its tool support for component-based model driven software development (CB-MDD). First the motivation for using CB-MDD, its needs for a theoretical foundation and tool support are discussed, followed by a discussion of the concepts, techniques and design decisions in the research of the theory and the development of the prototype tool. The concepts, techniques and decisions discussed here have been formalized and published. References to those publications are provided with explanations. Based on the initial experiences with a case study and the preliminary rCOS tool development, further development trajectory leading to further integration with transformation and analysis plug-ins is delineated

References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Dong, Ruzhen; Zhan, Naijun; Zhao, Liang: An interface model of software components (2013)
  2. Chen, Zhenbang; Liu, Zhiming; Wang, Ji: Failure-divergence semantics and refinement of long running transactions (2012)
  3. Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker: RCOS: a formal model-driven engineering method for component-based software (2012)
  4. Liu, Zhiming; Morisset, Charles; Wang, Shuling: A graph-based implementation for mechanized refinement calculus of OO programs (2011)
  5. Chen, Zhenbang; Morisset, Charles; Stolz, Volker: Specification and validation of behavioural protocols in the rCOS modeler (2010)
  6. Lei, Bin; Li, Xuandong; Liu, Zhiming; Morisset, Charles; Stolz, Volker: Robustness testing for software components (2010)
  7. Liu, Zhiming; Morisset, Charles; Stolz, Volker: rCOS: Theory and tool for component-based model driven development (2010)
  8. Zhan, Naijun; Kang, Eun Young; Liu, Zhiming: Component publications and compositions (2010)
  9. Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun: Refinement and verification in component-based model-driven design (2009)
  10. Du, Dehui; Liu, Jing; Cao, Honghua; Zhang, Miaomiao: BAS: A case study for modeling and verification in trustable model driven development (2009)
  11. Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan: Graph transformations for object-oriented refinement (2009)