{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:44Z","timestamp":1762459364671,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496640"},{"type":"electronic","value":"9783662496657"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-49665-7_5","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:09:42Z","timestamp":1458547782000},"page":"66-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Integrated Environment for Verifying and\u00a0Running Distributed Components"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleksandra","family":"Kulankhina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siqi","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Henrio, L., Kulankhina, O., Liu, D., Madelaine, E.: Verifying the correct composition of distributed components: formalisation and tool. In: FOCLASA, Rome, Italy, September 2014","DOI":"10.4204\/EPTCS.175.5"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: a toolbox for the construction and analysis of distributed processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 372\u2013387. Springer, Heidelberg (2011)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s12243-008-0068-8","volume":"64","author":"F Baude","year":"2009","unstructured":"Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., P\u00e9rez, C.: GCM: a grid extension to fractal for autonomous distributed components. Ann. Telecommun. 64(1), 5\u201324 (2009)","journal-title":"Ann. Telecommun."},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-04167-9_10","volume-title":"Formal Methods for Components and Objects","author":"A Cansado","year":"2009","unstructured":"Cansado, A., Madelaine, E.: Specification and verification for grid component-based applications: from models to tools. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 180\u2013203. Springer, Heidelberg (2009)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Henrio, L., Madelaine, E., Zhang, M.: pnets: an expressive model for parameterised networks of processes. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, 4\u20136 March 2015, Turku, Finland, pp. 492\u2013496 (2015)","DOI":"10.1109\/PDP.2015.70"},{"key":"5_CR6","unstructured":"Ameur-Boulifa, R., Henrio, L., Madelaine, E., Savu, A.: Behavioural semantics for asynchronous components. Rapport de recherche RR-8167, INRIA, December 2012"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0196-6774(82)90023-2","volume":"3","author":"D Dolev","year":"1982","unstructured":"Dolev, D., Klawe, M.M., Rodeh, M.: An o(n log n) unidirectional distributed algorithm for extrema finding in a circle. J. Algorithms 3(3), 245\u2013260 (1982). http:\/\/dx.doi.org\/10.1016\/0196-6774(82)90023-2","journal-title":"J. Algorithms"},{"key":"5_CR8","unstructured":"Henrio, L., Kulankhina, O., Li, S., Madelaine, E.: Integrated environment for verifying and running distributed components - extended version. Research Report RR8841, INRIA Sophia-Antipolis, December 2015"},{"issue":"1\u20132","key":"5_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s12243-008-0069-7","volume":"64","author":"T Barros","year":"2009","unstructured":"Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed fractal components. Ann. Telecommun. 64(1\u20132), 25\u201343 (2009)","journal-title":"Ann. Telecommun."},{"key":"5_CR10","unstructured":"Berthomieu, B., Bodeveix, J., Filali, M., Garavel, H., Lang, F., Peres, F., Saad, R., Stoecker, J., Vernadat, F.: The syntax and semantics of Fiacre, March 2009"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11589976_6","volume-title":"Integrated Formal Methods","author":"F Lang","year":"2005","unstructured":"Lang, F.: Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol. 3771, pp. 70\u201388. Springer, Heidelberg (2005)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: 21st International Conference on Software Engineering, May 1999","DOI":"10.1145\/302405.302672"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, B., Bozga, M., Combaz, J., Jaber, M., Nguyen, T., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2006.51","volume":"39","author":"A Childs","year":"2006","unstructured":"Childs, A., Greenwald, J., Jung, G., Hoosier, M., Hatcliff, J.: CALM and Cadena: metamodeling for component-based product-line development. IEEE Comput. 39(2), 42\u201350 (2006)","journal-title":"IEEE Comput."},{"key":"5_CR16","unstructured":"Reussner, R., Becker, S., Burger, E., Happe, J., Hauck, M., Koziolek, A., Koziolek, H., Krogmann, K., Kuperberg, M.: The Palladio component model. Technical report, Karlsruhe Institute of Technology, March 2011"},{"key":"5_CR17","unstructured":"Leister, W., Bjork, J., Schlatte, R., Griesmayer, A.: Verifying distributed algorithms with executable Creol models, January 2011"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2010.08.047","volume":"266","author":"I Grabe","year":"2010","unstructured":"Grabe, I., Jaghoori, M.M., Aichernig, B.K., Baier, C., Blechmann, T., de Boer, F.S., Griesmayer, A., Johnsen, E.B., Klein, J., Kl\u00fcppelholz, S., Kyas, M., Leister, W., Schlatte, R., Stam, A., Steffen, M., Tschirner, S., Xuedong, L., Yi, W.: Credo methodology: modeling and analyzing A peer-to-peer system in Credo. Electron. Notes Theoret. Comput. Sci. 266, 33\u201348 (2010)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"1","key":"5_CR19","first-page":"33","volume":"12","author":"F Arbab","year":"2006","unstructured":"Arbab, F.: A behavioral model for composition of software components. L\u2019OBJET 12(1), 33\u201376 (2006)","journal-title":"L\u2019OBJET"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11783565_27","volume-title":"Component-Based Software Engineering","author":"P Hn\u011btynka","year":"2006","unstructured":"Hn\u011btynka, P., Pl\u00e1\u0161il, F.: Dynamic reconfiguration and access to services in hierarchical component models. In: Gorton, I., Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 352\u2013359. Springer, Heidelberg (2006)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Klarl, A., Hennicker, R.: Design and implementation of dynamically evolving ensembles with the HELENA framework. In: Proceedings of the 23rd Australasian Software Engineering Conference, pp. 15\u201324. IEEE (2014)","DOI":"10.1109\/ASWEC.2014.26"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-35887-6_6","volume-title":"Formal Methods for Components and Objects","author":"R H\u00e4hnle","year":"2012","unstructured":"H\u00e4hnle, R., Helvensteijn, M., Johnsen, E.B., Lienhardt, M., Sangiorgi, D., Schaefer, I., Wong, P.Y.H.: HATS abstract behavioral specification: the architectural view. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 109\u2013132. Springer, Heidelberg (2012)"},{"issue":"4","key":"5_CR23","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML\/RT in the FUJABA real-time tool suite. In: Proceedings of the International Workshop SVERTS (2004)","DOI":"10.1145\/1062455.1062601"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-35743-5_17","volume-title":"Formal Aspects of Component Software","author":"R Ameur-Boulifa","year":"2012","unstructured":"Ameur-Boulifa, R., Halalai, R., Henrio, L., Madelaine, E.: Verifying safety of fault-tolerant distributed components. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 278\u2013295. Springer, Heidelberg (2012)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-319-07602-7_10","volume-title":"Formal Aspects of Component Software","author":"N Gaspar","year":"2014","unstructured":"Gaspar, N., Henrio, L., Madelaine, E.: Formally reasoning on a reconfigurable component-based system \u2013 a case study for the industrial world. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 137\u2013156. Springer, Heidelberg (2014)"},{"key":"5_CR27","volume-title":"A Theory of Distributed Objects","author":"D Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, Berlin (2005). ISBN 3-540-20866-6"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49665-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:29:17Z","timestamp":1748813357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}