{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T04:12:23Z","timestamp":1743394343362,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308284"},{"type":"electronic","value":"9783642308291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30829-1_6","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T12:19:10Z","timestamp":1339157950000},"page":"74-88","source":"Crossref","is-referenced-by-count":0,"title":["Using Coordinated Actors to Model Families of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Ramtin","family":"Khosravi","sequence":"first","affiliation":[]},{"given":"Hamideh","family":"Sabouri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc. (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"6_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)"},{"key":"6_CR3","unstructured":"K\u00e4stner, C., Apel, S.: Integrating compositional and annotative approaches for product line engineering. In: Proc. Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE). University of Passau (2008)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Lee, J., Kang, K.C.: A feature-oriented approach to developing dynamically reconfigurable products in product line engineering. In: Proc. of the 10th International on Software Product Line Conference, pp. 131\u2013140. IEEE Computer Society (2006)","DOI":"10.1109\/SPLINE.2006.1691585"},{"key":"6_CR5","unstructured":"Sabouri, H., Khosravi, R.: Reducing the model checking cost of product lines using static analysis techniques. In: FACS (to appear, 2012)"},{"issue":"4","key":"6_CR6","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.: Modeling and verification of reactive systems using Rebeca. Fundamenta Informaticae\u00a063(4), 385\u2013410 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Comp. Sci.\u00a014, 329\u2013366 (2004)","journal-title":"Mathematical Structures in Comp. Sci."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-25271-6_11","volume-title":"Formal Methods for Components and Objects","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Muschevici, R., Proen\u00e7a, J., Schaefer, I., Schlatte, R.: Variability Modelling in the ABS Language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 204\u2013224. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci.\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I. Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-Oriented Programming of Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-21461-5_3","volume-title":"Formal Techniques for Distributed Systems","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Model-Checking Tool for Families of Services. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 44\u201358. Springer, Heidelberg (2011)"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program.\u00a061(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"9","key":"6_CR13","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1016\/j.scico.2008.09.020","volume":"74","author":"S. Kl\u00fcppelholz","year":"2009","unstructured":"Kl\u00fcppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. Sci. Comput. Program.\u00a074(9), 688\u2013701 (2009)","journal-title":"Sci. Comput. Program."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-02053-7_10","volume-title":"Coordination Models and Languages","author":"M. Bonsangue","year":"2009","unstructured":"Bonsangue, M., Clarke, D., Silva, A.: Automata for Context-Dependent Connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 184\u2013203. Springer, Heidelberg (2009)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in bip. In: Proc. of the Fourth IEEE Int. Conf. on Software Engineering and Formal Methods, pp. 3\u201312. IEEE Computer Society (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Krause, C., Maraikar, Z., Lazovik, A., Arbab, F.: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program., 23\u201336 (January 2011)","DOI":"10.1016\/j.scico.2009.10.006"},{"key":"6_CR17","unstructured":"Koehler, C., Costa, D., Proen\u00e7a, J., Arbab, F.: Reconfiguration of reo connectors triggered by dataflow. ECEASST\u00a010 (2008)"},{"key":"6_CR18","unstructured":"Proenca, J.: Synchronous Coordination of Distributed Components. PhD thesis, Leiden University (2011)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30829-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T06:36:25Z","timestamp":1743316585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30829-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308284","9783642308291"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30829-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}