{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:32Z","timestamp":1725805592339},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_8","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"99-116","source":"Crossref","is-referenced-by-count":4,"title":["Helena@Work: Modeling the Science Cloud Platform"],"prefix":"10.1007","author":[{"given":"Annabelle","family":"Klarl","sequence":"first","affiliation":[]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"The ASCENS Project, \n                    \n                      http:\/\/www.ascens-ist.eu","key":"8_CR1"},{"doi-asserted-by":"crossref","unstructured":"Babaoglu, \u00d6., Marzolla, M., Tamburini, M.: Design and implementation of a P2P Cloud system. In: Symposium on Applied Computing, pp. 412\u2013417. ACM (2012)","key":"8_CR2","DOI":"10.1145\/2245276.2245357"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.5381\/jot.2007.6.2.a1","volume":"6","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Studi, U., Italy, T.: Interaction between Objects in powerJava. Journal of Object Technology\u00a06, 7\u201312 (2007)","journal-title":"Journal of Object Technology"},{"unstructured":"Chandra, A., Weissman, J.: Nebulas: Using Distributed Voluntary Resources to Build Clouds. In: Conf. on Hot Topics in Cloud Computing. USENIX Association (2009)","key":"8_CR4"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-642-04070-2_48","volume-title":"Emerging Intelligent Computing Technology and Applications","author":"V.D. Cunsolo","year":"2009","unstructured":"Cunsolo, V.D., Distefano, S., Puliafito, A., Scarpa, M.: Cloud@Home: Bridging the Gap between Volunteer and Cloud Computing. In: Huang, D.-S., Jo, K.-H., Lee, H.-H., Kang, H.-J., Bevilacqua, V. (eds.) ICIC 2009. LNCS, vol.\u00a05754, pp. 423\u2013432. Springer, Heidelberg (2009)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R. De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Demers, A.J., Greene, D.H., Hauser, C., Irish, W., Larson, J., Shenker, S., Sturgis, H.E., Swinehart, D.C., Terry, D.B.: Epidemic algorithms for replicated database maintenance. In: Symposium on Principles of Distributed Computing, pp. 1\u201312. ACM (1987)","key":"8_CR7","DOI":"10.1145\/41840.41841"},{"doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Dynamic Multirole Session Types. In: Symposium on Principles of Programming Languages, pp. 435\u2013446. ACM (2011)","key":"8_CR8","DOI":"10.1145\/1925844.1926435"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R. Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 359\u2013381. Springer, Heidelberg (2014)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-54848-2_10","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"R. Hennicker","year":"2014","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Assembly theories for communication-safe component systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol.\u00a08415, pp. 145\u2013160. Springer, Heidelberg (2014)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/3-540-36557-5_19","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"S. Herrmann","year":"2003","unstructured":"Herrmann, S.: Object Teams: Improving Modularity for Crosscutting Collaborations. In: Ak\u015fit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 248\u2013264. Springer, Heidelberg (2003)"},{"unstructured":"Klarl, A., Hennicker, R.: Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. In: Australasian Software Engineering Conf. IEEE (to appear, 2014)","key":"8_CR12"},{"issue":"3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/(SICI)1096-9942(1996)2:3<143::AID-TAPO2>3.0.CO;2-X","volume":"2","author":"B.B. Kristensen","year":"1996","unstructured":"Kristensen, B.B., \u00d8sterbye, K.: Roles: Conceptual Abstraction Theory and Practical Language Issues. Theor. Pract. Object Syst.\u00a02(3), 143\u2013160 (1996)","journal-title":"Theor. Pract. Object Syst."},{"doi-asserted-by":"crossref","unstructured":"Mayer, P., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bure\u0161, T.: The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Wshp. on Challenges for Achieving Self-Awareness in Autonomic Systems, pp. 1\u20136. IEEE (2013)","key":"8_CR14","DOI":"10.1109\/SASOW.2013.16"},{"unstructured":"Reenskaug, T.: Working with objects: the OOram Framework Design Principles. Manning Publications (1996)","key":"8_CR15"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-45518-3_18","volume-title":"Middleware 2001","author":"A. Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol.\u00a02218, pp. 329\u2013350. Springer, Heidelberg (2001)"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0169-023X(00)00023-9","volume":"35","author":"F. Steimann","year":"2000","unstructured":"Steimann, F.: On the representation of roles in object-oriented and conceptual modelling. Data Knowl. Eng.\u00a035(1), 83\u2013106 (2000)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:21:59Z","timestamp":1558988519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}