{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:15Z","timestamp":1762459155298},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642546235"},{"type":"electronic","value":"9783642546242"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54624-2_10","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T17:42:59Z","timestamp":1393609379000},"page":"188-211","source":"Crossref","is-referenced-by-count":19,"title":["Reasoning (on) Service Component Ensembles in Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Lenz","family":"Belzner","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: Cerone, A., Wiklicky, H. (eds.) QAPL 2005. ENTCS, vol.\u00a0153(2), pp. 213\u2013239. Elsevier (2006)","key":"10_CR1","DOI":"10.1016\/j.entcs.2005.10.040"},{"key":"10_CR2","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)"},{"unstructured":"ASCENS Autonomic Service-Component ENSembles, \n                  \n                    http:\/\/www.ascens-ist.eu","key":"10_CR3"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"10th International Symposium on FMCO 2011, Formal Methods for Components and Objects","year":"2013","unstructured":"Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.): FMCO 2011. LNCS, vol.\u00a07542. Springer, Heidelberg (2013)"},{"unstructured":"Belzner, L.: Action programming in rewriting logic (technical communication). Theory and Practice of Logic Programming, On-line Supplement (2013)","key":"10_CR5"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-37635-1_5","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Bentea","year":"2013","unstructured":"Bentea, L., \u00d6lveczky, P.C.: A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 77\u201394. Springer, Heidelberg (2013)"},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"285","author":"P. Borovansk\u00fd","year":"2002","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.E.: Elan from a rewriting logic point of view. Theor. Comput. Sci.\u00a0285(2), 155\u2013185 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34005-5_7","volume-title":"Rewriting Logic and Its Applications","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol.\u00a07571, pp. 118\u2013138. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)","key":"10_CR9","DOI":"10.1007\/978-3-642-28872-2_17"},{"unstructured":"CafeOBJ, \n                  \n                    http:\/\/www.ldl.jaist.ac.jp\/cafeobj","key":"10_CR10"},{"key":"10_CR11","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.L.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"De Nicola, R., Ferrari, G.L., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, et al (eds.) [4], pp. 25\u201348","key":"10_CR12","DOI":"10.1007\/978-3-642-35887-6_2"},{"unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: A language for autonomic computing. Tech. rep. (January 2013), \n                  \n                    http:\/\/rap.dsi.unifi.it\/scel\/pdf\/SCEL-TR.pdf","key":"10_CR13"},{"doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report. The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol.\u00a06. World Scientific (1998)","key":"10_CR14","DOI":"10.1142\/3831"},{"issue":"3-4","key":"10_CR15","first-page":"257","volume":"22","author":"R. Diaconescu","year":"2003","unstructured":"Diaconescu, R., Futatsugi, K., Ogata, K.: CafeOBJ: Logical foundations and methodologies. Computers and Artificial Intelligence\u00a022(3-4), 257\u2013283 (2003)","journal-title":"Computers and Artificial Intelligence"},{"unstructured":"GraphViz \u2013 Graph Visualization Software, \n                  \n                    http:\/\/www.graphviz.org","key":"10_CR16"},{"doi-asserted-by":"crossref","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)","key":"10_CR17","DOI":"10.1007\/978-3-642-28872-2_6"},{"doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Software engineering for ensembles. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol.\u00a05380, pp. 45\u201363. Springer, Heidelberg (2008)","key":"10_CR18","DOI":"10.1007\/978-3-540-89437-7_2"},{"unstructured":"IBM: An architectural blueprint for autonomic computing. Tech. rep., 3rd edn (June 2005)","key":"10_CR19"},{"unstructured":"Project InterLink (2007), \n                  \n                    http:\/\/interlink.ics.forth.gr","key":"10_CR20"},{"unstructured":"Knapp, A., Wirsing, M.: Specifying an airport with CafeOBJ: A case study. In: 2nd CafeOBJ Workshop, Tokio, Japan (1997)","key":"10_CR21"},{"unstructured":"Knapp, A., Wirsing, M.: An event space-based operational semantics of multi-threaded Java and its formalisation in CafeOBJ. In: 3rd CafeOBJ Workshop, Kanazawa, Japan (1998)","key":"10_CR22"},{"key":"10_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: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"unstructured":"MESSI Maude Ensemble Strategies Simulator and Inquirer (2012), \n                  \n                    http:\/\/sysma.lab.imtlucca.it\/tools\/ensembles","key":"10_CR24"},{"unstructured":"Pianini, D., Sebastio, S., Vandin, A.: Statistical analysis of chemical computational systems with MultiVeStA and Alchemist, \n                  \n                    http:\/\/eprints.imtlucca.it\/1697","key":"10_CR25"},{"doi-asserted-by":"crossref","unstructured":"Sebastio, S., Vandin, A.: MultiVeStA: Statistical Model Checking for Discrete Event Simulators. In: 7th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2013), \n                  \n                    http:\/\/eprints.imtlucca.it\/1798\n                  \n                  \n                , doi:10.4108\/icst.valuetools.2013.254377","key":"10_CR26","DOI":"10.4108\/icst.valuetools.2013.254377"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: Baier, C., Chiola, G., Smirni, E. (eds.) QEST 2005, pp. 251\u2013252. IEEE Computer Society (2005)","key":"10_CR28","DOI":"10.1109\/QEST.2005.42"},{"doi-asserted-by":"crossref","unstructured":"Talcott, C.L.: Coordination models based on a formal model of distributed object reflection. In: Brim, L., Linden, I. (eds.) MTCoord 2005. ENTCS, vol.\u00a0150(1), pp. 143\u2013157. Elsevier (2006)","key":"10_CR29","DOI":"10.1016\/j.entcs.2005.12.028"},{"unstructured":"Talcott, C.L.: Policy-based coordination in PAGODA: A case study. In: Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.) CoOrg 2006 & MTCoord 2006. ENTCS, vol.\u00a0181, pp. 97\u2013112. Elsevier (2007)","key":"10_CR30"},{"doi-asserted-by":"crossref","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Tribastone, M., Zambonelli, F.: Ascens: Engineering autonomic service-component ensembles. In: Beckert, et al. (eds.) [4], pp. 1\u201324","key":"10_CR31","DOI":"10.1007\/978-3-642-35887-6_1"}],"container-title":["Lecture Notes in Computer Science","Specification, Algebra, and Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54624-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T06:27:20Z","timestamp":1558852040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54624-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642546235","9783642546242"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54624-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}