{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:50:30Z","timestamp":1742403030240},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540200833"},{"type":"electronic","value":"9783540398004"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39800-4_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:54:22Z","timestamp":1294361662000},"page":"92-121","source":"Crossref","is-referenced-by-count":25,"title":["Software Architecture for Correct Components Assembly"],"prefix":"10.1007","author":[{"given":"Paola","family":"Inverardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Itu telecommunication standardisation sector, itu-t reccomendation z.120. message sequence charts (msc 1996). Geneva (1996)"},{"issue":"3","key":"6_CR2","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\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions On Software Engineering and Methodology"},{"issue":"7","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S. Balemi","year":"1993","unstructured":"Balemi, S., Hoffmann, G.J., Gyugyi, P., Wong-Toi, H., Franklin, G.F.: Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control\u00a038(7), 1040\u20131059 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Brandin, B.A., Wonham, W.M.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control\u00a039(2) (February 1994)","DOI":"10.1109\/9.272327"},{"key":"6_CR5","volume-title":"ACM Proc. of the joint 8th ESEC and 9th FSE","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Heinzinger, T.: Interface automata. In: ACM Proc. of the joint 8th ESEC and 9th FSE. ACM Press, New York (September 2001)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Heinzinger, T.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"6_CR7","volume-title":"Model Checking","author":"O.G. Edmund","year":"2001","unstructured":"Edmund, O.G., Clarke Jr., M., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2001)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Ellis, C.A., Gibbs, S.J.: Concurrency control in groupware systems. In: Proceedings of the 1989 ACM SIGMOD international conference on Management of data, pp. 399\u2013407 (1989)","DOI":"10.1145\/67544.66963"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software\u00a012(6) (November 1995)","DOI":"10.1109\/52.469757"},{"key":"6_CR10","unstructured":"Garlan, D., Perry, D.E.: Introduction to the Special Issue on Software Architecture 21(4), 269\u2013274 (1995)"},{"issue":"1","key":"6_CR11","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008645800955","volume":"6","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S.: Behaviour analysis of distributed systems using the tracta approach. Journal of Automated Software Engineering, special issue on Automated Analysis of Software\u00a06(1), 7\u201335 (1999)","journal-title":"Journal of Automated Software Engineering, special issue on Automated Analysis of Software"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: Proc. 17th IEEE Int. Conf. Automated Software Engineering 2002 (September 2002)","DOI":"10.1109\/ASE.2002.1114984"},{"key":"6_CR13","unstructured":"Inverardi, P., Tivoli, M.: Failure-free connector synthesis for correct components assembly. In: Specification and Verification of Component-Based Systems (SAVCBS 2003) - Workshop at ESEC\/FSE 2003, Helsinki, Finland, September 1-2 (2003)"},{"key":"6_CR14","volume-title":"ACM Proceedings of the joint 8th ESEC and 9th FSE","author":"P. Inverardi","year":"2001","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of deadlock free connectors for com\/dcom applications. In: ACM Proceedings of the joint 8th ESEC and 9th FSE, Vienna. ACM Press, New York (September 2001)"},{"key":"6_CR15","unstructured":"Inverardi, P., Tivoli, M.: Connectors synthesis for failures-free component based architectures. Technical Report, University of L\u2019Aquila, Department of Computer Science, ITALY (January 2003), http:\/\/sahara.di.univaq.it\/tech.php?id_tech=7 , http:\/\/www.di.univag.it\/~tivoli\/ffsynthesis.pdf"},{"key":"6_CR16","unstructured":"Inverardi, P., Tivoli, M., Bucchiarone, A.: Automatic synthesis of coordinators of cots group-ware applications: an example. In: International Workshop on Distributed and Mobile Collaboration (DMC 2003). To be published by the IEEE Computer Society Press in the post-proceedings of the 12th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2003), Linz, Austria, June 9-11 (2003)"},{"key":"6_CR17","unstructured":"Inverardi, P., Tivoli, M., Bucchiarone, A.: Coordinators synthesis for cots group-ware systems: an example. Technical Report, University of L\u2019Aquila, Department of Computer Science, ITALY (March 2003), http:\/\/www.di.univaq.it\/tivoli\/cscw_techrep.pdf"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M., Bucchiarone, A.: Failures-free connector synthesis for correct components assembly. Technical Report, University of L\u2019Aquila, Department of Computer Science, ITALY (March 2003), http:\/\/www.di.univaq.it\/tivoli\/ffs_techrep.pdf","DOI":"10.1007\/978-3-540-24626-8_12"},{"key":"6_CR19","unstructured":"Koch, M.: Design issues and model for a distributed multi-user editor. Computer Supported Cooperative Work, International Journal\u00a05(1) (1996)"},{"key":"6_CR20","unstructured":"Koch, M., Kock, J.: Using component technology for group editors - the iris group editor environment. In: Proc. Workshop on Object Oriented Groupware Platforms, September 1997, pp. 44\u201349 (1997)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Lee, B.G., Chang, K.H., Narayanan, N.H.: A model for semi-(a)synchronous collaborative editing. In: Proceedings of the Third European Conference on Computer Supported Cooperative Work, ECSCW 1993, September 1993, pp. 219\u2013231 (1993)","DOI":"10.1007\/978-94-011-2094-4_15"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Oreizy, P., Taylor, R.N.: Reuse of off-the-shelf components in c2-style architectures. In: Proceedings of the 1997 Symposium on Software Reusability and Proceedings of the 1997 International Conference on Software Engineering (May 1997)","DOI":"10.1145\/258366.258421"},{"key":"6_CR23","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"issue":"2","key":"6_CR24","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R.D. Nicola","year":"1995","unstructured":"Nicola, R.D., Vaandrager, F.: Three logics for branching bisimulation. Journal of the ACM\u00a042(2), 458\u2013487 (1995)","journal-title":"Journal of the ACM"},{"key":"6_CR25","unstructured":"Inverardi, P., Tivoli, M.: Automatic failures-free connector synthesis: An example. Technical Report, published on the Monterey 2002 Workshop Proceedings: Radical Innovations of Software and Systems Engineering in the Future, Universita\u2019 Ca\u2019 Foscari di Venezia, Dip. di Informatica, Technical Report CS-2002-10 (September 2002)"},{"key":"6_CR26","volume-title":"Component Software. Beyond Object Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software. Beyond Object Oriented Programming. Addison Wesley, Harlow (1998)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51525-9","volume-title":"Finite representations of ccs and tcsp programs by automata and petri nets","author":"D. Taubner","year":"1989","unstructured":"Taubner, D.: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. LNCS, vol.\u00a0369. Springer, Heidelberg (1989)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Tronci, E.: Automatic synthesis of controllers from formal specifications. In: Proc. of 2nd IEEE Int. Conf. on Formal Engineering Methods (December 1998)","DOI":"10.1109\/ICFEM.1998.730577"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ACM Proceedings of the joint 8th ESEC and 9th FSE, Vienna (September 2001)","DOI":"10.1145\/503209.503220"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Software Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39800-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:00:22Z","timestamp":1559926822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39800-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200833","9783540398004"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39800-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}