{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:48:27Z","timestamp":1725547707653},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642118104"},{"type":"electronic","value":"9783642118111"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11811-1_11","type":"book-chapter","created":{"date-parts":[[2010,2,19]],"date-time":"2010-02-19T06:57:22Z","timestamp":1266562642000},"page":"132-145","source":"Crossref","is-referenced-by-count":3,"title":["Towards Formalizing Network Architectural Descriptions"],"prefix":"10.1007","author":[{"given":"Joud","family":"Khoury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaouki T.","family":"Abdallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory L.","family":"Heileman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"The alloy analyzer, http:\/\/alloy.mit.edu\/"},{"key":"11_CR2","unstructured":"NSF Nets FIND initiative, http:\/\/www.nets-find.net\/"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/226241.226244","volume":"4","author":"G.D. Abowd","year":"1995","unstructured":"Abowd, G.D., Allen, R., Garlan, D.: Formalizing style to understand descriptions of software architecture. ACM Trans. Softw. Eng. Methodol.\u00a04(4), 319\u2013364 (1995)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1016707.1016719","volume-title":"FDNA 2004: ACM Workshop on Future Directions in Network Architecture","author":"B. Ahlgren","year":"2004","unstructured":"Ahlgren, B., Brunner, M., Eggert, L., Hancock, R., Schmid, S.: Invariants: a new design methodology for network architectures. In: FDNA 2004: ACM Workshop on Future Directions in Network Architecture, pp. 65\u201370. ACM Press, New York (2004)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/IWSSD.1996.501142","volume-title":"IWSSD \u201996: Proceedings of the 8th International Workshop on Software Specification and Design","author":"R. Allen","year":"1996","unstructured":"Allen, R., Garlan, D.: A case study in architectural modelling: The aegis system. In: IWSSD \u201996: Proceedings of the 8th International Workshop on Software Specification and Design, Washington, DC, USA, p. 6. IEEE Computer Society, Los Alamitos (1996)"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol.\u00a011(4), 386\u2013426 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/52324.52336","volume-title":"Proceedings of SIGCOMM 1988","author":"D. Clark","year":"1988","unstructured":"Clark, D.: The design philosophy of the darpa internet protocols. In: Proceedings of SIGCOMM 1988, pp. 106\u2013114. ACM Press, New York (1988)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/944759.944770","volume-title":"FDNA 2003: ACM Workshop on Future Directions in Network Architecture","author":"D. Clark","year":"2003","unstructured":"Clark, D., Braden, R., Falk, A., Pingali, V.: Fara: reorganizing the addressing architecture. In: FDNA 2003: ACM Workshop on Future Directions in Network Architecture, pp. 313\u2013321. ACM Press, New York (2003)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/944759.944761","volume-title":"FDNA 2003: ACM Workshop on Future Directions in Network Architecture","author":"D.D. Clark","year":"2003","unstructured":"Clark, D.D., Sollins, K., Wroclawski, J., Faber, T.: Addressing reality: an architectural response to real-world demands on the evolving internet. In: FDNA 2003: ACM Workshop on Future Directions in Network Architecture, pp. 247\u2013257. ACM Press, New York (2003)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1109\/TNET.2005.850224","volume":"13","author":"D.D. Clark","year":"2005","unstructured":"Clark, D.D., Wroclawski, J., Sollins, K.R., Braden, R.: Tussle in cyberspace: defining tomorrow\u2019s internet. IEEE\/ACM Trans. Netw.\u00a013(3), 462\u2013475 (2005)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1080091.1080094","volume-title":"Proceedings of SIGCOMM 2005","author":"T.G. Griffin","year":"2005","unstructured":"Griffin, T.G., Sobrinho, J.L.: Metarouting. In: Proceedings of SIGCOMM 2005, pp. 1\u201312. ACM Press, New York (2005)"},{"key":"11_CR12","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"11_CR13","first-page":"217","volume-title":"Proceedings of SIGCOMM 2007","author":"M. Karsten","year":"2007","unstructured":"Karsten, M., Keshav, S., Prasad, S., Beg, M.: An axiomatic basis for communication. In: Proceedings of SIGCOMM 2007, pp. 217\u2013228. ACM Press, New York (2007)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Jackson, D.: Exploring the design of an intentional naming scheme with an automatic constraint analyzer. In: ASE, pp. 13\u201322 (2000)","DOI":"10.1109\/ASE.2000.873646"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1147249.1147259","volume-title":"ROSATEA 2006: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis","author":"J.S. Kim","year":"2006","unstructured":"Kim, J.S., Garlan, D.: Analyzing architectural styles with alloy. In: ROSATEA 2006: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, pp. 70\u201380. ACM Press, New York (2006)"},{"key":"11_CR16","unstructured":"Narain, S.: Network configuration management via model finding. In: LISA 2005: Proceedings of the 19th conference on Large Installation System Administration Conference, Berkeley, CA, USA, p. 15. USENIX Association (2005)"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127885","volume":"31","author":"F. Oquendo","year":"2006","unstructured":"Oquendo, F.: A model-driven formal method for architecture-centric software engineering. SIGSOFT Softw. Eng. Notes\u00a031(3), 1\u201313 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"11_CR18","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder, pp. 632\u2013647 (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/944759.944768","volume-title":"FDNA 2003: ACM Workshop on Future Directions in Network Architecture","author":"X. Yang","year":"2003","unstructured":"Yang, X.: Nira: a new internet routing architecture. In: FDNA 2003: ACM Workshop on Future Directions in Network Architecture, pp. 301\u2013312. ACM Press, New York (2003)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11813040_23","volume-title":"FM 2006: Formal Methods","author":"P. Zave","year":"2006","unstructured":"Zave, P.: Compositional binding in network domains. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 332\u2013347. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11811-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:44:12Z","timestamp":1606167852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11811-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118104","9783642118111"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11811-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}