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 14 articles , 1 standard article )

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

  1. Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  2. Dong, Ruzhen; Faber, Johannes; Ke, Wei; Liu, Zhiming: rCOS: defining meanings of component-based software architectures (2013)
  3. Dong, Ruzhen; Zhan, Naijun; Zhao, Liang: An interface model of software components (2013)
  4. Zhao, Liang; Wang, Shuling; Liu, Zhiming: Graph-based object-oriented Hoare logic (2013)
  5. Chen, Zhenbang; Liu, Zhiming; Wang, Ji: Failure-divergence semantics and refinement of long running transactions (2012)
  6. Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker: RCOS: a formal model-driven engineering method for component-based software (2012)
  7. Liu, Zhiming; Morisset, Charles; Wang, Shuling: A graph-based implementation for mechanized refinement calculus of OO programs (2011)
  8. Chen, Zhenbang; Morisset, Charles; Stolz, Volker: Specification and validation of behavioural protocols in the rCOS modeler (2010) ioport
  9. Lei, Bin; Li, Xuandong; Liu, Zhiming; Morisset, Charles; Stolz, Volker: Robustness testing for software components (2010)
  10. Liu, Zhiming; Morisset, Charles; Stolz, Volker: rCOS: Theory and tool for component-based model driven development (2010) ioport
  11. Zhan, Naijun; Kang, Eun Young; Liu, Zhiming: Component publications and compositions (2010)
  12. Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun: Refinement and verification in component-based model-driven design (2009)
  13. Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan: Graph transformations for object-oriented refinement (2009)
  14. Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu: Harnessing rCOS for tool support -- the CoCoME experience (2007)