{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,27]],"date-time":"2025-04-27T04:21:02Z","timestamp":1745727662616,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030146863"},{"type":"electronic","value":"9783030146870"}],"license":[{"start":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T00:00:00Z","timestamp":1552953600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-14687-0_21","type":"book-chapter","created":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T01:35:21Z","timestamp":1552872921000},"page":"232-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Perucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Autili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Aloisio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,19]]},"reference":[{"key":"21_CR1","unstructured":"Aloisio A, Autili M, D\u2019Angelo A, Viidanoja A, Leguay J, Ginzler T, Lampe T, Spagnolo L, Wolthusen SD, Flizikowski A, Sliwa J (2015) TACTICS: tactical service oriented architecture. In: 3rd international conference in software engineering for defence applications (SEDA), pp 1\u20139"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Andersson J, de Lemos R, Malek S, Weyns D (2009) Modeling dimensions of self-adaptive software systems. In: Software engineering for self-adaptive systems, volume 5525 of LNCS. Springer, Heidelberg, pp 27\u201347","DOI":"10.1007\/978-3-642-02161-9_2"},{"key":"21_CR3","unstructured":"Australian Defence Force Warfare Centre (2009) ADDP 00.1 Command and Control - Department of Defence, CANBERRA ACT 2600"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Autili M, Di Ruscio D, Di Salle A, Inverardi P, Tivoli M (2013) A model-based synthesis process for choreography realizability enforcement. In: Fundamental approaches to software engineering, volume 7793 of LNCS. Springer, Heidelberg, pp 37\u201352","DOI":"10.1007\/978-3-642-37057-1_4"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2014.131","volume":"32","author":"M Autili","year":"2015","unstructured":"Autili M, Inverardi P, Tivoli M (2015) Automated synthesis of service choreographies. IEEE Softw 32(1):50\u201357","journal-title":"IEEE Softw"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2017.10.010","volume":"160","author":"M Autili","year":"2018","unstructured":"Autili M, Inverardi P, Tivoli M (2018) Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates. Sci Comput Program 160:3\u201329","journal-title":"Sci Comput Program"},{"key":"21_CR7","unstructured":"Autili M, Tivoli M (2014) Distributed enforcement of service choreographies. In: Proceedings of the 13th international workshop on foundations of coordination languages and self-adaptive systems (FOCLASA), pp 18\u201335"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Basu S, Bultan T (2011) Choreography conformance via synchronizability. In: Proceedings of the 20th international conference on World Wide Web (WWW), pp 795\u2013804","DOI":"10.1145\/1963405.1963516"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Carbone M, Montesi F (2013) Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Proceedings of the 40th annual ACM SIGPLAN-sigact symposium on principles of programming languages, pp 263\u2013274","DOI":"10.1145\/2429069.2429101"},{"key":"21_CR10","unstructured":"National Research Council (1999) Realizing the Potential of C4I: Fundamental Challenges. The National Academies Press"},{"key":"21_CR11","unstructured":"Department of Defense (2010) Department of Defense Dictionary of Military and Associated Terms - Joint Publication 1-02 - as amended through 15 December 2014"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Diefenbach A, Ginzler T, McLaughlin S, Sliwa J, Lampe TA, Prasse C (2016) TACTICS TSI architecture: a European reference architecture for tactical SOA. In: International conference on military communications and information systems (ICMCIS), pp 1\u20138","DOI":"10.1109\/ICMCIS.2016.7496584"},{"issue":"4","key":"21_CR13","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/s10009-016-0421-6","volume":"19","author":"Z Farah","year":"2017","unstructured":"Farah Z, Ait-Ameur Y, Ouederni M, Tari K (2017) A correct-by-construction model for asynchronously communicating systems. Int J Softw Tools Technol Transf 19(4):465\u2013485","journal-title":"Int J Softw Tools Technol Transf"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann M, Sala\u00fcn G, Ouederni M (2012) Counterexample guided synthesis of monitors for realizability enforcement. In: Automated technology for verification and analysis, volume 7561 of LNCS. Springer, Heidelberg, pp 238\u2013253","DOI":"10.1007\/978-3-642-33386-6_20"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Pistore M (2006) Analysis of realizability conditions for web service choreographies. In: Formal techniques for networked and distributed systems (FORTE). Springer, Heidelberg, pp 61\u201376","DOI":"10.1007\/11888116_5"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Pistore M (2006) Choreography conformance analysis: asynchronous communications and information alignment. In: WebServices and formal methods, volume 4184 of LNCS. Springer, Heidelberg, pp 227\u2013241","DOI":"10.1007\/11841197_15"},{"key":"21_CR17","unstructured":"Lopes RRF, Wolthusen SD (2015) Distributed security policies for service-oriented architectures over tactical networks. In: IEEE military communications conference (MILCOM), pp 1548\u20131553"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Malek S, Beckman N, Mikic-Rakic M, Medvidovic N (2005) A framework for ensuring and improving dependability in highly distributed systems. In: Architecting dependable systems III, volume 3549 of LNCS. Springer, Heidelberg, pp 173\u2013193","DOI":"10.1007\/11556169_8"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Ma\u0142owidzki M, Dalecki T, Berezi\u0144ski P, Mazur M, Skar\u017cy\u0144ski P (2016) Adapting standard tactical applications for a military disruption-tolerant network. In: International conference on military communications and information systems (ICMCIS), pp 1\u20135","DOI":"10.1109\/ICMCIS.2016.7496564"},{"key":"21_CR20","unstructured":"Seifert H, Franke M, Diefenbach A, Sevenich P (2012) SOA in the CoNSIS coalition environment: extending the WS-I basic profile for using SOA in a tactical environment. In: Military communications and information systems conference (MCC), pp 1\u20136"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Suri N, Morelli A, Kovach J, Sadler L, Winkler R (2015) Agile computing middleware support for service-oriented computing over tactical networks. In: IEEE 81st vehicular technology conference (VTC Spring), pp 1\u20135","DOI":"10.1109\/VTCSpring.2015.7145672"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Tahmoush D, Lofland C (2009) A prototype national emergency deployment system. In: IEEE conference on technologies for homeland security (HST), pp 331\u2013338","DOI":"10.1109\/THS.2009.5168055"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Trainotti M, Pistore M, Calabrese G, Zacco G, Lucchese G, Barbon F, Bertoli P, Traverso P (2005) ASTRO: Supporting composition and execution of web services. In: Service-oriented computing - ICSOC 2005, volume 3826 of LNCS. Springer, Heidelberg, pp 495\u2013501","DOI":"10.1007\/11596141_39"}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of 6th International Conference in Software Engineering for Defence Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-14687-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T03:10:59Z","timestamp":1558149059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-14687-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,19]]},"ISBN":["9783030146863","9783030146870"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-14687-0_21","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,3,19]]},"assertion":[{"value":"19 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEDA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference in Software Engineering for Defence Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"seda2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.sedaconference.eu\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}