{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:39:00Z","timestamp":1725485940902},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006794"},{"type":"electronic","value":"9783540365204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36520-6_8","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T14:07:20Z","timestamp":1181225240000},"page":"87-98","source":"Crossref","is-referenced-by-count":2,"title":["An Experience in Architectural Extensions: Active Objects in J2EE"],"prefix":"10.1007","author":[{"given":"Paola","family":"Inverardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Mancinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,17]]},"reference":[{"key":"8_CR1","unstructured":"L. G. DeMichiel, L. \u00dcmit Yal\u00e7inalp, and S. Krishna. Enterprise JavaBeansTM Specification, Version 2.0. On-line at <http:\/\/java.sun.com\/products\/ejb\/ docs.html> , year2001."},{"key":"8_CR2","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"P. Inverardi, F. Mancinelli, H. Muccini, and P. Pelliccione. An Experience in Architectural Extensions: Active Objects in J2EE. In Technical Report, University of L\u2019Aquila, year 2002. On-line at <http:\/\/www.henrymuccini.com\/publications.htm> .","DOI":"10.1007\/3-540-36520-6_8"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"P. Inverardi, H. Muccini, and P. Pelliccione. Automated Check of Architectural Models Consistency using SPIN. In the Automated Software Engineering Conference Proceedings (ASE 2001). San Diego, California, November 2001.","DOI":"10.1109\/ASE.2001.989826"},{"key":"8_CR5","unstructured":"P. Inverardi, H. Muccini, and P. Pelliccione. Checking Consistency Between Architectural Models Using SPIN. In TR 02\/01, University of L\u2019Aquila. On-line at <http:\/\/www.henrymuccini.com\/publications.htm> , year 2001."},{"key":"8_CR6","unstructured":"P. Inverardi, H. Muccini, and P. Pelliccione. Checking Consistency Between Architectural Models Using SPIN. In Proc. the First Int. Workshop From Software Requirements to Architectures (STRAW\u201901), year 2001."},{"key":"8_CR7","unstructured":"T. Jenkinson. The Active Object Design Paradigm. On-line at <http:\/\/www.cs.ncl.ac.uk\/people\/t.j.jenkinson\/home.formal\/activeobjects.html> ."},{"key":"8_CR8","unstructured":"N. Kassem and the Enterprise Team. Designing Enterprise Applications with the JavaTM 2 Platform, Enterprise Edition. On-line at <http:\/\/java.sun.com\/j2ee\/download.html> , year 2000."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"R. Kazman, L. Bass, G. Abowd, and M. Web. Saam: A method for analyzing the properties of software architectures. Proceedings of ICSE 16, Sorrento, Italy:81\u201390, May 1994.","DOI":"10.1109\/ICSE.1994.296768"},{"key":"8_CR10","unstructured":"R. G. Lavender and D. C. Schmidt. Active Object-An Object Behavioral Pattern for Concurrent Programming. Proceeding fo the Second Pattern Languages of Programming conference, Monticello, Illinois, 1995."},{"key":"8_CR11","unstructured":"V. Matena and M. Hapner. Enterprise JavaBeansTM Specification, v 1.1. On-line at <http:\/\/java.sun.com\/products\/ejb\/docs.html> , year1999."},{"key":"8_CR12","unstructured":"J. Ryser and M. Glinz. A Practical Approach to Validating and Testing Software Systems Using Scenarios. QWE\u201999: Third International Software Quality Week Europe, Brussels, Nov 1999."},{"key":"8_CR13","unstructured":"B. Shannon. Java 2 Platform Enterprise Edition Specification, v1.3. On-line at <http:\/\/java.sun.com\/ j2ee\/> , year 2001."}],"container-title":["Lecture Notes in Computer Science","Scientific Engineering for Distributed Java Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36520-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:24:23Z","timestamp":1556468663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36520-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006794","9783540365204"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36520-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}