{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:13:36Z","timestamp":1725567216343},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340048"},{"type":"electronic","value":"9783642340055"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34005-5_4","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:33:39Z","timestamp":1349231619000},"page":"54-82","source":"Crossref","is-referenced-by-count":4,"title":["Design and Analysis of Cloud-Based Architectures with KLAIM and Maude"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Eckhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"M\u00fchlbauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press (1986)","key":"4_CR1","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"2","key":"4_CR2","first-page":"213","volume":"153","author":"G. Agha","year":"2006","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. ENTCS\u00a0153(2), 213\u2013239 (2006)","journal-title":"ENTCS"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"4_CR4","first-page":"393","volume":"117","author":"C. Braga","year":"2005","unstructured":"Braga, C., Meseguer, J.: Modular Rewriting Semantics in Practice. ENTCS\u00a0117, 393\u2013416 (2005)","journal-title":"ENTCS"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM\u00a032, 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-68863-1_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R. Chadha","year":"2008","unstructured":"Chadha, R., Gunter, C.A., Meseguer, J., Shankesi, R., Viswanathan, M.: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 39\u201358. Springer, Heidelberg (2008)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"4_CR8","first-page":"315","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE TSE\u00a024, 315\u2013330 (1998)","journal-title":"IEEE TSE"},{"unstructured":"Eckhardt, J.: A Formal Analysis of Security Properties in Cloud Computing. Master\u2019s thesis, LMU Munich, TU Munich (2011)","key":"4_CR9"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-28872-2_6","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Eckhardt","year":"2012","unstructured":"Eckhardt, J., M\u00fchlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable Availability under Denial of Service Attacks through Formal Patterns. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 78\u201393. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: WRLA. ENTCS, vol.\u00a071, pp. 162\u2013187 (2004)","key":"4_CR11","DOI":"10.1016\/S1571-0661(05)82534-4"},{"unstructured":"Erl, T.: SOA Design Patterns. Prentice Hall (2008)","key":"4_CR12"},{"doi-asserted-by":"crossref","unstructured":"Garfinkel, S.L.: Architects of the Information Society. MIT Press (1999)","key":"4_CR13","DOI":"10.7551\/mitpress\/1341.001.0001"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. TOPLAS\u00a07, 80\u2013112 (1985)","journal-title":"TOPLAS"},{"unstructured":"Google. Google finance, http:\/\/finance.google.com\/ (visited: September 2011)","key":"4_CR15"},{"unstructured":"Gupta, J.: Available group key management for NASPInet. Master\u2019s thesis, University of Illinois in Urbana-Champaign (2011)","key":"4_CR16"},{"unstructured":"Hewitt, C., Baker, H.G.: Laws for communicating parallel processes. In: IFIP, pp. 987\u2013992 (1977)","key":"4_CR17"},{"unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245 (1973)","key":"4_CR18"},{"unstructured":"Guseva, I.: Gartner: Top Technology Predictions for 2010 and Beyond (2010), http:\/\/cmswire.com\/cms\/enterprise-20\/gartner-top-technology-predictions-for-2010-and-beyond-006390.php#singlereqrespmep (visited April 2012)","key":"4_CR19"},{"doi-asserted-by":"crossref","unstructured":"Khanna, S., Venkatesh, S., Fatemieh, O., Khan, F., Gunter, C.: Adaptive Selective Verification. In: IEEE INFOCOM, pp. 529\u2013537 (2008)","key":"4_CR20","DOI":"10.1109\/INFOCOM.2008.101"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. TCS\u00a096(1), 73\u2013155 (1992)","journal-title":"TCS"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-16901-4_21","volume-title":"Formal Methods and Software Engineering","author":"J. Meseguer","year":"2010","unstructured":"Meseguer, J., \u00d6lveczky, P.C.: Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 303\u2013320. Springer, Heidelberg (2010)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)","key":"4_CR24"},{"unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press (1999)","key":"4_CR25"},{"unstructured":"Minkiewicz, A.: Cloud Nine, Are we there yet? JST\u00a014(4) (2011)","key":"4_CR26"},{"unstructured":"M\u00fchlbauer, T.: Formal Specification and Analysis of Cloud Computing Management. Master\u2019s thesis, LMU Munich, TU Munich (2011)","key":"4_CR27"},{"unstructured":"Schumacher, M., Fernandez-Buglioni, E., Hybertson, D., Buschmann, F., Sommerlad, P.: Security Patterns. Wiley (2005)","key":"4_CR28"},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.ic.2008.03.026","volume":"207","author":"T.-F. Serbanuta","year":"2009","unstructured":"Serbanuta, T.-F., Rosu, G., Meseguer, J.: A rewriting logic approach to operational semantics. Information and Computation\u00a0207, 305\u2013340 (2009)","journal-title":"Information and Computation"},{"unstructured":"Samson, T.: Feds take cloud-first approach to IT. In: InfoWorld TechWatch, December 8 (2010), http:\/\/www.infoworld.com\/t\/cloud-computing\/feds-take-cloud-first-approach-it-829 (visited: April 2012)","key":"4_CR30"},{"unstructured":"The Apache Software Foundation. Apache Zookeeper, http:\/\/zookeeper.apache.org\/ (visited: September 2011)","key":"4_CR31"},{"unstructured":"The Apache Software Foundation. Apache Zookeeper Wiki, https:\/\/cwiki.apache.org\/confluence\/display\/ZOOKEEPER\/ProjectDescription (visited: September 2011)","key":"4_CR32"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-642-20401-2_23","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"M. Tribastone","year":"2011","unstructured":"Tribastone, M., Gilmore, S.: Scaling Performance Analysis Using Fluid-Flow Approximation. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA. LNCS, vol.\u00a06582, pp. 486\u2013505. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"4_CR34","first-page":"226","volume":"67","author":"A. Verdejo","year":"2006","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Executable structural operational semantics in Maude. JLAP\u00a067(1-2), 226\u2013293 (2006)","journal-title":"JLAP"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34005-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T23:53:20Z","timestamp":1714434800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34005-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340048","9783642340055"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34005-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}