{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:19:28Z","timestamp":1742393968717},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_18","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1281-1300","source":"Crossref","is-referenced-by-count":6,"title":["Formal modeling of the enterprise javabeans\u2122 component integration framework"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Pedro","family":"Sousa","sequence":"first","affiliation":[]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Robert Allen and David Garlan. A formal basis for architectural connection. In ACM Trans. on Software Engineering and Methodology, July 1997.","DOI":"10.1145\/258077.258078"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Robert Allen, David Garlan, and James Ivers. Formal modeling and analysis of the HLA component integration standard. In Sixth Intl. Symposium on the Foundations of Software Engineering (FSE-6), Nov. 1998.","DOI":"10.1145\/288195.288251"},{"key":"18_CR3","unstructured":"Robert Allen. A Formal Approach to Software Architecture. PhD thesis, CMU, School of Computer Science, January 1997. CMU\/SCS Report CMU-CS-97-144."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Edmund Clarke et al. Automatic verification of finite state concurrent systems using temporal logic specifications. In ACM Trans. on Programming Languages and Systems, April 1986.","DOI":"10.1145\/5397.5399"},{"key":"18_CR5","series-title":"Lect Notes Comput Sci","volume-title":"A Decade of concurrency-Reflections and Perspectives","author":"E. Clarke","year":"1994","unstructured":"Edmund Clarke et al. Verification Tools for Finite-State Concurrent Systems. A Decade of concurrency-Reflections and Perspectives. Springer Verlag LNCS 803, 1994."},{"key":"18_CR6","volume-title":"Enterprise JavaBeans\u2122","author":"V. Matena","year":"1998","unstructured":"Vlada Matena, Mark Hapner, Enterprise JavaBeans\u2122, Sun Microsystems Inc., Palo Alto, California, 1998."},{"key":"18_CR7","unstructured":"Failures Divergence Refinement: User Manual and Tutorial, 1.2\u03b2. Formal Systems (Europe) Ltd., Oxford, England, 1992."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, November 1995.","DOI":"10.1109\/52.469757"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"18_CR10","unstructured":"Gerald J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"David C Luckham, et al. Specification and analysis of system architecture using Rapide. In IEEE Trans. on Software Engineering, April 1995.","DOI":"10.1109\/32.385971"},{"key":"18_CR12","unstructured":"Nancy A. Lynch and Mark R. Tuttle. An introduction to input\/output automata. Technical Report MIT\/LCS\/TM-373, MIT LCS, 1988."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings ESEC\u201995, Sept. 1995.","DOI":"10.1007\/3-540-60406-5_12"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"M. Moriconi, X. Qian, and R. Riemenschneider. Correct architecture refinement. In IEEE Trans. on Software Engineering, April 1995.","DOI":"10.1109\/32.385972"},{"issue":"3","key":"18_CR15","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"James L. Peterson","year":"1977","unstructured":"J.L. Peterson. Petri nets. ACM Computing Surveys, September 1977.","journal-title":"ACM Computing Surveys"},{"key":"18_CR16","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Mary Shaw, et al. Abstractions for software architecture and tools to support them. In IEEE Trans. on Software Engineering, April 1995.","DOI":"10.1109\/32.385970"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"K.J. Sullivan, J. Socha, and M. Marchukov. Using formal methods to reason about architectural standards. In 1997 Intl. Conf. on Software Engineering, May 1997.","DOI":"10.1145\/253228.253433"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:25:37Z","timestamp":1684088737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}