{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T03:01:49Z","timestamp":1770433309993,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642116223","type":"print"},{"value":"9783642116230","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_23","type":"book-chapter","created":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T01:08:29Z","timestamp":1264381709000},"page":"387-401","source":"Crossref","is-referenced-by-count":8,"title":["Specification and Validation of Behavioural Protocols in the rCOS Modeler"],"prefix":"10.1007","author":[{"given":"Zhenbang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-75698-9_13","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"X. Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 191\u2013206. Springer, Heidelberg (2007)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-69507-3_71","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"X. Chen","year":"2007","unstructured":"Chen, X., Liu, Z., Mencl, V.: Separation of concerns and consistent integration in requirements modelling. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 819\u2013831. Springer, Heidelberg (2007)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Chen, Z., Hannousse, A.H., Hung, D.V., Knoll, I., Li, X., Liu, Y., Liu, Z., Nan, Q., Okika, J.C., Ravn, A.P., Stolz, V., Yang, L., Zhan, N.: Modelling with relational calculus of object and component systems\u2013rCOS. In: Rausch et\u00a0al [ 18], ch. 3","DOI":"10.1007\/978-3-540-85289-6_6"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-75221-9_5","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"Z. Chen","year":"2007","unstructured":"Chen, Z., Li, X., Liu, Z., Stolz, V., Yang, L.: Harnessing rCOS for tool support - the CoCoME Experience. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol.\u00a04700, pp. 83\u2013114. Springer, Heidelberg (2007); UNU-IIST TR 383"},{"key":"23_CR5","unstructured":"Chen, Z., Liu, Z., Stolz, V.: The rCOS tool. In: Fitzgerald, J., Larsen, P.G., Sahara, S. (eds.) Modelling and Analysis in VDM: Proceedings of the Fourth VDM\/Overture Workshop. CS-TR-1099 in Technical Report Series, Newcastle University (May 2008)"},{"key":"23_CR6","unstructured":"Formal Systems (Europe) Ltd. FDR2 User Manual (2005)"},{"key":"23_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"23_CR8","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"23_CR9","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C. Larman","year":"2005","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 3rd edn. Prentice-Hall Intl., Englewood Cliffs (2005)","edition":"3"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/ISoLA.2006.49","volume-title":"Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)","author":"Z. Liu","year":"2006","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), pp. 371\u2013382. IEEE Computer Society, Los Alamitos (2006); Full version as UNU-IIST Technical Report 343"},{"key":"23_CR11","volume-title":"Executable UML: A foundation for model-driven architecture","author":"S. Mellor","year":"2002","unstructured":"Mellor, S., Balcer, M.: Executable UML: A foundation for model-driven architecture. Addison-Wesley, Reading (2002)"},{"issue":"2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s00165-007-0042-7","volume":"20","author":"M. M\u00f6ller","year":"2008","unstructured":"M\u00f6ller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Integrating a formal method into a software engineering process with UML and Java. Formal Aspects of Computing\u00a020(2), 161\u2013204 (2008)","journal-title":"Formal Aspects of Computing"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-36103-0_31","volume-title":"Formal Methods and Software Engineering","author":"M.Y. Ng","year":"2002","unstructured":"Ng, M.Y., Butler, M.: Tool support for visualizing CSP in UML. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 287\u2013298. Springer, Heidelberg (2002)"},{"key":"23_CR14","first-page":"138","volume-title":"SEFM","author":"M.Y. Ng","year":"2003","unstructured":"Ng, M.Y., Butler, M.: Towards formalizing UML state diagrams in CSP. In: SEFM, pp. 138\u2013147. IEEE Computer Society, Los Alamitos (2003)"},{"key":"23_CR15","unstructured":"NoMagic, Inc. Magicdraw, \n                    \n                      http:\/\/www.magicdraw.com"},{"key":"23_CR16","unstructured":"Object Management Group. MDA Guide (2003), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"23_CR17","series-title":"Electr. Notes in Theor. Comp. Sci.","volume-title":"1st Workshop on Harnessing Theories for Tool Support in Software","year":"2008","unstructured":"Pu, G., Stolz, V. (eds.): 1st Workshop on Harnessing Theories for Tool Support in Software. Electr. Notes in Theor. Comp. Sci., vol.\u00a0207. Elsevier, Amsterdam (2008)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"The Common Component Modeling Example","year":"2008","unstructured":"Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.): The Common Component Modeling Example. LNCS, vol.\u00a05153. Springer, Heidelberg (2008)"},{"key":"23_CR19","volume-title":"Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"1","key":"23_CR20","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C.F. Snook","year":"2006","unstructured":"Snook, C.F., Butler, M.J.: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Yang, L., Stolz, V.: Integrating refinement into software development tools. In: Pu, Stolz [17], pp. 69\u201388","DOI":"10.1016\/j.entcs.2008.03.086"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Yu, X., Wang, Z., Pu, G., Mao, D., Liu, J.: The verification of rCOS using Spin. In: Pu, Stolz [17], pp. 49\u201367","DOI":"10.1016\/j.entcs.2008.03.085"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:54:42Z","timestamp":1619783682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}