{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:25:17Z","timestamp":1743150317569,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030801182"},{"type":"electronic","value":"9783030801199"}],"license":[{"start":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T00:00:00Z","timestamp":1626134400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T00:00:00Z","timestamp":1626134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-80119-9_17","type":"book-chapter","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T19:14:28Z","timestamp":1626117268000},"page":"311-325","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Design of Customizable Distributed Algorithms for InDiGO Framework"],"prefix":"10.1007","author":[{"given":"Valeriy","family":"Kolesnikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,13]]},"reference":[{"key":"17_CR1","volume-title":"Reliable Distributed Computing with the ISIS toolkit","author":"K Birman","year":"1994","unstructured":"Birman, K., Renesse, R.: Reliable Distributed Computing with the ISIS toolkit. IEEE Computer Society Press, Washington (1994)"},{"key":"17_CR2","unstructured":"Guerraoui, R., Schiper, A.: Consensus service: a modular approach for building fault-tolerant agreement protocols in distributed systems. In: IEEE International Symposium on Faul-Tolerant Computing Systems (1996)"},{"key":"17_CR3","unstructured":"Kalantar, M., Birman, K.: Causally ordered multicast: the conservative approach. In: IEEE International Conference on Distributed Computing Systems (1999)"},{"key":"17_CR4","unstructured":"Birman, K., Hayden, M.: The maestro group manager: a structuring tool for applications with multiple quality of service requirements. In: Technical Report TR97-1619. Cornell University, Department of Computer Science (1997)"},{"key":"17_CR5","unstructured":"Ban, B.: JavaGroups - A Reliable Multicast Communication Toolkit for Java (1999). http:\/\/www.cs.cornell.edu\/Info\/Projects\/JavaGroupsNew"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Felber, P., Guerraoui, R.: Programming with object groups in Corba. In: IEEE Concurrency (2000)","DOI":"10.1109\/4434.824312"},{"key":"17_CR7","unstructured":"Rhee, I., Cheung, S., Hutto, P., Sunderam, V.: Group communication support for distributed collaboration systems. In: IEEE 17th International Conference on Distributed Computing Systems (1997)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Moser, L., Melliar-Smith, P., Agrawal, D., Budhia, R., Lingley-Papadopoulos, C.: Totem: a fault-tolerant multicast group communication system. In: Communication of the ACM, vol. 39 (1996)","DOI":"10.1145\/227210.227226"},{"key":"17_CR9","unstructured":"Amir, Y., Dolev, D., Kramer, S., Malki, D.: Transis: a communication subsystem for high availability. In: International Symposium on Fault-Tolerant Computing (1992)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Bhatti, N., Schlichting, R.: A system for constructing configurable high-level prototocols. In: ACM SIGCOMM Conference (1995)","DOI":"10.1145\/217382.217424"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Kolesnikov, V., Singh, G.: InDiGO: an infrastructure for optimization of distributed algorithms. In: 7th International Symposium on Parallel and Distributed Computing, pp. 401\u2013408 (2008)","DOI":"10.1109\/ISPDC.2008.43"},{"key":"17_CR12","unstructured":"Sharp, D.: Avionics product line software architecture flow policies. In: Digital Avionics Systems Conference (1999)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Kiczales, G.: Aspect-oriented programming. In: European Conference on Object-Oriented Programming (ECOOP). LNCS 1241 (1997)","DOI":"10.1007\/BFb0053381"},{"key":"17_CR14","unstructured":"Pratap, R., Cytron, R.: Transport layer abstraction in event channels for embedded systems. In: LCTES (2003)"},{"key":"17_CR15","unstructured":"Agbaria, A., Sanders, W.H.: Application-driven coordination-free distributed check-pointing. In: IEEE International Conference on Distributed Computing Systems (2005)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Chockler, G., Kedar, I., Vitenberg, R.: Group communication frameworks: a comprehensive survey. In: ACM Computing Surveys (2001)","DOI":"10.1145\/503112.503113"},{"key":"17_CR17","unstructured":"Jensen, P., Soparkar, N., Mathur, A.: Characterizing multicast orderings using concurrency control theory. In: International Conference on Distributed Computing Systems (1997)"},{"key":"17_CR18","unstructured":"Liu, L., Pu, C.: A transactional activity model for organizing open-ended cooperative activities. In: Hawaii International Conference on System Sciences (1998)"},{"key":"17_CR19","doi-asserted-by":"publisher","unstructured":"Childs, A.: Cadena: an integrated development environment for analysis, synthesis, and verification of component-based systems. In: Wermelinger, M., Margaria, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 160\u2013164. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24721-0_11","DOI":"10.1007\/978-3-540-24721-0_11"},{"key":"17_CR20","unstructured":"Ma, C., Bacon, J.: Cobea: a corba-based event architecture. In: USENIX COOTS (1998)"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/JPROC.2004.840489","volume":"93","author":"S Guyer","year":"2005","unstructured":"Guyer, S., Lin, C.: Broadway: a compiler for exploiting the domain-specific semantics of software libraries. IEEE 93, 342\u2013357 (2005)","journal-title":"IEEE"},{"key":"17_CR22","volume-title":"Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming","author":"N Francez","year":"1996","unstructured":"Francez, N., Forman, I.: Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. Addison-Wesley, Reading (1996)"},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1109\/32.41333","volume":"15","author":"M Evangelist","year":"1989","unstructured":"Evangelist, M., Francez, N., Katz, S.: Multiparty interactions for interprocess communication and synchronization. IIEEE Trans. Software Eng. 15, 1417\u20131426 (1989)","journal-title":"IIEEE Trans. Software Eng."},{"key":"17_CR24","unstructured":"Garlan, D., Allen, R.: Formalizing architectural connections. In: IEEE International Conference on Software Engineering (1994)"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D Luckman","year":"1995","unstructured":"Luckman, D.: Specification and analysis of system architecture using Rapide. IEEE Trans. Software Eng. 21, 336\u2013354 (1995)","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR26","unstructured":"Sturman, D.: Modular specification of interaction policies in distributed computing. Ph.D. thesis, University of Illinois at Urbana Champaign (1996)"},{"key":"17_CR27","unstructured":"Singh, G., Kumar, P.S., Zeng, Q.: Configurable event communication in Cadena. In: IEEE Conference on Real-time Applications and Systems (2004)"},{"key":"17_CR28","unstructured":"Kumar, P.S., Zeng, Q., Singh, G.: Constraining event flow for regulation in pervasive systems. In: Third IEEE International Conference on Pervasive Computing and Communications, PERCOM 2005, pp. 314\u2013318. IEEE Computer Society (2005)"},{"key":"17_CR29","doi-asserted-by":"publisher","unstructured":"Trombetti, G.: An integrated model-driven development environment for composing and validating distributed real-time and embedded systems. In: Beydeda, M.B.S., Gruhn, V. (eds.) Model-Driven Software Development, Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/3-540-28554-7_15","DOI":"10.1007\/3-540-28554-7_15"},{"key":"17_CR30","unstructured":"Chen, L., Singh, G.: Enhancing multicast communication to support protocol design. In: IEEE International Conference on Computer Communication and Networks (2002)"},{"key":"17_CR31","unstructured":"Singh, G., Das, S.: Customizing event ordering middleware for component-based systems. In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), pp. 359\u2013362. IEEE Computer Society (2005)"},{"key":"17_CR32","unstructured":"Singh, G., Maddula, B., Zeng, Q.: Enhancing event channel for synchronization in object oriented distributed systems. In: IEEE International Symposium on Object Oriented Real-time Computing (2002)"},{"key":"17_CR33","unstructured":"Singh, G., Su, Y.: Region synchronization in message passing systems. In: International Conference on Parallel Processing (2002)"},{"key":"17_CR34","unstructured":"Su, Y.: Synchronization in Message Passing Systems. Ph.D. thesis, Kansas State University (2004)"},{"key":"17_CR35","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1006\/jpdc.1996.1300","volume":"41","author":"R Prakash","year":"1997","unstructured":"Prakash, R., Raynal, M., Singhal, M.: An adaptive causal ordering algorithm suited to mobile computing environments. J. Parallel Distrib. Comput. 41, 190\u2013204 (1997)","journal-title":"J. Parallel Distrib. Comput."},{"key":"17_CR36","unstructured":"Quaireau, S., Laumay, P.: Ensuring applicative causal ordering in autonomous mobile computing. In: Workshop on Middleware for Mobile Computing (2001)"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Mizuno, M., Singh, G., Neilsen, M.: A structured approach to develop concurrent programs in UML. In: Third International Conference on the Unified Modeling Language (2000)","DOI":"10.1007\/3-540-40011-7_33"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Singh, G., Kolesnikov, V., Das, S.: Methodologies for optimization of distributed algorithms and middleware. In: 22nd IEEE International Parallel and Distributed Processing Symposium IPDPS, Miami 2008 (2008)","DOI":"10.1109\/IPDPS.2008.4536386"},{"key":"17_CR39","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"Kolesnikov, V., Singh, G.: Utilizing model checking for automated optimization information discovery in InDiGO. In: 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009, pp. 91\u201398 (2009)","DOI":"10.1109\/ISPDC.2009.22"},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"Kolesnikov, V.: Realizing optimization opportunities for distributed applications in the middleware layer by utilizing InDiGO framework. In: 9th International Symposium on Parallel and Distributed Computing, ISPDC 2010, pp. 85\u201392 (2010)","DOI":"10.1109\/ISPDC.2010.31"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-80119-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T19:17:07Z","timestamp":1626117427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-80119-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,13]]},"ISBN":["9783030801182","9783030801199"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-80119-9_17","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021,7,13]]},"assertion":[{"value":"13 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}