Publications

A large number of colleagues have contributed to the development of the rCOS theory, method and tool. This list of publications shows where the ideas of rCOS are from, the current state of rCOS, and where it heads.

Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSA2001: 215-224 [ .pdf ]

Zhiming Liu, Xiaoshan Li, Jifeng He:Using Transition Systems to Unify UML Models. ICFEM2002: 535-547 [ .pdf ]

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM2003: 641-664 [ .pdf ]

Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference2004: 168-177 [ .pdf ]

Zhiming Liu, Jifeng He, Xiaoshan Li:Contract Oriented Development of Component Software. IFIP TCS2004: 349-366 [ .pdf ]

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electron. Notes Theor. Comput. Sci.101: 95-127 (2004) [ .pdf ]

Bernhard K. Aichernig , Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE2005: 291-300 [ .pdf ]

Zhiming Liu, R. Venkatesh: Methods and Tools for Formal Software Engineering. VSTTE2005: 31-41 [ .pdf ]

Jifeng He, Xiaoshan Li, Zhiming Liu :Component-Based Software Engineering. ICTAC2005: 70-95 [ .pdf ]

Xiaoshan Li, Zhiming Liu, Jifeng He:Consistency Checking of UML Requirements. ICECCS2005: 411-420 [ .pdf ]

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30 [ .pdf ]

Zhiming Liu, Vladimir Mencl , Anders P. Ravn, Lu Yang: Harnessing Theories for Tool Support. ISoLACCF 2006: 371-382 [ .pdf ]

Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006) [.pdf]

Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145 [ .pdf ]

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang: Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114 [ .pdf ]

Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206 [ .pdf ]

Xin Chen, Zhiming Liu, Vladimir Mencl: Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831 [ .pdf ]

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. 2007: 277-289 [ .pdf ]

Leila Silva, Augusto Sampaio, Zhiming Liu: Laws of Object-Orientation with Reference Semantics. SEFMCCF 2008: 217-226 [ .pdf ]

Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353 [ .pdf ]

Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng.4(3): 241-248 (2008) [ .pdf ]

Naijun Zhan, Eun-Young Kang, Zhiming Liu: Component Publications and Compositions. UTP 2008: 238-257 [ .pdf ]

Zhenbang Chen, Charles Morisset, Volker Stolz: Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN 2009: 387-401 [ .pdf ]

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009) [ .pdf ]

Volker Stolz: An integrated multi-view model evolution framework. Innovations in Systems and Software Engineering, Dec. 2009. [ DOI | .pdf ]

W. Ke, Z. Liu, S. Wang, and L. Zhao. A graph-based operational semantics of oo programs. In ICFEM'09, volume 5885 of Lecture Notes in Computer Science, pages 347-366. Springer, Nov. 2009. [ DOI | .pdf  ]

Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu: Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1-2): 103-131 (2009) [ .pdf ]

Zhiming Liu, Charles Morisset, Volker Stolz: rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80 [ .pdf ]

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz: Robustness testing for software components. Sci. Comput.75(10): 879-897 (2010) [ .pdf ]

Zhiming Liu, Charles Morisset, Shuling Wang: A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273 [ .pdf ]

Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011) [ .pdf ]

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 [ .pdf ]

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz:rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China 6(1): 17-39 (2012) [ .pdf ]

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 [ .pdf ]

Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu: rCOS: Defining Meanings of Component-Based Software Architectures. ICTAC Training School on Software Engineering 2013: 1-66 [ .pdf ]

Zhiming Liu, Xiaohong Chen: Model-Driven Design of Object and Component Systems. SETSS 2014: 152-255 [ .pdf ]

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57(12): 1-17 (2014) [ .pdf ]

Esther Palomar, Zhiming Liu, Jonathan P. Bowen , Yan Zhang, Sabita Maharjan: Component-based modelling for sustainable and scalable smart meter networks. WoWMoM 2014: 1-6 [ .pdf ]

Xin Chen, Zhiming Liu: Towards Interface-Driven Design of Evolving Component-Based Architectures. Provably Correct Systems 2017: 121-148 [ .pdf ]

Yilong Yang , Xiaoshan Li, Zhiming Liu, Wei Ke : RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) 2019: 59-62 [ .pdf ]

Zhiming Liu , Jonathan P. Bowen , Bo Liu , Shmuel S. Tyszberowicz , Tingting Zhang : Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSSCCF none  2019: 159-219 [ .pdf ]

Yilong Yang , Xiaoshan Li , Wei Ke , Zhiming Liu : Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab.69(2): 632-656 (2020) [ .pdf ]

Zhiming Liu, Ji Wang: Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng.21(11): 1535-1553 (2020) [ .pdf ]