{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:55:11Z","timestamp":1742993711499,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408284"},{"type":"electronic","value":"9783540452362"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45236-2_8","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T20:08:38Z","timestamp":1277496518000},"page":"114-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Compare","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Sebastiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,9,25]]},"reference":[{"unstructured":"Rational Corporation. UML Resource Center. UML documentation, version1.3. On-line at: \n\nhttp:\/\/www.rational.com\/uml\/index.jtmpl","key":"8_CR1"},{"unstructured":"R. community. RFC On-line at: \n\nhttp:\/\/community.roxen.com\/developers\/idocs\/rfc\/rfc1901.html","key":"8_CR2"},{"doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: Proc. 21th International Conference on Software Engineering (ICSE1999) (May 1999)","key":"8_CR3","DOI":"10.1145\/302405.302672"},{"key":"8_CR4","volume-title":"Applied Software Architecture","author":"C. Hofmeister","year":"1999","unstructured":"Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1999)"},{"doi-asserted-by":"crossref","unstructured":"Holzmann, J.G.: The logic of bugs. In: Proc. Foundations of Software Engineering (SIGSOFT 2002\/FSE-10) (2002)","key":"8_CR5","DOI":"10.1145\/587051.587064"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36520-6_8","volume-title":"Scientific Engineering for Distributed Java Applications","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Mancinelli, F., Muccini, H., Pelliccione, P.: An Experience in Architectural Extensions: Active Objects in J2EE. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2002. LNCS, vol.\u00a02604, pp. 87\u201398. Springer, Heidelberg (2003)"},{"unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Automated Check of Architectural Models Consistency using SPIN. In: the Automated Software Engineering Conference Proceedings (ASE 2001), San Diego, California (November 2001)","key":"8_CR7"},{"unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: A framework for model based consistency checking. Technical report, Department of Computer Science, University of L\u2019Aquila (January 2003)","key":"8_CR8"},{"unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Checking Consistency Between Architectural Models Using SPIN. In: Proc. the First Int. Workshop From Software Requirements to Architectures, STRAW 2001 (2001)","key":"8_CR9"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P. Kruchten","year":"1995","unstructured":"Kruchten, P.: The 4+1 View Model of Architecture. IEEE Software\u00a012(6), 42\u201350 (1995)","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour analysis of software architectures. In: In Proc. First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas (1999)","key":"8_CR11","DOI":"10.1007\/978-0-387-35563-4_3"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: In Proc. 18th IEEE Symposium on Foundation of Computer Science, pp. 46\u201357 (1977)","key":"8_CR12","DOI":"10.1109\/SFCS.1977.32"},{"unstructured":"Pons, C., Giandini, R., Baum, G.: Dependency Relations Between Models in the Unified Process. In: Proc. IWSSD 2000 (November 2000)","key":"8_CR13"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2001","unstructured":"Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, p. 171. Springer, Heidelberg (2001)"},{"unstructured":"Sebastiani, A.: Specifica e verifica formale dell\u2019architettura di gestione di un sistema integrato reale per le telecomunicazioni. Tesi di Laurea in Informatica, Universit\u00e1 di L\u2019Aquila, Facolt\u00e1 di Scienze Matematiche Fisiche e Naturali (October 2002), On line at: \n\nhttp:\/\/www.di.univaq.it\/pellicci\/dissertations.html","key":"8_CR15"},{"doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: An Approach Supporting Property Elucidation. In: Proc. 24th International Conference on Software Engineering (ICSE2002), May 19-25, pp. 11\u201321 (2002)","key":"8_CR16","DOI":"10.1145\/581339.581345"},{"unstructured":"SPIN. Home page on line at: \n\nhttp:\/\/cm.bell-labs.com\/cm\/cs\/what\/spin\/index.html","key":"8_CR17"}],"container-title":["Lecture Notes in Computer Science","FME 2003: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45236-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,23]],"date-time":"2020-01-23T13:08:18Z","timestamp":1579784898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45236-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408284","9783540452362"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45236-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"25 September 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}