{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:04:33Z","timestamp":1725516273195},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852889"},{"type":"electronic","value":"9783540852896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85289-6_10","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T11:47:04Z","timestamp":1218541624000},"page":"238-266","source":"Crossref","is-referenced-by-count":7,"title":["Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes"],"prefix":"10.1007","author":[{"given":"Jan","family":"Sch\u00e4fer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Reitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Gaillourdet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng.\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Sch\u00e4fer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Trans. Softw. Eng.\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G.: Abstractions for software architecture and tools to support them. IEEE Trans. Softw. Eng.\u00a021(4), 314\u2013335 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/ICSE.2002.1007967","volume-title":"ICSE 2002: Proceedings of the 24th International Conference on Software Engineering","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: ArchJava: connecting software architecture to implementation. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 187\u2013197. ACM Press, New York (2002)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45102-1_6","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"J.C. Seco","year":"2000","unstructured":"Seco, J.C., Caires, L.: A basic model of typed components. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 108\u2013128. Springer, Heidelberg (2000)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/ICSE.2002.1007968","volume-title":"ICSE 2002: Proceedings of the 24th International Conference on Software Engineering","author":"V.C. Sreedhar","year":"2002","unstructured":"Sreedhar, V.C.: Mixin\u2019up components. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 198\u2013207. ACM Press, New York (2002)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1996)","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1996), pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_10","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Poetzsch-Heffter","year":"2007","unstructured":"Poetzsch-Heffter, A., Sch\u00e4fer, J.: A representation-independent behavioral semantics for object-oriented components. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468. Springer, Heidelberg (2007)"},{"key":"10_CR11","volume-title":"Component Software - Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software - Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Publishing Company Inc, Reading (2002)","edition":"2"},{"key":"10_CR12","volume-title":"The Java TM Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java TM Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Barnett, M., DeLine, R., F\u00e4hndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology\u00a03(6) (2004)","DOI":"10.5381\/jot.2004.3.6.a2"},{"key":"10_CR14","volume-title":"Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm","author":"A. Poetzsch-Heffter","year":"2007","unstructured":"Poetzsch-Heffter, A., Geilmann, K., Sch\u00e4fer, J.: Infering ownership types for encapsulated object-oriented program components. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm. Springer, Heidelberg (to appear, 2007)"},{"key":"10_CR15","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Scholten, J.G., Arbab, F., de Boer, F.S., Bonsangue, M.M.: Mobile channels, implementation within and outside component. Electronical Notes in Theoretical Computer Science 66(4) (2002)","DOI":"10.1016\/S1571-0661(04)80449-3"},{"key":"10_CR17","unstructured":"Institut National de Recherche en Informatique et en Automatique: JoCaml (2007), http:\/\/jocaml.inria.fr"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-47993-7_18","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"N. Benton","year":"2002","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 415\u2013440. Springer, Heidelberg (2002)"},{"key":"10_CR19","unstructured":"von Itzstein, G.S.: Introduction of High Level Concurrency Semantics in Object Oriented Languages. PhD thesis, University of South Australia (2005)"},{"key":"10_CR20","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"2000","unstructured":"Lea, D.: Concurrent Programming in Java, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"10_CR21","first-page":"5","volume-title":"Pattern Languages of Program Design","author":"B. Woolf","year":"1998","unstructured":"Woolf, B.: Null object. In: Martin, R.C., Riehle, D., Ruschman, F. (eds.) Pattern Languages of Program Design, vol.\u00a03, pp. 5\u201318. Addison-Wesley, Reading (1998)"},{"key":"10_CR22","unstructured":"The CoCoME forum (2007), http:\/\/naf.informatik.uni-kl.de\/php\/phpBB2\/index.php"},{"key":"10_CR23","unstructured":"The Eclipse Foundation: Eclipse Java Development Tools (JDT) (2007), http:\/\/www.eclipse.org\/jdt\/"},{"key":"10_CR24","unstructured":"The Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (2007), http:\/\/www.eclipse.org\/modeling\/emf\/"}],"container-title":["Lecture Notes in Computer Science","The Common Component Modeling Example"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85289-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:23:46Z","timestamp":1606184626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85289-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852889","9783540852896"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85289-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}