{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:02Z","timestamp":1725471242037},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"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\/11888116_11","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T14:06:43Z","timestamp":1159884403000},"page":"136-142","source":"Crossref","is-referenced-by-count":2,"title":["A LOTOS Framework for Middleware Specification"],"prefix":"10.1007","author":[{"given":"Nelson Souto","family":"Rosa","sequence":"first","affiliation":[]},{"given":"Paulo Roberto Freire","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-45648-1_17","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"D. Basin","year":"2002","unstructured":"Basin, D., Rittinger, F., Vigan\u00f2, L.: A Formal Analysis of the CORBA Security Service. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 330\u2013349. Springer, Heidelberg (2002)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bastide, R., Palanque, P., Sy, O., Navarre, D.: Formal Specification of CORBA Services: Experience and Lessons Learned. In: OOPSLA 2000, pp. 105\u2013117 (2000)","DOI":"10.1145\/354222.353179"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bastide, R., Sy, O., Navarre, D., Palanque, P.: A Formal Specification of the CORBA Event Service. In: FMOODS 2000, pp. 371\u2013396 (2000)","DOI":"10.1007\/978-0-387-35520-7_19"},{"key":"11_CR4","first-page":"22","volume-title":"IT Professional","author":"A.T. Campbell","year":"1999","unstructured":"Campbell, A.T., Coulson, G., Kounavis, M.E.: Managing Complexity: Middleware Explained. In: IT Professional, vol.\u00a01(5), pp. 22\u201328. IEEE Computer Society, Los Alamitos (1999)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Kreuz, D.: Formal Specification of CORBA Services using Object-Z. In: Second IEEE International Conference on Formal Engineering Methods (December 1998)","DOI":"10.1109\/ICFEM.1998.730582"},{"issue":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/508448.508473","volume":"45","author":"N. Venkatasubramanian","year":"2002","unstructured":"Venkatasubramanian, N.: Safe Composability of Middleware Services. Communications of the ACM\u00a045(6), 49\u201352 (2002)","journal-title":"Communications of the ACM"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/4236.991448","volume":"6","author":"S. Vinoski","year":"2002","unstructured":"Vinoski, S.: Where is Middleware? IEEE Internet Computing\u00a06(2), 83\u201385 (2002)","journal-title":"IEEE Internet Computing"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2004.01.011","volume":"108","author":"N. Rosa","year":"2004","unstructured":"Rosa, N., Cunha, P.: A Software Architecture-Based Approach for Formalising Middleware Behaviour. Electronic Notes in Theoretical Computer Science\u00a0108, 39\u201351 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Schmidt, D., Buschmann, F.: Patterns, Frameworks, and Middleware: Their Synergistic Relationships. In: Proceedings of the 25th international conference on Software Engineering, pp. 694\u2013704 (2003)","DOI":"10.1109\/ICSE.2003.1201256"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T12:25:35Z","timestamp":1555849535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11888116_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}