{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:22:32Z","timestamp":1737609752757,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425786"},{"type":"electronic","value":"9783540448150"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44815-2_6","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:17:24Z","timestamp":1195139844000},"page":"70-84","source":"Crossref","is-referenced-by-count":4,"title":["Towards a Foundation of Component-Oriented Software Reference Models"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Teschke","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Ritter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,13]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04038-6","volume-title":"SAP R\/3 Implementation. Methods and Tools","author":"H.-J. Appelrath","year":"2000","unstructured":"Appelrath, H.-J., and Ritter, J. SAP R\/3 Implementation. Methods and Tools. SAP Excellence. Springer-Verlag, Berlin, Heidelberg, 2000."},{"key":"6_CR2","unstructured":"Brockschmidt, K. Inside OLE, 2. ed. Microsoft Press, 1995."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Canal, C., Fuentes, L., Troya, J. M., and Vallecillo, A. Extending CORBA interfaces with \u03c0-calculus for protocol compatibility. In Proceedings of TOOLS Europe 2000 (Dpto. de Lenguajes y Ciencias de la Computacin, Universidad de laga 2000), IEEE Press.","DOI":"10.1109\/TOOLS.2000.848763"},{"key":"6_CR4","unstructured":"Data Access Technologies. Business Object Component Architecture Overview, May 1998. http:\/\/www.d-a-t.com\/Documents\/CdlConcepts.PDF ."},{"key":"6_CR5","unstructured":"Elbert, J., and Engels, G. Observable or invocable behaviour you have to choose!Tech. Rep.tr94-38, University of Koblenz, University of Leiden, 1994."},{"key":"6_CR6","unstructured":"Eddon, G., and Eddon, H. Inside Distributed COM. Microsoft Press, 1998."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Fischer, C. CSP-OZ: A combination of Object-Z and CSP. In Proceedings of Formal Methods for Open Object-Based Distributed Systems (FMOODS\u2019 97) (1997), H. Bowmann and J. Derrick, Eds., vol. 2, Chapman & Hall, pp. 423\u2013438.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"6_CR8","volume-title":"Componentware","author":"F. Griffel","year":"1998","unstructured":"Griffel, F. Componentware. dpunkt-Verlag, Heidelberg, 1998."},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/2.596624","volume":"30","author":"D Harel","year":"1997","unstructured":"Harel, D., and Gry, E. Executable object modeling with statecharts. IEEE Computer30, 7 (1997).","journal-title":"IEEE Computer"},{"key":"6_CR10","unstructured":"Hartel, P., Hartmann, T., Kusch, J., and Saake, G. Specifying information systems dynamics in TROLL. In Proceedings of Workshop Formal Methods for Information Systems Dynamics (University of Twente, 1994), pp. 53\u201364."},{"key":"6_CR11","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare, C. A. R. Communicating Sequential Processes. Prentice Hall, New York, 1985."},{"key":"6_CR12","unstructured":"Keller, G., and Teufel, T. SAP R\/3 Process Oriented Implementation: Iterative Process Prototyping. Addison Wesley Publishing Company, 1998."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Esenbach, S., and Kramer, J. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference (ESEC\u2019 95) (Barcelona, 1995).","DOI":"10.1007\/3-540-60406-5_12"},{"key":"6_CR14","unstructured":"Matena, V., and Hapner, M. Enterprise JavaBeans Specification. Sun Microsystems, 1999."},{"key":"6_CR15","volume-title":"Communication and Concurrency","author":"R. Mlner","year":"1989","unstructured":"Mlner, R. Communication and Concurrency. Prentice Hall, New York, 1989."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Milner, R. The polyadic \u03c0-calculus: A tutorial. In Logic and Algebra of Specification, F. L. Hamer, W. Brauer, and H. Schwichtenberg, Eds. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"1","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., and Walker, D. A calculus of mobile processes, part I and II. Journal of Information and Computation 100, 1 (1992), 1\u201377.","journal-title":"Journal of Information and Computation 100"},{"key":"6_CR18","unstructured":"Nrstrasz, O. Regular types for active objects. In Object-Oriented Software Composition, O. Nierstrasz and D. Tichritzis, Eds. Prentice Hall, 1995, pp. 99\u2013121."},{"key":"6_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526589","volume-title":"Nets, Terms and Formulas","author":"E.-R. Olderog","year":"1991","unstructured":"Olderog, E.-R. Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1991."},{"key":"6_CR20","unstructured":"OMG. CORBA Components: Joint Revised Submission, OMG TC document orbos\/99-02-05. Object Management Group, 1999."},{"key":"6_CR21","unstructured":"OMG. Unified Modeling Language Specification, Version 1. 3. Object Management Group, 1999."},{"key":"6_CR22","unstructured":"Pierce, B. C., and Turner, D. N. Pict: A programming language based on the \u03c0-calculus. Tech. Rep.CSCI 476, Computer Science Department, Indiana University, 1997."},{"key":"6_CR23","unstructured":"Ritter, J. Prozessorientierte Konfiguration komponentenbasierter Anwendungssysteme. Dissertation, Carl von Ossietzky Universit\u00e4t Oldenburg, 2000."},{"key":"6_CR24","first-page":"26","volume":"3","author":"M. Stal","year":"2000","unstructured":"Stal, M. DeReich der Mitte-Die Komponententechnologien COM+, EJB und CORBA Components. OBJEKTspektrum3 (2000), 26\u201333.","journal-title":"OBJEKTspektrum"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Szyperski, C. Component Software-Beyond Object-Oriented Programming. Addison-Wesley, 1998.","DOI":"10.1007\/3-540-46589-8_10"},{"key":"6_CR26","unstructured":"Teschke, T., and Ritter, J. Towards a foundation of component-oriented software reference models. In Proceedings of Net. ObjectDays2000 (2000), pp. 479\u2013493."},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A. M. Aremski","year":"1997","unstructured":"Aremski, A. M., and Wing, J. M. Specification matching of software components. ACM Transactions on Software Engineering and Methodology6, 4 (1997), 333\u2013369.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Generative and Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44815-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T11:30:39Z","timestamp":1737545439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44815-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425786","9783540448150"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44815-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}