{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:44Z","timestamp":1725562604255},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219989"},{"type":"electronic","value":"9783540247746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24774-6_9","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T16:26:22Z","timestamp":1281284782000},"page":"84-99","source":"Crossref","is-referenced-by-count":1,"title":["Correct Components Assembly for a Product Data Management Cooperative System"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Tivoli","sequence":"first","affiliation":[]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[]},{"given":"Valentina","family":"Presutti","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Forghieri","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Sebastianis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"ThinkTeam overview, http:\/\/www.think3.it\/m\/en\/tt8.4_datasheet_en.pdf"},{"key":"9_CR2","unstructured":"Itu telecommunication standardisation sector, itu-t reccomendation z.120. message sequence charts (msc 1996), Geneva (1996)"},{"key":"9_CR3","unstructured":"Uml2 superstructure final adopted specification. ptc\/03-07-06 document (August. 2003), http:\/\/www.omg.org\/technology\/documents\/modeling_spec_catalog.htm#UML"},{"key":"9_CR4","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)"},{"issue":"5","key":"9_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/2.291294","volume":"27","author":"J. Grudin","year":"1994","unstructured":"Grudin, J.: Computer-supported cooperative work: History and focus. IEEE Computer Journal\u00a027(5), 19\u201326 (1994)","journal-title":"IEEE Computer Journal"},{"key":"9_CR6","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":"9_CR7","doi-asserted-by":"crossref","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, September 2001, ACM Press, Vienna (2001)","DOI":"10.1145\/503209.503227"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","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. 44\u201351. Springer, Heidelberg (2003)"},{"key":"9_CR9","unstructured":"Koch, M.: Design issues and model for a distributed multi-user editor. Computer Supported Cooperative Work, International Journal 5(1) (1996)"},{"key":"9_CR10","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":"9_CR11","unstructured":"Inverardi, P., Tivoli, M.: Automatic failures-free connector synthesis: An example. In: 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)"},{"issue":"65\/3","key":"9_CR12","first-page":"173","volume":"7735","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock-free software architectures for com\/dcom applications. The Journal of Systems and Software. Journal No. 7735\u00a0(65\/3), 173\u2013183 (2003)","journal-title":"Journal No."},{"key":"9_CR13","volume-title":"Understanding COM+","author":"D.S. Platt","year":"1999","unstructured":"Platt, D.S.: Understanding COM+. Microsoft Press, Redmond (1999)"},{"key":"9_CR14","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","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24774-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:23Z","timestamp":1605743783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24774-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219989","9783540247746"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24774-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}