{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:36Z","timestamp":1725550656092},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_31","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"469-484","source":"Crossref","is-referenced-by-count":3,"title":["On Refinement of Software Architectures"],"prefix":"10.1007","author":[{"given":"Sun","family":"Meng","sequence":"first","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Zhang","family":"Naixiao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Abdurazik, A.: Suitability of the UML as an Architecture Description Language with Applications to Testing. Technical Report ISE-TR-00-01, Information and software engineering, George Mason University (2000)"},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F. Arbab","year":"2003","unstructured":"Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 33\u201370. Springer, Heidelberg (2003)"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"issue":"8","key":"31_CR4","first-page":"891","volume":"9","author":"L.S. Barbosa","year":"2003","unstructured":"Barbosa, L.S.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science\u00a09(8), 891\u2013909 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Barbosa, L.S., de Oliveira, J.N.F.: State-based components made generic. In: Peter Gumm, H. (ed.) Elect. Notes in Theor. Comp. Sci. (CMCS 2003 - Workshop on Coalgebraic Methods in Computer Science), Warsaw, April 2003, vol.\u00a082.1 (2003)","DOI":"10.1016\/S1571-0661(04)80631-5"},{"key":"31_CR6","volume-title":"Mathematical Frameworks for Component Software.- Models for Analysis and Synthesis, ch.\u00a02","author":"L.S. Barbosa","year":"2004","unstructured":"Barbosa, L.S., Meng, S., Aichernig, B.K., Rodrigues, N.: On the semantics of componentware: a coalgebraic perspective. In: He, J., Liu, Z. (eds.) Mathematical Frameworks for Component Software.- Models for Analysis and Synthesis, ch.\u00a02. World Scientific, Singapore (2004) (to be published)"},{"key":"31_CR7","volume-title":"Client\/Server Architecture","author":"A. Berson","year":"1992","unstructured":"Berson, A.: Client\/Server Architecture. McGraw-Hill, New York (1992)"},{"key":"31_CR8","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, Reading (1999)"},{"key":"31_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"W.-P. Roever de","year":"1998","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge University Press, Cambridge (1998)"},{"key":"31_CR10","unstructured":"Garlan, D.: Higher-order connectors. In: Proceedings of Workshop on Compositional Software Architectures (January 1998)"},{"key":"31_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(87)90224-9","volume":"25","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Jifeng, H., Sanders, J.W.: Prespecification in data refinement. Information Processing Letters\u00a025, 71\u201376 (1987)","journal-title":"Information Processing Letters"},{"key":"31_CR12","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Information\u00a01, 271\u2013281 (1972)","journal-title":"Acta Information"},{"key":"31_CR13","volume-title":"The Unified Process for Practitioners: Object Oriented Design, UML and Java","author":"J. Hunt","year":"2001","unstructured":"Hunt, J.: The Unified Process for Practitioners: Object Oriented Design, UML and Java, Practitioner. Springer, Heidelberg (2001)"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Transactions on Software Engineering\u00a021(4) (1995)","DOI":"10.1109\/32.385973"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Hughes, J.: Simulations in coalgebra. In: Peter Gumm, H. (ed.) Elect. Notes in Theor. Comp. Sci (CMCS 2003 - Workshop on Coalgebraic Methods in Computer Science), Warsaw, April 2003, vol.\u00a082, pp. 245\u2013263 (2003)","DOI":"10.1016\/S1571-0661(04)80636-4"},{"issue":"7","key":"31_CR16","first-page":"808","volume":"10","author":"M.A. Marco","year":"2004","unstructured":"Marco, M.A., Barbosa, A., Barbosa, L.S.: A Relational Model for Component Interconnection. Journal of Universal Computer Science\u00a010(7), 808\u2013823 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-31862-0_6","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"M.A. Marco","year":"2005","unstructured":"Marco, M.A., Barbosa, A., Barbosa, L.S.: Specifying software connectors. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 52\u201367. Springer, Heidelberg (2005)"},{"key":"31_CR18","unstructured":"Meng, S., Barbosa, L.S.: On Refinement of Generic Components. Technical Report 281, UNU\/IIST (May 2003)"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-27815-3_38","volume-title":"Algebraic Methodology and Software Technology","author":"S. Meng","year":"2004","unstructured":"Meng, S., Barbosa, L.S.: On Refinement of Generic State-based Software Components. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 506\u2013520. Springer, Heidelberg (2004)"},{"key":"31_CR20","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"31_CR21","volume-title":"Programming from Specifications, Second Edition","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications, Second Edition. Prentice Hall, Englewood Cliffs (1994)"},{"issue":"4","key":"31_CR22","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct architecture refinement. IEEE Transactions on Software Engineering\u00a021(4), 356\u2013372 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"31_CR23","unstructured":"OMG. OMG Unified Modeling Language Specification, Version 1.3 (2000)"},{"key":"31_CR24","volume-title":"Proceedings of ICFEM 1997","author":"J. Philipps","year":"1997","unstructured":"Philipps, J., Rumpe, B.: Refinement of information flow architectures. In: Hinchey, M. (ed.) Proceedings of ICFEM 1997. IEEE CS Press, Los Alamitos (1997)"},{"key":"31_CR25","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley Longman, Amsterdam (1999)"},{"key":"31_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249, 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"31_CR27","first-page":"13","volume-title":"Software Architectures - Advances and Applications","author":"J.-G. Schneider","year":"1999","unstructured":"Schneider, J.-G., Nierstrasz, O.: Components, scripts, glue. In: Barroca, L., Hall, J., Hall, P. (eds.) Software Architectures - Advances and Applications, pp. 13\u201325. Springer, Heidelberg (1999)"},{"key":"31_CR28","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T02:37:40Z","timestamp":1552444660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11560647_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}