{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:18:16Z","timestamp":1771042696825,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540287483","type":"print"},{"value":"9783540287490","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550679_6","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T08:59:48Z","timestamp":1127811588000},"page":"67-82","source":"Crossref","is-referenced-by-count":10,"title":["Analysis of Compositional Conflicts in Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Leicher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Busse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rn Guy","family":"S\u00fc\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"47","volume-title":"Foundations of Component-Based Systems.","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems., pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1088\/0967-1846\/1\/5\/005","volume":"1","author":"J. Magee","year":"1994","unstructured":"Magee, J., Dulay, N., Kramer, J.: Regis: A constructive development environment for distributed programs. Distributed Systems Engineering\u00a01, 304\u2013312 (1994)","journal-title":"Distributed Systems Engineering"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Schafer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"6_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.L., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering\u00a021, 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR5","volume-title":"Concurrency, State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency, State Models & Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"6_CR6","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall PTR (1985)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch, or, why it\u2019s hard to build systems out of existing parts. In: Proceedings of the 17th International Conference on Software Engineering, Seattle, Washington, pp. 179\u2013185 (1995)","DOI":"10.1145\/225014.225031"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/337180.337201","volume-title":"Proceedings of the 22nd international conference on Software engineering","author":"N.R. Mehta","year":"2000","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proceedings of the 22nd international conference on Software engineering, pp. 178\u2013187. ACM Press, New York (2000)"},{"key":"6_CR9","unstructured":"Mehta, N.R.: Software connectors: A taxonomy approach. In: Workshop on Evaluating Software Architectural Solutions 2000, Institute for Software Research University of California, Irvine (2000), http:\/\/www.isr.uci.edu\/events\/wesas2000\/position-papers\/mehta.pdf"},{"key":"6_CR10","first-page":"6","volume-title":"Proceedings of the 21st International Computer Software and Applications Conference","author":"M. Shaw","year":"1997","unstructured":"Shaw, M., Clements, P.C.: A field guide to boxology: Preliminary classification of architectural styles for software systems. In: Proceedings of the 21st International Computer Software and Applications Conference, pp. 6\u201313. IEEE Computer Society, Los Alamitos (1997)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Davis, L., Gamble, R., Payton, J.: The impact of component architectures on interoperability. Journal of Systems and Software 61, 31\u201345 (2002) (based on the Technical Report UTULSA-MCS-99-30)","DOI":"10.1016\/S0164-1212(01)00112-1"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-36465-X_6","volume-title":"COTS-Based Software Systems","author":"L. Davis","year":"2003","unstructured":"Davis, L., Flagg, D., Gamble, R., Karatas, C.: Classifying interoperability conflicts. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol.\u00a02580, pp. 62\u201371. Springer, Heidelberg (2003)"},{"key":"6_CR13","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 Transactions on Software Engineering and Methodology (TOSEM)\u00a06, 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"6_CR14","unstructured":"Kelkar, A., Gamble, R.: Understanding the architectural characteristics behind middleware choices. In: 1st International Conference in Information Reuse and Integration 1999 (1999)"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1145\/302405.302643","volume-title":"Proceedings of the 21st international conference on Software engineering","author":"D. Yakimovich","year":"1999","unstructured":"Yakimovich, D., Bieman, J.M., Basili, V.R.: Software architecture classification for estimating the cost of cots integration. In: Proceedings of the 21st international conference on Software engineering, pp. 296\u2013302. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"6_CR16","unstructured":"Mehta, N.R., Medvidovic, N.: Understanding software connector compatibilites using a connector taxonomy. In: Proceedings of First Workshop on Software Design and Architecture (SoDA 2002), Bangalore, India (2002)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-36578-8_2","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Pahl","year":"2003","unstructured":"Pahl, C.: An ontology for software component matching. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 6\u201321. Springer, Heidelberg (2003)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-48005-6_28","volume-title":"The Semantic Web - ISWC 2002","author":"M. Sintek","year":"2002","unstructured":"Sintek, M., Decker, S.: TRIPLE\u2013A query, inference, and transformation language for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 364. Springer, Heidelberg (2002)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2003.1231145","volume":"20","author":"S.J. Mellor","year":"2003","unstructured":"Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Software\u00a020, 14\u201318 (2003)","journal-title":"IEEE Software"},{"key":"6_CR20","unstructured":"Miller, J., Mukerji, J.: MDA Guide Version 1.0. Web Document Number omg\/2003-05-01 (2003), http:\/\/www.omg.org"},{"key":"6_CR21","unstructured":"G\u00e4dicke, J.: Metadatengest\u00fctzte analyse der kommunikationsf\u00e4higkeit von enterprise java beans und.net. Master\u2019s thesis, TU Berlin, German (2004)"},{"key":"6_CR22","volume-title":"Generative Programming - Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-45221-8_4","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J.G. S\u00fc\u00df","year":"2003","unstructured":"S\u00fc\u00df, J.G., Leicher, A., Weber, H., Kutsche, R.D.: Model-centric engineering with the evolution and validation environment. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 31\u201343. Springer, Heidelberg (2003)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-540-30229-2_26","volume-title":"Middleware 2004","author":"A. Billig","year":"2004","unstructured":"Billig, A., Busse, S., Leicher, A., S\u00fc\u00df, J.G.: Platform independent model transformation based on TRIPLE. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol.\u00a03231, pp. 493\u2013511. Springer, Heidelberg (2004)"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"6_CR27","unstructured":"W3C: RDF Vocabulary Description Language 1.0: RDF Schema (2003), URL: http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"6_CR28","first-page":"185","volume-title":"Readings in Agents","author":"G. Wiederhold","year":"1997","unstructured":"Wiederhold, G.: Mediators in the Architecture of Future Information Systems. In: Huhns, M.N., Singh, M.P. (eds.) Readings in Agents, pp. 185\u2013196. Morgan Kaufmann, San Francisco (1997)"},{"key":"6_CR29","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press (2002) ISBN 0-262-16209-1"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM\u00a043, 555\u2013600 (1996)","journal-title":"J. ACM"},{"key":"6_CR31","unstructured":"Leicher, A.: A framework for identifying compositional conflicts in component-based systems. Technical Report 2004-23, TU Berlin (2004) (to appear)"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-39800-4_6","volume-title":"Formal Methods for Software Architectures","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 92\u2013121. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550679_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T15:37:36Z","timestamp":1683214656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550679_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287483","9783540287490"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11550679_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}