{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:44:15Z","timestamp":1767138255927,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662449196","type":"print"},{"value":"9783662449202","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-44920-2_17","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T05:11:05Z","timestamp":1412053865000},"page":"273-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Realizable, Connector-Driven Software Architectures for Practising Engineers"],"prefix":"10.1007","author":[{"given":"Mert","family":"Ozkaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"issue":"3","key":"17_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 Trans. Softw. Eng. Methodol. 6(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"7","key":"17_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. Softw. Eng. 29(7), 623\u2013633 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"17_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. 331(1), 97\u2013114 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR4","volume-title":"Handbook of Process Algebra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"The Vienna Development Method: The Meta-Language","year":"1978","unstructured":"Bj\u00f8rner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978)"},{"key":"17_CR6","series-title":"IFIP Conference Proceedings","first-page":"107","volume-title":"WICSA","author":"C Canal","year":"1999","unstructured":"Canal, C., Pimentel, E., Troya, J.M., Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Donohoe, P. (ed.) WICSA. IFIP Conference Proceedings, vol. 140, pp. 107\u2013126. Kluwer, Dordrecht (1999)"},{"key":"17_CR7","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. 4111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Delanote, D., Baelen, S. V., Joosen, W., Berbers, Y.: Using AADL to model a protocol stack. In: ICECCS, pp. 277\u2013281. IEEE Computer Society (2008)","DOI":"10.1109\/ICECCS.2008.12"},{"issue":"8","key":"17_CR9","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, Software Engineering Institute (2006)","DOI":"10.21236\/ADA455842"},{"key":"17_CR11","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 (1995)","DOI":"10.1145\/225014.225031"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/9789812798039_0001","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"D Garlan","year":"1993","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. In: Ambriola, V., Tortora, G. (eds.) Advances in Software Engineering and Knowledge Engineering, pp. 1\u201339. World Scientific Publishing Company, Singapore (1993). Also appears as SCS and SEI technical reports: CMU-CS-94-166, CMU\/SEI-94-TR-21, ESC-TR-94-021"},{"issue":"10","key":"17_CR13","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"17_CR14","volume-title":"The SPIN Model Checker - Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"17_CR15","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. 6659, pp. 217\u2013255. Springer, Heidelberg (2011)"},{"key":"17_CR16","unstructured":"Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, J.R.O.: Documenting component and connector views with UML 2.0. Technical report CMU\/SEI-2004-TR-008, Software Engineering Institute (Carnegie Mellon University) (2004)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Luckham, D.C.: Rapide: a language and toolset for simulation of distributed systems by partial orderings of events. Technical report, Stanford University, Stanford, CA, USA (1996)","DOI":"10.1090\/dimacs\/029\/18"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: SIGSOFT FSE, pp. 3\u201314 (1996)","DOI":"10.1145\/250707.239104"},{"issue":"6","key":"17_CR19","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869\u2013891 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"17_CR20","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"17_CR21","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 Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"key":"17_CR22","unstructured":"Ozkaya, M.: Xcd website (2013). http:\/\/www.soi.city.ac.uk\/abdz276\/xcd.html"},{"issue":"4","key":"17_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"DE Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"11","key":"17_CR24","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. Softw. Eng. 28(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"17_CR25","first-page":"25","volume":"5","author":"H Schmidt","year":"2001","unstructured":"Schmidt, H., Poernomo, I., Reussner, R.: Trust-by-contract: modelling, analysing and predicting behaviour of software architectures. J. Integr. Des. Process Sci. 5(3), 25\u201351 (2001)","journal-title":"J. Integr. Des. Process Sci."},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"923","DOI":"10.1007\/978-3-540-69507-3_80","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"D Schreiner","year":"2007","unstructured":"Schreiner, D., G\u00f6schka, K.M.: Explicit connectors in component based software engineering for distributed embedded systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 923\u2013934. Springer, Heidelberg (2007)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control. In: Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, vol. 5, pp. 4104\u20134109. IEEE, December 2001","DOI":"10.1109\/CDC.2001.980822"},{"issue":"1","key":"17_CR28","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S Tripakis","year":"2004","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1), 21\u201328 (2004)","journal-title":"Inf. Process. Lett."}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44920-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T18:45:55Z","timestamp":1746384355000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44920-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662449196","9783662449202"],"references-count":28,"aliases":["10.1007\/978-3-662-45943-0_17"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44920-2_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}