{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:35Z","timestamp":1725497195792},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77351-1_3","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:23:58Z","timestamp":1196940238000},"page":"18-33","source":"Crossref","is-referenced-by-count":4,"title":["Composite Contract Enforcement in Hierarchical Component Systems"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Collet","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Malenfant","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Ozanne","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Rivierre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst.\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst.\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR3","unstructured":"Aegedal, J.O.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University Of Oslo (2001)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: An Open Component Model and Its Support in Java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, Springer, Heidelberg (2004)"},{"key":"3_CR5","volume-title":"31th EUROMICRO Conference 2005","author":"H. Chang","year":"2005","unstructured":"Chang, H., Collet, P.: Fine-grained Contract Negotiation for Hierarchical Software Components. In: 31th EUROMICRO Conference 2005, Porto, Portugal, 30 August - 3 September 2005, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_73","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"P. Collet","year":"2007","unstructured":"Collet, P., Ozanne, A., Rivierre, N.: Towards a versatile contract model to organize behavioral specifications. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, Springer, Heidelberg (2007)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/11424529_13","volume-title":"Component-Based Software Engineering","author":"P. Collet","year":"2005","unstructured":"Collet, P., Rousseau, R., Coupaye, T., Rivierre, N.: A contracting system for hierarchical components. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K.C. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 187\u2013202. Springer, Heidelberg (2005)"},{"key":"3_CR8","volume-title":"Linear control system analysis and design: Conventional and modern.","author":"J.J. D\u2019azzo","year":"1995","unstructured":"D\u2019azzo, J.J., Houpis, C.: Linear control system analysis and design: Conventional and modern. McGraw-Hill, New York (1995)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contract soundness for object-oriented languages. In: Proceedings of OOPSLA 2001 (2001)","DOI":"10.1145\/504282.504283"},{"key":"3_CR10","unstructured":"Goguen, J.A., Burstall, R.M.: Cat, a system for the structured elaboration of correct programs from structured specifications. Technical Report CSL-118, SRI International, Computer Science Lab (1980)"},{"key":"3_CR11","unstructured":"Jones, C.B.: Specification and design of (parallel) programs. In: IFIP Congress, pp. 321\u2013332 (1983)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-540-30101-1_12","volume-title":"Formal Methods for Components and Objects","author":"J.-M. J\u00e9z\u00e9quel","year":"2004","unstructured":"J\u00e9z\u00e9quel, J.-M., Defour, O., Plouzeau, N.: An mda approach to tame component based software development. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 260\u2013275. Springer, Heidelberg (2004)"},{"key":"3_CR13","unstructured":"Leboucher, L., Najm, E.: A framework for real-time qos in distributed systems. In: IEEE Workshop on Middleware for Distributed Real-Time Systems and Service, San Francisco, California (1997)"},{"key":"3_CR14","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, Inc., Chichester (1999)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11560333_5","volume-title":"Service Availability","author":"N. Milanovic","year":"2005","unstructured":"Milanovic, N.: Contract-based web service composition framework with correctness guarantees. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol.\u00a03694, pp. 52\u201367. Springer, Heidelberg (2005)"},{"issue":"4","key":"3_CR16","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, M.: Proofs of networks of processes. IEEE Transactions on Software Engineering\u00a07(4), 417\u2013426 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR17","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":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-45064-1_14","volume-title":"Component-Based Software Quality","author":"R. Reussner","year":"2003","unstructured":"Reussner, R., Poernomo, I., Schmidt, H.W.: Reasoning about software architectures with contractually specified components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol.\u00a02693, pp. 287\u2013325. Springer, Heidelberg (2003)"},{"key":"3_CR19","volume-title":"Component Software \u2014 Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software \u2014 Beyond Object-Oriented Programming. Addison-Wesley Publishing Co., Reading (1997)"},{"key":"3_CR20","volume-title":"SAVBCS 2004","author":"H.-M. Tran","year":"2004","unstructured":"Tran, H.-M., Bedu, P., Duchien, L., Nguyen, H.-Q., Perrin, J.: Toward structural and behavioral analysis for component models. In: SAVBCS 2004. 12th ACM SIGSOFT Symposium on the Foundation of Software Engineering, NewPort Beach, California, USA, ACM Press, New York (November 2004)"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77351-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:19Z","timestamp":1619521759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77351-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773504"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77351-1_3","relation":{},"subject":[]}}