{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:21Z","timestamp":1725544761713},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358008"},{"type":"electronic","value":"9783540358336"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11786160_13","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T19:40:49Z","timestamp":1151955649000},"page":"227-244","source":"Crossref","is-referenced-by-count":1,"title":["Exceptions in Component Interaction Protocols \u2013 Necessity"],"prefix":"10.1007","author":[{"given":"Frantisek","family":"Plasil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viliam","family":"Holub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1002\/smr.321","volume":"17","author":"J. Adamek","year":"2005","unstructured":"Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis. Journal of Software Maintenance and Evolution: Research and Practice\u00a017(5), 363\u2013377 (2005)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"key":"13_CR2","volume-title":"Proceedings of SEA conference","author":"J. Adamek","year":"2004","unstructured":"Adamek, J., Plasil, F.: Erroneous Architecture is a Relative Concept. In: Proceedings of SEA conference. ACTA Press, Cambridge (2004)"},{"key":"13_CR3","first-page":"632","volume-title":"The Proceedings of APSEC 2004","author":"J. Adamek","year":"2004","unstructured":"Adamek, J., Plasil, F.: Partial Bindings of Components - any Harm? In: The Proceedings of APSEC 2004, pp. 632\u2013639. IEEE Computer Society, Los Alamitos (2004)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proceedings of the 9 th Annual ACM Symposium on Foundations of Software Engineering, FSE (2001)","DOI":"10.1145\/503209.503226"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Allen, R.J., Garlan, D.: A Formal Basics For Architectural Connection. ACM Transactions on Software Engineering and Methology (July 1997)","DOI":"10.1145\/258077.258078"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"DePrince jr., W., Hofmeister, C.: Enforcing a lips Usage Policy for CORBA Components. In: Proceedings of EUROMICRO (September 2003)","DOI":"10.1109\/EURMIC.2003.1231567"},{"key":"13_CR7","unstructured":"Fractal component model: http:\/\/fractal.objectweb.org\/"},{"key":"13_CR8","volume-title":"A Visual Formalism for Complex Systems, Science of Computer Programming","author":"D. Harel","year":"1987","unstructured":"Harel, D.: A Visual Formalism for Complex Systems, Science of Computer Programming, vol.\u00a08. Elsevier Science Publishers B.V, Amsterdam (1987)"},{"key":"13_CR9","unstructured":"Hilderink, G.H.: Managing Complexity of Control Software through Concurrency, PhD thesis, University of Twente, The Netherlands, ISBN\u00a090-365-2204-8 (May 2005)"},{"key":"13_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, UK, Ltd., Englewood Cliffs (1985)"},{"key":"13_CR11","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 Ltd., Chichester (1999)"},{"key":"13_CR12","unstructured":"Object Management Group: UML 2.0 Infrastructure Final Adopted Specification, OMG document ptc\/03-09-15 (September 2003)"},{"key":"13_CR13","unstructured":"PREfast: http:\/\/www.microsoft.com\/whdc\/devtools\/tools\/PREfast.mspx"},{"key":"13_CR14","unstructured":"Perseus persistence framework: http:\/\/perseus.objectweb.org\/"},{"key":"13_CR15","series-title":"A volume in the ACM","first-page":"185","volume-title":"Proceedings of the 4th WISICT 2005","author":"F. Plasil","year":"2005","unstructured":"Plasil, F.: Enhancing Component Specification by Behavior Description - the SOFA Experience. In: Proceedings of the 4th WISICT 2005. A volume in the ACM, pp. 185\u2013190. Computer Science Press, Trinity College Dublin, Ireland (2005)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11) (November 2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"13_CR17","unstructured":"Plasil, F., Visnovsky, S., Besta, M.: Bounding Behavior via Protocols. In: Proceedings of TOOLS USA 1999 (1999)"},{"key":"13_CR18","unstructured":"Reussner, R.H., Becker, S., Firus, V.: Component Composition with Parametric Contracts, Tagungsband der Net.ObjectDays (2004)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-24626-8_22","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"H.W. Schmidt","year":"2004","unstructured":"Schmidt, H.W., Kramer, B.J., Poernomo, I., Reussner, R.: Predictable Component Architectures Using Dependent Finite State Machines. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 310\u2013324. Springer, Heidelberg (2004)"},{"key":"13_CR20","unstructured":"Silva, R.M., Guerra, P.A.C., Rubira, C.M.F.: Component Integration using Compositions Contracts with Exception Handling. In: Proceedings of ECOOP2003 Workshop on Exception Handling in Object-Oriented Systems, TR 03-028 Univ. of Minnesota, Dept. of Comp. Sci (July 2003)"},{"key":"13_CR21","unstructured":"SOFA project: http:\/\/sofa.objectweb.org\/ , http:\/\/nenya.ms.mff.cuni.cz\/projects.phtml?p=sofa&q=0"},{"key":"13_CR22","unstructured":"Speedo: http:\/\/speedo.objectweb.org\/"},{"key":"13_CR23","unstructured":"Sun JDO specification: http:\/\/java.sun.com\/products\/jdo\/"},{"key":"13_CR24","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the Behavior of Objects and Components using Session Types. In: 1st International Workshop on Foundations of Coordination Languages and Software Architectures. Electronic Notes in Theoretical Computer Science (2002)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Wallnau, K.: Volume III: A Technology for Predictable Assembly from Certifiable Components, Technical Report CMU\/SEI-2003-TR-009 (April 2003)","DOI":"10.21236\/ADA413574"}],"container-title":["Lecture Notes in Computer Science","Architecting Systems with Trustworthy Components"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786160_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T15:26:03Z","timestamp":1555687563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786160_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358008","9783540358336"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11786160_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}