rCOS Bibliography
Z. Liu, C. Morisset, and V. Stolz. rCOS: theory and tools for componenent-based model driven development. Technical Report 406, UNU-IIST, February 2009. Keynote to appear in Proc. 3rd International Symposium on Fundamentals of Software Engineering, FSEN 2009, Lecture Notes in Computer Science. [ .pdf ]
Z. Chen, C. Morisset, and V. Stolz. Specification and validation of behavioural protocols in the rCOS modeler. In Proc. FSEN 2009, 2009. to be published.
Z. Chen, Z. Liu, and V. Stolz. The rCOS tool. In J. Fitzgerald, P. G. Larsen, and S. Sahara, editors, Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University, May 2008.
Z. Liu and V. Stolz. The rCOS method in a nutshell. In J. Fitzgerald, P. G. Larsen, and S. Sahara, editors, Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University, May 2008.
L. Yang and V. Stolz. Integrating refinement into software development tools. In G. Pu and V. Stolz, editors, 1st Workshop on Harnessing Theories for Tool Support in Software, volume 207 of Electr. Notes in Theor. Comp. Sci., pages 69-88. Elsevier, April 2008. [ DOI | .pdf ]
Z. Liu, C. Morisset, and V. Stolz. A component-based access control monitor. In T. Margaria and B. Steffen, editors, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of Communications in Computer and Information Science. Springer, 2008. [ DOI ]
Q. Long, Z. Qiu, and Z. Liu. Formal use of design patterns and refactoring. In T. Margaria and B. Steffen, editors, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of Communications in Computer and Information Science, pages 323-338. Springer, 2008. [ DOI ]
L. Zhao, X. Liu, Z. Liu, and Z. Qiu. Graph transformations for object-oriented refinement. Formal Aspects of Computing, 2008. [ DOI ]
Z. Chen, Z. Liu, A. P. Ravn, V. Stolz, and N. Zhan. Refinement and verification in component-based model driven design. Science of Computer Programming, 2008. To be published.
D. Li, X. Li, J. Liu, and Z. Liu. Validation of requirements models by automatic prototyping. In First IEEE Intl. workshop UML and Formal Methods, J. Innovations in Systems and Software Engineering. Springer, 2008. To appear. [ DOI | http ]
Z. Chen, A. H. Hannousse, D. V. Hung, I. Knoll, X. Li, Y. Liu, Z. Liu, Q. Nan, J. C. Okika, A. P. Ravn, V. Stolz, L. Yang, and N. Zhan. Modelling with relational calculus of object and component systems-rCOS. In A. Rausch, R. Reussner, R. Mirandola, and F. Plasil, editors, The Common Component Modeling Example, volume 5153 of Lecture Notes in Computer Science, chapter 3. Springer, 2008. [ .pdf ]
E. Kang, Z. Liu, and N. Zhan. Component publications and compositions. Proc. 2nd Intl. Symp. on Unifying Theories of Programming, Dublin, Ireland. To be published by Lecture Notes in Computer Science, 2008.
Z. Chen, X. Li, Z. Liu, V. Stolz, and L. Yang. Harnessing rCOS for tool support - the CoCoME Experience. In C. B. Jones, Z. Liu, and J. Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, pages 83-114. Springer, 2007. UNU-IIST TR 383. [ DOI | .pdf ]
X. Chen, J. He, Z. Liu, and N. Zhan. A model of component-based programming. In F. Arbab and M. Sirjani, editors, International Symposium on Fundamentals of Software Engineering (FSEN 2007), volume 4767 of Lecture Notes in Computer Science, pages 191-206. Springer, April 2007. UNU-IIST TR 350. [ DOI | .pdf ]
Z. Chen, Z. Liu, V. Stolz, L. Yang, and A. P. Ravn. A refinement driven component-based design. In 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), pages 277-289. IEEE Computer Society, July 2007. [ DOI ]
X. Chen, Z. Liu, and V. Mencl. Separation of concerns and consistent integration in requirements modelling. In J. van Leeuwen, G. F. Italiano, W. van der Hoek, C. Meinel, H. Sack, and F. Plasil, editors, SOFSEM 2007: 33rd Conference on Current Trends in Theory and Practice of Computer Science, volume 4362 of Lecture Notes in Computer Science, pages 819-831, Harrachov, Czech Republic, January 2007. Springer. [ DOI | .pdf ]
X. Liu, Z. Liu, and L. Zhao. Object-oriented structure refinement - a graph transformational approach. Electr. Notes Theor. Comput. Sci., 187:145-159, 2007. UNU-IIST TR 340. [ DOI | .pdf ]
Z. Liu, V. Mencl, A. P. Ravn, and L. Yang. Harnessing theories for tool support. In Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), pages 371-382. IEEE Computer Society, August 2006. Full version as UNU-IIST Technical Report 343. [ DOI | .pdf ]
X. Chen, J. He, and Z. Liu. Component coordination in rCOS. Technical Report 335, UNU-IIST, P.O. Box 3058, Macao SAR, China, May 2006.
J. He, X. Li, and Z. Liu. A theory of reactive components. Electr. Notes Theor. Comput. Sci., 160:173-195, 2006. [ DOI ]
J. He, Z. Liu, and X. Li. rCOS: A refinement calculus of object systems. Theor. Comput. Sci., 365(1-2):109-142, 2006. UNU-IIST TR 322. [ DOI | .pdf ]
Q. Long, Z. Liu, X. Li, and J. He. Consistent code generation from uml models. In Australian Software Engineering Conference, pages 23-30. IEEE Computer Society, 2005. UNU-IIST TR 319. [ DOI | .pdf ]
X. Li, Z. Liu, and J. He. Consistency checking of uml requirements. In 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pages 411-420. IEEE Computer Society, June 2005. [ DOI ]
J. He, X. Li, and Z. Liu. Component-based software engineering. In D. V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, volume 3722 of Lecture Notes in Computer Science, pages 70-95, Hanoi, Vietnam, October 2005. Springer. UNU-IIST TR 330. [ DOI | .pdf ]
Q. Long, Z. Qiu, Z. Liu, L. Shao, and H. Jifeng. POST: A case study for an incremental development in rCOS. In D. V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, volume 3722 of Lecture Notes in Computer Science, pages 485-500, Hanoi, Vietnam, October 2005. Springer. UNU-IIST TR 324. [ DOI | .pdf ]
Z. Liu, J. He, X. Li, and Y. Chen. A relational model for formal object-oriented requirement analysis in uml. In J. S. Dong and J. Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, volume 2885 of Lecture Notes in Computer Science, pages 641-664. Springer, 2003. [ .pdf ]
