{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:20:05Z","timestamp":1767183605842},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_25","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:04Z","timestamp":1269882724000},"page":"347-362","source":"Crossref","is-referenced-by-count":5,"title":["Automated Module Composition"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"25_CR1","unstructured":"R.K. Ahuja, T.L. Magnanti, and J.B. Orlin. Network Flows-Theory, Algorithms and Applications. Prentice-Hall, 1993."},{"key":"25_CR2","series-title":"Lect Notes Comput Sci","volume-title":"EMSOFT\u201901","author":"K. Butts","year":"2001","unstructured":"K. Butts, D. Bostic, A. Chutinan, J. Cook, B. Milam, and Y. Wang. Usage scenarios for a model compiler. In EMSOFT\u201901. Springer, LNCS 2211, 2001."},{"key":"25_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44804-7","volume-title":"EMSOFT\u201901","author":"L. Alfaro de","year":"2001","unstructured":"L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In EMSOFT\u201901. Springer, LNCS 2211, 2001."},{"key":"25_CR4","unstructured":"M. Garey and D. Johnson. Computers and Intractability: a guide to the theory of NP-completeness. Freeman, 1979."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"D. Jackson. Automating first-order relational logic. In Foundations of Software Engineering, 2000.","DOI":"10.1145\/355045.355063"},{"key":"25_CR6","unstructured":"E. Kiciman, L. Melloul, and A. Fox. Towards zero-code service composition. In 8th Workshop on Hot Topics in Operating Systems (HotOS VIII), 2001."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"C. Kloukinas and V. Issarny. Automating the composition of middleware configurations. In Automated Software Engineering, 2000.","DOI":"10.1109\/ASE.2000.873668"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"C. Kloukinas and V. Issarny. Spin-ning Software Architectures: A Method for Exploring Complex Systems. In Working IEEE\/IFIP Conference on Software Architecture (WICSA2001), 2001.","DOI":"10.1109\/WICSA.2001.948409"},{"key":"25_CR9","unstructured":"E.A. Lee and Y. Xiong. System-level types for component-based design. Technical report, Technical Memorandum UCB\/ERL M00\/8, University of California, Berkeley, 2000."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic specifications. ACM TOPLAS, 6(1), January 1984.","DOI":"10.1145\/357233.357237"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"T. Margaria and B. Steffen. Backtracking-free design planning by automatic synthesis in metaframe. In Fundamental Aspects of Software Engineering, 1998.","DOI":"10.1007\/BFb0053591"},{"key":"25_CR12","unstructured":"W. Milam and A. Chutinan. Model composition and analysis challenge problems. Technical report of Mobies project. Available at: http:\/\/vehicle.me.berkeley.edu\/mobies , 2001."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"G.L. Nemhauser and L.A. Wolsey. Integer and Combinatorial Optimization. Wiley, 1988.","DOI":"10.1002\/9781118627372"},{"key":"25_CR14","unstructured":"S. R. Ponnekanti and A. Fox. Sword: A developer toolkit for web service composition. In 11th World Wide Web Conference (Web Engineering Track), 2002."},{"key":"25_CR15","unstructured":"M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996."},{"key":"25_CR16","unstructured":"B. Steffen, T. Margaria, and M. von der Beeck. Automatic synthesis of linear process models from temporal constraints: An incremental approach. In ACM\/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS\u201997), 1997."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"S. Tripakis. Automated composition of module chains. In ETAPS\u201902 Workshop on Software Composition. Volume 65, issue 4 of ENTCS, Elsevier, 2002.","DOI":"10.1016\/S1571-0661(04)80440-7"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The Koala component model for consumer electronics software. IEEE Computer, March 2000.","DOI":"10.1109\/2.825699"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:51:30Z","timestamp":1558968690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}