{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:42:14Z","timestamp":1725453734644},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305634"},{"type":"electronic","value":"9783642305641"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30564-1_1","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:12Z","timestamp":1337945352000},"page":"1-16","source":"Crossref","is-referenced-by-count":31,"title":["Modeling Dynamic Architectures Using Dy-BIP"],"prefix":"10.1007","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamad","family":"Jaber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Maris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","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":"60","DOI":"10.1007\/3-540-63531-9_7","volume-title":"Software Engineering - ESEC-FSE \u201997","author":"N. Medvidovic","year":"1997","unstructured":"Medvidovic, N., Taylor, R.N.: A Framework for Classifying and Comparing Architecture Description Languages. In: Jazayeri, M. (ed.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol.\u00a01301, pp. 60\u201376. Springer, Heidelberg (1997)"},{"key":"1_CR2","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: An architecture description interchange language. In: Proceedings of CASCON 1997, Toronto, Ontario, pp. 169\u2013183 (November 1997)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R.B. Allen","year":"1998","unstructured":"Allen, R.B., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the bip framework. IEEE Software\u00a028(3), 41\u201348 (2011)","journal-title":"IEEE Software"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68855-6_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"A. Basu","year":"2008","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed Semantics and Implementation for Systems with Interaction and Priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 116\u2013133. Springer, Heidelberg (2008)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-92188-2_8","volume-title":"Formal Methods for Components and Objects","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: Causal Semantics for the Algebra of Connectors (Extended Abstruct). In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 179\u2013199. Springer, Heidelberg (2008)"},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Software Eng.\u00a021(4), 373\u2013386 (1995)","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"1_CR8","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D.L. M\u00e9tayer","year":"1998","unstructured":"M\u00e9tayer, D.L.: Describing software architecture styles using graph grammars. IEEE Trans. Software Eng.\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR9","unstructured":"Milner, R.: Communicating and mobile systems - the Pi-calculus. Cambridge University Press (1999)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/250707.239104","volume":"21","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. SIGSOFT Softw. Eng. Notes\u00a021, 3\u201314 (1996)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors: structuring interaction in bip. In: EMSOFT, pp. 11\u201320 (2007)","DOI":"10.1145\/1289927.1289935"},{"issue":"7","key":"1_CR12","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1016\/j.jss.2010.01.049","volume":"83","author":"J.S. Kim","year":"2010","unstructured":"Kim, J.S., Garlan, D.: Analyzing architectural styles. Journal of Systems and Software\u00a083(7), 1216\u20131235 (2010)","journal-title":"Journal of Systems and Software"},{"key":"1_CR13","unstructured":"Kacem, M.H., Jmaiel, M., Kacem, A.H., Drira, K.: Evaluation and comparison of adl based approaches for the description of dynamic of software architectures. In: ICEIS (3), pp. 189\u2013195 (2005)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: WOSS, pp. 33\u201338 (2002)","DOI":"10.1145\/582128.582135"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2006.09.029","volume":"182","author":"M. Belguidoum","year":"2007","unstructured":"Belguidoum, M., Dagnat, F.: Dependency management in software component deployment. Electr. Notes Theor. Comput. Sci.\u00a0182, 17\u201332 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30564-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:54:23Z","timestamp":1558299263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30564-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305634","9783642305641"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30564-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}