{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:42Z","timestamp":1745986782671,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358609"},{"type":"electronic","value":"9783642358616"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35861-6_10","type":"book-chapter","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T03:44:50Z","timestamp":1357875890000},"page":"152-169","source":"Crossref","is-referenced-by-count":1,"title":["Xcd \u2013 Modular, Realizable Software Architectures\u00a0"],"prefix":"10.1007","author":[{"given":"Christos","family":"Kloukinas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mert","family":"Ozkaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM TOSEM\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"issue":"7","key":"10_CR2","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Software Eng.\u00a029(7), 623\u2013633 (2003)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.tcs.2004.09.034","volume":"331","author":"R. Alur","year":"2005","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. Theor. Comput. Sci.\u00a0331(1), 97\u2013114 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"10_CR4","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 Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"B\u00e1lek, D., Plasil, F.: Software connectors and their role in component deployment. In: IFIP Conf. Proc. vol. 198, pp. 69\u201384. Kluwer (2001)","DOI":"10.1007\/0-306-47005-5_6"},{"issue":"6","key":"10_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.5381\/jot.2007.6.6.a5","volume":"6","author":"L. Balmelli","year":"2007","unstructured":"Balmelli, L.: An overview of the systems modeling language for products and systems development. J. of Obj. Tech.\u00a06(6), 149\u2013177 (2007), www.sysml.org","journal-title":"J. of Obj. Tech."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Field, J., Hicks, M. (eds.) POPL 2012, pp. 191\u2013202. ACM (2012)","DOI":"10.1145\/2103621.2103680"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors \u2013 Structuring interaction in BIP. In: EmSoft, pp. 11\u201320 (October 2007)","DOI":"10.1145\/1289927.1289935"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-39953-4_1","volume-title":"Generic Programming","author":"J.C. Dehnert","year":"2000","unstructured":"Dehnert, J.C., Stepanov, A.A.: Fundamentals of Generic Programming. In: Jazayeri, M., Loos, R., Musser, D. (eds.) Generic Programming 1998. LNCS, vol.\u00a01766, pp. 1\u201311. Springer, Heidelberg (2000)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Delanote, D., Van Baelen, S., Joosen, W., Berbers, Y.: Using AADL to model a protocol stack. In: ICECCS, pp. 277\u2013281 ( April 2008)","DOI":"10.1109\/ICECCS.2008.12"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-16561-0_27","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Giandomenico Di","year":"2010","unstructured":"Di Giandomenico, F., Kwiatkowska, M., Martinucci, M., Masci, P., Qu, H.: Dependability Analysis and Verification for Connected Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 263\u2013277. Springer, Heidelberg (2010)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Lewis, B.A., Vestal, S.: The SAE architecture analysis & design language. In: IEEE Intl. Symp. on Intell. Control, pp. 1206\u20131211 (October 2006), http:\/\/www.aadl.info","DOI":"10.1109\/CACSD.2006.285483"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch or why it\u2019s hard to build systems out of existing parts. In: ICSE, pp. 179\u2013185 (April 1995)","DOI":"10.1145\/225014.225031"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/9789812798039_0001","volume-title":"Adv. in SW Eng. and Knowledge Eng.","author":"D. Garlan","year":"1993","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. In: Adv. in SW Eng. and Knowledge Eng., pp. 1\u201339. World Scientific Publishing Company, Singapore (1993)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-48919-3_32","volume-title":"Coordination Languages and Models","author":"D. Hirsch","year":"1999","unstructured":"Hirsch, D., Uchitel, S., Yankelevich, D.: Towards a Periodic Table of Connectors. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol.\u00a01594, p. 418. Springer, Heidelberg (1999)"},{"issue":"10","key":"10_CR17","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"8","key":"10_CR18","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-21455-4_7","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V. Issarny","year":"2011","unstructured":"Issarny, V., Bennaceur, A., Bromberg, Y.-D.: Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 217\u2013255. Springer, Heidelberg (2011)"},{"key":"10_CR20","unstructured":"Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, J.R.O.: Documenting component and connector views with UML 2.0. TR CMU\/SEI-2004-TR-008 (2004)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Kim, J.S., Garlan, D.: Analyzing architectural styles with Alloy. In: ROSATEA (July 2006)","DOI":"10.1145\/1147249.1147259"},{"key":"10_CR22","first-page":"199","volume-title":"ICSE-NIER \u2013 ICSE Companion","author":"C. Kloukinas","year":"2009","unstructured":"Kloukinas, C.: Better abstractions for reusable components & architectures. In: ICSE-NIER \u2013 ICSE Companion, pp. 199\u2013202. IEEE Press, Vancouver (2009)"},{"key":"10_CR23","unstructured":"Kloukinas, C., Ozkaya, M.: Xcd \u2013 Simple, modular, formal software architectures. Tech. Rep. TR\/2012\/DOC\/01, Department of Computing, School of Informatics, City University London, Northampton Square, London, EC1V 0HB, U.K. (May 2012), ISSN 1364\u20134009"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11424529_7","volume-title":"Component-Based Software Engineering","author":"K.K. Lau","year":"2005","unstructured":"Lau, K.K., Elizondo, P.V., Wang, Z.: Exogenous Connectors for Software Components. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 90\u2013106. Springer, Heidelberg (2005)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-25044-6_25","volume-title":"Agents in Principle, Agents in Practice","author":"G. Lekeas","year":"2011","unstructured":"Lekeas, G., Kloukinas, C., Stathis, K.: Producing Enactable Protocols in Artificial Agent Societies. In: Kinny, D., Hsu, J.Y.-J., Governatori, G., Ghose, A.K. (eds.) PRIMA 2011. LNCS, vol.\u00a07047, pp. 311\u2013322. Springer, Heidelberg (2011)"},{"key":"10_CR26","unstructured":"Magee, J., Kramer, J.: Concurrency \u2013 state models and Java programs, 2nd edn. Wiley (2006)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of SW connectors. In: ICSE, pp. 178\u2013187 (2000)","DOI":"10.1145\/337180.337201"},{"issue":"10","key":"10_CR28","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-51084-2_2","volume-title":"Symbolic and Algebraic Computation","author":"D.R. Musser","year":"1989","unstructured":"Musser, D.R., Stepanov, A.A.: Generic Programming. In: Gianni, P. (ed.) ISSAC 1988. LNCS, vol.\u00a0358, pp. 13\u201325. Springer, Heidelberg (1989)"},{"issue":"4","key":"10_CR30","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Plasil, F., Besta, M., Visnovsky, S.: Bounding component behavior via protocols. In: TOOLS, vol. (30), pp. 387\u2013398. IEEE (1999)","DOI":"10.1109\/TOOLS.1999.787567"},{"issue":"11","key":"10_CR32","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Software Eng.\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/11531142_24","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"E. Rodr\u00edguez","year":"2005","unstructured":"Rodr\u00edguez, E., Dwyer, M.B., Flanagan, C., Hatcliff, J., Leavens, G.T., Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 551\u2013576. Springer, Heidelberg (2005)"},{"key":"10_CR34","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. John Wiley & Sons (2010), ISBN-13: 978-0470167748"},{"key":"10_CR35","unstructured":"Wirth, N.: Algorithms + Data Structures = Programs. Prentice-Hall (1975)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35861-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:51:12Z","timestamp":1745945472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35861-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358609","9783642358616"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}