{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T21:28:11Z","timestamp":1774560491910,"version":"3.50.1"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319163093","type":"print"},{"value":"9783319163109","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_1","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T12:47:23Z","timestamp":1425386843000},"page":"3-71","source":"Crossref","is-referenced-by-count":53,"title":["The SCEL Language: Design, Implementation, Verification"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Margheri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/978-3-319-16310-9_13","volume-title":"Software Engineering for Collective Autonomic Systems","author":"D.B. Abeywickrama","year":"2015","unstructured":"Abeywickrama, D.B., Combaz, J., Hork\u00fd, V., Keznikl, J., Kofro\u0148, J., Lafuente, A.L., Loreti, M., Margheri, A., Mayer, P., Monreale, V., Montanari, U., Pinciroli, C., T\u016fma, P., Vandin, A., Vassev, E.: Tools for Ensemble Design and Runtime. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 429\u2013448. Springer, Heidelberg (2015)"},{"key":"1_CR2","series-title":"ENTCS","first-page":"213","volume-title":"QAPL 2005","author":"G.A. Agha","year":"2006","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":"1_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":"1_CR4","unstructured":"Belzner, L.: Action programming in rewriting logic (technical communication). Theory and Practice of Logic Programming, Online Supplement (2013)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-54624-2_10","volume-title":"Specification, Algebra, and Software","author":"L. Belzner","year":"2014","unstructured":"Belzner, L., De Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 188\u2013211. Springer, Heidelberg (2014)"},{"key":"1_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":"1_CR7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/1149114.1149118","volume":"7","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. ACM Trans. Comput. Log.\u00a07(3), 563\u2013589 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-32940-1_24","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"L. Bortolussi","year":"2012","unstructured":"Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 333\u2013347. Springer, Heidelberg (2012)"},{"issue":"5","key":"1_CR10","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Perform. Eval.\u00a070(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"key":"1_CR11","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)"},{"key":"1_CR12","first-page":"71","volume-title":"Proc. of SASOW","author":"T. Bures","year":"2013","unstructured":"Bures, T., De Nicola, R., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G.V., Montanari, U., Pugliese, R., Serbedzija, N., Wirsing, M., Zambonelli, F.: A Life Cycle for the Development of Autonomic Systems: The e-mobility showcase. In: Proc. of SASOW, pp. 71\u201376. IEEE, Los Alamitos (2013)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-662-45234-9_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"G. Cabri","year":"2014","unstructured":"Cabri, G., Capodieci, N., Cesari, L., De Nicola, R., Pugliese, R., Tiezzi, F., Zambonelli, F.: Self-expression and dynamic attribute-based ensembles in SCEL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 147\u2013163. Springer, Heidelberg (2014)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-39405-1_5","volume-title":"Group Communications and Charges. Technology and Business Models","author":"M. Castro","year":"2003","unstructured":"Castro, M., Druschel, P., Kermarrec, A.-M., Rowstron, A.: Scalable Application-Level Anycast for Highly Dynamic Groups. In: Stiller, B., Carle, G., Karsten, M., Reichl, P. (eds.) NGC 2003 and ICQT 2003. LNCS, vol.\u00a02816, pp. 47\u201357. Springer, Heidelberg (2003)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-07602-7_8","volume-title":"Formal Aspects of Component Software","author":"L. Cesari","year":"2014","unstructured":"Cesari, L., De Nicola, R., Pugliese, R., Puviani, M., Tiezzi, F., Zambonelli, F.: Formalising adaptation patterns for autonomic ensembles. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol.\u00a08348, pp. 100\u2013118. Springer, Heidelberg (2014)"},{"key":"1_CR16","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":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-319-16310-9_3","volume-title":"Software Engineering for Collective Autonomic Systems","author":"J. Combaz","year":"2015","unstructured":"Combaz, J., Bensalem, S., Tiezzi, F., Margheri, A., Pugliese, R., Kofron, J.: Correctness of Service Components and Service Component Ensembles. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 107\u2013159. Springer, Heidelberg (2015)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N. Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E.C., Sloman, M.: The Ponder Policy Specification Language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol.\u00a01995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"1_CR19","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. Nicola De","year":"2013","unstructured":"De Nicola, R., Ferrari, G.-L., 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 (2013), \n                    \n                      http:\/\/www.ascens-ist.eu\/scel"},{"issue":"5","key":"1_CR20","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng.\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-642-02930-1_36","volume-title":"Automata, Languages and Programming","author":"R. Nicola De","year":"2009","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: Rate-based transition systems for stochastic process calculi. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol.\u00a05556, pp. 435\u2013446. Springer, Heidelberg (2009)"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2522968.2522973","volume":"46","author":"R. Nicola De","year":"2013","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: A uniform definition of stochastic process calculi. ACM Comput. Surv.\u00a046(1), 1\u20135 (2013)","journal-title":"ACM Comput. Surv."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-54848-2_5","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"R. Nicola De","year":"2014","unstructured":"De Nicola, R., Lluch Lafuente, A., Loreti, M., Morichetta, A., Pugliese, R., Senni, V., Tiezzi, F.: Programming and verifying component ensembles. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol.\u00a08415, pp. 69\u201383. Springer, Heidelberg (2014)"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/2619998","volume":"9","author":"R. De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS\u00a09(2), 7 (2014)","journal-title":"TAAS"},{"key":"1_CR25","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.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 78\u201393. Springer, Heidelberg (2012)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-10181-1_5","volume-title":"Integrated Formal Methods","author":"S. Gilmore","year":"2014","unstructured":"Gilmore, S., Tribastone, M., Vandin, A.: An analysis pathway for the quantitative evaluation of public transport systems. In: Albert, E., Sekerinski, E. (eds.) IFM 2014. LNCS, vol.\u00a08739, pp. 71\u201386. Springer, Heidelberg (2014)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-319-16310-9_7","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 249\u2013290. Springer, Heidelberg (2015)"},{"issue":"5","key":"1_CR28","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng.\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR29","unstructured":"IBM: Autonomic Computing Policy Language \u2013 ACPL, \n                    \n                      http:\/\/www.ibm.com\/developerworks\/tivoli\/tutorials\/ac-spl\/"},{"key":"1_CR30","unstructured":"IBM: An architectural blueprint for autonomic computing. Tech. rep., IBM, Third edition (June 2005)"},{"issue":"1","key":"1_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2011.09.004","volume":"78","author":"N. Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Talcott, C.L., Sirjani, M., Mousavi, M.R.: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program.\u00a078(1), 3\u201326 (2012)","journal-title":"Sci. Comput. Program."},{"key":"1_CR32","series-title":"Electronic Proceedings in Theoretical Computer Science (EPTCS)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/EPTCS.154.1","volume-title":"Proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages (QAPL 2014)","author":"D. Latella","year":"2014","unstructured":"Latella, D., Loreti, M., Massink, M., Senni, V.: Stochastically timed predicate-based communication primitives for autonomic computing. In: Bertrand, N., Bortolussi, L. (eds.) Proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages (QAPL 2014). Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 1\u201316 (2014), doi:10.4204\/EPTCS.154.1"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Latella, D., Loreti, M., Massink, M., Senni, V.: On StocS: a Stochastic extension of SCEL. Tech. Rep.\u00a011, ASCENS Project (February 2014), \n                    \n                      http:\/\/www.ascens-ist.eu\/","DOI":"10.1007\/978-3-319-15545-6_35"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-45234-9_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M. Loreti","year":"2014","unstructured":"Loreti, M., Margheri, A., Pugliese, R., Tiezzi, F.: On programming and policing autonomic computing systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 164\u2013183. Springer, Heidelberg (2014)"},{"key":"1_CR35","unstructured":"Margheri, A., Masi, M., Pugliese, R., Tiezzi, F.: A Formal Software Engineering Approach to Policy-based Access Control. Tech. rep., DiSIA, Univ. Firenze (2013), available at \n                    \n                      http:\/\/www.ascens-ist.eu\/scel"},{"key":"1_CR36","first-page":"404","volume-title":"UIC\/ATC","author":"A. Margheri","year":"2013","unstructured":"Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. In: UIC\/ATC, pp. 404\u2013409. IEEE, Los Alamitos (2013)"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic abstractions for programming and policing autonomic computing systems. Tech. rep., Univ. Firenze (2013), \n                    \n                      http:\/\/www.ascens-ist.eu\/scel","DOI":"10.1109\/UIC-ATC.2013.33"},{"key":"1_CR38","first-page":"89","volume-title":"Proc. of SASOW","author":"P. Mayer","year":"2013","unstructured":"Mayer, P., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bure, T.: The autonomic cloud: A vision of voluntary, peer-2-peer cloud computing. In: Proc. of SASOW, pp. 89\u201394. IEEE, Los Alamitos (2013)"},{"key":"1_CR39","unstructured":"OASIS XACML TC: eXtensible Access Control Markup Language (XACML) version 3.0 (January 2013), \n                    \n                      http:\/\/docs.oasis-open.org\/xacml\/3.0\/xacml-3.0-core-spec-os-en.pdf"},{"issue":"4","key":"1_CR40","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s10514-010-9177-0","volume":"28","author":"R. O\u2019Grady","year":"2010","unstructured":"O\u2019Grady, R., Gro\u00df, R., Christensen, A.L., Dorigo, M.: Self-assembly strategies in a group of autonomous mobile robots. Auton. Robots\u00a028(4), 439\u2013455 (2010), doi:10.1007\/s10514-010-9177-0","journal-title":"Auton. Robots"},{"key":"1_CR41","first-page":"416","volume-title":"HPCS (MOSPAS workshop)","author":"D. Pianini","year":"2014","unstructured":"Pianini, D., Sebastio, S., Vandin, A.: Distributed statistical analysis of complex systems modeled through a chemical metaphor. In: HPCS (MOSPAS workshop), pp. 416\u2013423. IEEE, Los Alamitos (2014)"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-3-319-16310-9_15","volume-title":"Software Engineering for Collective Autonomic Systems","author":"C. Pinciroli","year":"2015","unstructured":"Pinciroli, C., Bonani, M., Mondada, F., Dorigo, M.: Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 471\u2013494. Springer, Heidelberg (2015)"},{"key":"1_CR43","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"1_CR44","unstructured":"Project InterLink (2007), \n                    \n                      http:\/\/interlink.ics.forth.gr"},{"key":"1_CR45","volume-title":"Handbook of Constraint Programming","author":"F. Rossi","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"key":"1_CR46","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)"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. TAAS 4(2) (2009)","DOI":"10.1145\/1516533.1516538"},{"key":"1_CR48","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/96709.96733","volume-title":"POPL","author":"V. Saraswat","year":"1990","unstructured":"Saraswat, V., Rinard, M.: Concurrent constraint programming. In: POPL, pp. 232\u2013245. ACM Press, New York (1990)"},{"issue":"1","key":"1_CR49","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur.\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"1_CR50","first-page":"105","volume-title":"SEAMS","author":"S. Sebastio","year":"2014","unstructured":"Sebastio, S., Amoretti, M., Lluch-Lafuente, A.: A computational field framework for collaborative task execution in volunteer clouds. In: SEAMS, pp. 105\u2013114. ACM, New York (2014)"},{"key":"1_CR51","first-page":"310","volume-title":"7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools \u201913","author":"S. Sebastio","year":"2013","unstructured":"Sebastio, S., Vandin, A.: MultiVeStA: statistical model checking for discrete event simulators. In: Horvath, A., Buchholz, P., Cortellessa, V., Muscariello, L., Squillante, M.S. (eds.) 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools \u201913, Torino, Italy, December 10-12, 2013, pp. 310\u2013315. ACM Press, New York (2013), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=2631846"},{"key":"1_CR52","first-page":"251","volume-title":"QEST 2005","author":"K. Sen","year":"2005","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 Press, Los Alamitos (2005)"},{"issue":"7","key":"1_CR53","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/2209249.2209268","volume":"55","author":"I. Sommerville","year":"2012","unstructured":"Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M.Z., McDermid, J.A., Paige, R.F.: Large-scale complex IT systems. Commun. ACM\u00a055(7), 71\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-319-16310-9_6","volume-title":"Software Engineering for Collective Autonomic Systems","author":"E. Vassev","year":"2015","unstructured":"Vassev, E., Hinchey, M.: Knowledge Representation for Adaptive and Self-aware Systems. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 221\u2013247. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T12:30:51Z","timestamp":1559133051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}