{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T09:45:50Z","timestamp":1748857550863},"reference-count":20,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0950-5849(00)00157-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:50:18Z","timestamp":1027612218000},"page":"171-188","source":"Crossref","is-referenced-by-count":10,"title":["Formal modeling of the Enterprise JavaBeans\u2122 component integration framework"],"prefix":"10.1016","volume":"43","author":[{"given":"J.P.","family":"Sousa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Garlan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(00)00157-9_BIB1","article-title":"A formal basis for architectural connection","volume":"July","author":"Allen","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB2","doi-asserted-by":"crossref","unstructured":"R. Allen, D. Garlan, J. Ivers, Formal modeling and analysis of the HLA component integration standard, in: Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998.","DOI":"10.1145\/288195.288251"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB3","unstructured":"R. Allen, A formal approach to software architecture, PhD thesis, CMU, School of Computer Science, January 1997, CMU\/SCS Report CMU-CS-97-144."},{"key":"10.1016\/S0950-5849(00)00157-9_BIB4","article-title":"Automatic verification of finite state concurrent systems using temporal logic specifications","volume":"April","author":"Clarke","year":"1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB5","unstructured":"V. Matena, M. Hapner, Enterprise JavaBeans\u2122, Sun Microsystems Inc., Palo Alto, California, 1998."},{"key":"10.1016\/S0950-5849(00)00157-9_BIB6","unstructured":"Failures Divergence Refinement: User Manual and Tutorial, 1.2\u03b2, Formal Systems (Europe) Ltd, Oxford, England, 1992."},{"key":"10.1016\/S0950-5849(00)00157-9_BIB7","article-title":"Architectural mismatch: why reuse is so hard","volume":"November","author":"Garlan","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB8","series-title":"Foundations of Component-Based Systems","first-page":"47","article-title":"Acme: architectural description of component-based systems","author":"Garlan","year":"2000"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB9","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB10","series-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB11","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","article-title":"Specification and analysis of system architecture using Rapide","volume":"April","author":"Luckham","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB12","unstructured":"N.A. Lynch, M.R. Tuttle, An introduction to input\/output automata, Technical Report MIT\/LCS\/TM-373, MIT LCS, 1988."},{"key":"10.1016\/S0950-5849(00)00157-9_BIB13","doi-asserted-by":"crossref","unstructured":"J. Magee, N. Dulay, S. Eisenbach, J. Kramer, Specifying distributed software architectures, in: Proceedings of ESEC'95, September 1995.","DOI":"10.1007\/3-540-60406-5_12"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB14","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","article-title":"Correct architecture refinement","volume":"April","author":"Moriconi","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB15","article-title":"Petri nets","volume":"September","author":"Peterson","year":"1977","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB16","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1998"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB17","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","article-title":"Abstractions for software architecture and tools to support them","volume":"April","author":"Shaw","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB18","series-title":"Proceedings of FM'99 \u2014 World Congress on Formal Methods in the Development of Software Systems","first-page":"1281","article-title":"Formal modeling of the Enterprise JavaBeans\u2122 component integration framework","volume":"vol. 1709","author":"Sousa","year":"1999"},{"key":"10.1016\/S0950-5849(00)00157-9_BIB19","doi-asserted-by":"crossref","unstructured":"K.J. Sullivan, J. Socha, M. Marchukov, Using formal methods to reason about architectural standards, in: International Conference on Software Engineering, May 1997.","DOI":"10.1145\/253228.253433"},{"issue":"6","key":"10.1016\/S0950-5849(00)00157-9_BIB20","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/32.508313","article-title":"A component- and message-based architectural style for GUI software","volume":"22","author":"Taylor","year":"1996","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001579?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001579?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T02:24:35Z","timestamp":1555899875000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584900001579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0950584900001579"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(00)00157-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}