{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:57:58Z","timestamp":1760821078246,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030217587"},{"type":"electronic","value":"9783030217594"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21759-4_14","type":"book-chapter","created":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T23:30:20Z","timestamp":1559518220000},"page":"242-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework"],"prefix":"10.1007","author":[{"given":"Jean-Bernard","family":"Stefani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Vassor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/2837022","volume":"38","author":"T Balabonski","year":"2016","unstructured":"Balabonski, T., Pottier, F., Protzenko, J.: The design and formalization of Mezzo, a permission-based programming language. ACM Trans. Program. Lang. Syst. 38(4), 14 (2016)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"14_CR2","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1109\/TSE.2003.1199074","volume":"29","author":"F Barbier","year":"2003","unstructured":"Barbier, F., Henderson-Sellers, B., Le Parc, A., Bruel, J.M.: Formalization of the whole-part relationship in the unified modeling language. IEEE Trans. Softw. Eng. 29(5), 459\u2013470 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR3","volume-title":"Software Architecture in Practice SEI Series in Software Engineering","author":"L Bass","year":"2013","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice SEI Series in Software Engineering, 3rd edn. Addison-Wesley, Boston (2013)","edition":"3"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","volume-title":"Fundamental Approaches to Software Engineering","author":"S Bauer","year":"2012","unstructured":"Bauer, S., et al.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 43\u201358. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_3"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Log. Methods Comput. Sci. 7(1), 1\u201344 (2011)","DOI":"10.2168\/LMCS-7(1:11)2011"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 508\u2013522. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_39"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B Bloom","year":"1995","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. J. ACM 42(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"issue":"11\u201312","key":"14_CR8","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.B.: The fractal component model and its support in Java. Softw. Pract. Exp. 36(11\u201312), 1257\u20131284 (2006)","journal-title":"Softw. Pract. Exp."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-16310-9_2","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R Bruni","year":"2015","unstructured":"Bruni, R., Montanari, U., Sammartino, M.: Reconfigurable and software-defined networks of connectors and components. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 73\u2013106. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9_2"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"Michele Bugliesi","year":"2004","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: the calculus of boxed ambients. ACM. Trans. Program. Lang. Syst. 26(1), 57\u2013124 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci. 240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Castellani, I.: Process algebras with localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50033-3"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.ic.2003.12.003","volume":"190","author":"Gian Luca Cattani","year":"2004","unstructured":"Cattani, G.L., Sewell, P.: Models for name-passing processes: interleaving and causal. Inf. Comput. 190(2), 136\u2013178 (2004)","journal-title":"Information and Computation"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-36946-9_3","volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","author":"D Clarke","year":"2013","unstructured":"Clarke, D., \u00d6stlund, J., Sergey, I., Wrigstad, T.: Ownership types: a survey. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS, vol. 7850, pp. 15\u201358. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36946-9_3"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19195-9_14","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015","author":"B Claudel","year":"2015","unstructured":"Claudel, B., Sabah, Q., Stefani, J.B.: Simple isolation for an actor abstract machine. In: Graf, S., Viswanathan, M. (eds.) Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015. Lecture Notes in Computer Science, vol. 9039. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19195-9_14"},{"issue":"5","key":"14_CR16","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1109\/TSE.2010.83","volume":"37","author":"I Crnkovic","year":"2011","unstructured":"Crnkovic, I., Sentilles, S., Vulgarakis, A., Chaudron, M.R.V.: A classification framework for software component models. IEEE Trans. Softw. Eng. 37(5), 599\u2013615 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/2619998","volume":"9","author":"RD Nicola","year":"2014","unstructured":"Nicola, R.D., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 7 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., et al.: Taming heterogeneity-the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"GL Ferrari","year":"2006","unstructured":"Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 22\u201343. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11804192_2"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-012-0236-1","volume":"12","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(2), 349\u2013367 (2013)","journal-title":"Softw. Syst. Model."},{"key":"14_CR21","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: architectural description of component-based systems. Foundations of Component-Based Systems. Cambridge University Press (2000)"},{"issue":"4-5","key":"14_CR22","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00236-005-0178-y","volume":"42","author":"Matthew Hennessy","year":"2005","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: SAFEDPI: a language for controlling mobile code. Acta Inf. 42(4\u20135), 227\u2013290 (2005)","journal-title":"Acta Informatica"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","volume":"22","author":"Sung-Shik Jongmans","year":"2012","unstructured":"Jongmans, S.S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Scientific Annals of Computer Science"},{"key":"14_CR24","unstructured":"Leavens, G., Sitaraman, M. (eds.): Foundations of Component-Based Systems. Cambridge University Press (2000)"},{"key":"14_CR25","unstructured":"Zhiming, L., He, J. (eds.): Mathematical Frameworks for Component Software - Models for Analysis and Synthesis. World Scientic (2006)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: 4th ACM symposium on Foundations of Software Engineering (FSE-4). ACM (1995)","DOI":"10.1145\/239098.239104"},{"key":"14_CR27","unstructured":"Merle, P., Stefani, J.B.: A formal specification of the fractal component model in alloy. Research Report RR-6721, INRIA, France (2008)"},{"key":"14_CR28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"issue":"5","key":"14_CR29","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.L., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139084673","volume-title":"Nominal Sets: Names and Symmetry in Computer Science","author":"AM Pitts","year":"2013","unstructured":"Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge University Press, Cambridge (2013)"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Riely, J., Hennessy, M.: A typed language for distributed mobile processes. In: 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM (1998)","DOI":"10.1145\/268946.268978"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-35743-5_19","volume-title":"Formal Aspects of Component Software","author":"A Sanchez","year":"2012","unstructured":"Sanchez, A., Barbosa, L.S., Riesco, D.: Bigraphical modelling of architectural patterns. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 313\u2013330. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35743-5_19"},{"key":"14_CR33","volume-title":"The $$\\pi $$-calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The $$\\pi $$-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"14_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The kell calculus: a family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146\u2013178. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31794-4_9"},{"key":"14_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2015.02.011","volume":"577","author":"M Sevegnani","year":"2015","unstructured":"Sevegnani, M., Calder, M.: Bigraphs with sharing. Theor. Comput. Sci. 577, 43\u201373 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-15317-9_1","volume-title":"Formal Aspects of Component Software","author":"J-B Stefani","year":"2015","unstructured":"Stefani, J.-B.: Components as location graphs. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 3\u201323. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15317-9_1"},{"key":"14_CR37","doi-asserted-by":"crossref","unstructured":"Tutu, I., Fiadeiro, J.L.: Service-oriented logic programming. Log. Methods Comput. Sci. 11(3), 1\u201337 (2015)","DOI":"10.2168\/LMCS-11(3:3)2015"},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: The meaning of negative premises in transition system specifications II. J. Log. Algebraic Program. 60\u201361, 229\u2013258 (2004). https:\/\/www.sciencedirect.com\/journal\/the-journal-of-logic-and-algebraic-programming\/vol\/60\/suppl\/C","DOI":"10.1016\/j.jlap.2004.03.007"},{"key":"14_CR39","unstructured":"Voigt, J.: Access contracts: a dynamic approach to object-oriented access protection. Technical report UCAM-CL-TR-880, University of Cambridge (2016)"},{"issue":"2","key":"14_CR40","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"Michel Wermelinger","year":"2002","unstructured":"Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44(2), 133\u2013155 (2002)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21759-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T00:03:47Z","timestamp":1685750627000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21759-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030217587","9783030217594"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21759-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2019\/forte","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.1","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}