Abstract
Software systems are often built by composing services distributed over the network. Choreographies are a form of decentralized composition that models the external interaction of the services by specifying peer-to-peer message exchanges from a global perspective. When third-party services are involved, usually black-box services to be reused, actually realizing choreographies calls for exogenous coordination of their interaction. Nowadays, very few approaches address the problem of actually realizing choreographies in an automatic way. These approaches are rather static and are poorly suited to the need of tactical domains, which are highly-dynamic networking environments that bring together services and sensors over military radio networks. In this paper, we describe a method to employ service choreographies in tactical environments, and apply it to a case study in the military domain.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
References
Aloisio A, Autili M, D’Angelo 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–9
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–47
Australian Defence Force Warfare Centre (2009) ADDP 00.1 Command and Control - Department of Defence, CANBERRA ACT 2600
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–52
Autili M, Inverardi P, Tivoli M (2015) Automated synthesis of service choreographies. IEEE Softw 32(1):50–57
Autili M, Inverardi P, Tivoli M (2018) Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates. Sci Comput Program 160:3–29
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–35
Basu S, Bultan T (2011) Choreography conformance via synchronizability. In: Proceedings of the 20th international conference on World Wide Web (WWW), pp 795–804
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–274
National Research Council (1999) Realizing the Potential of C4I: Fundamental Challenges. The National Academies Press
Department of Defense (2010) Department of Defense Dictionary of Military and Associated Terms - Joint Publication 1-02 - as amended through 15 December 2014
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–8
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–485
Güdemann M, Salaün 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–253
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–76
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–241
Lopes RRF, Wolthusen SD (2015) Distributed security policies for service-oriented architectures over tactical networks. In: IEEE military communications conference (MILCOM), pp 1548–1553
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–193
Małowidzki M, Dalecki T, Bereziński P, Mazur M, Skarżyński P (2016) Adapting standard tactical applications for a military disruption-tolerant network. In: International conference on military communications and information systems (ICMCIS), pp 1–5
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–6
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–5
Tahmoush D, Lofland C (2009) A prototype national emergency deployment system. In: IEEE conference on technologies for homeland security (HST), pp 331–338
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–501
Acknowledgment
This research work has been supported by the EU’s H2020 Programme, GA No. 644178 (project CHOReVOLUTION - Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet), by the Ministry of Economy and Finance, Cipe resolution No. 135/2012 (project INCIPICT - INnovating CIty Planning through Information and Communication Technologies), and by the EDefence Agency, contract No. B 0980 IAP4 GP (project TACTICS - TACTICal Service Oriented Architecture).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Perucci, A., Autili, M., Tivoli, M., Aloisio, A., Inverardi, P. (2020). Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. In: Ciancarini, P., Mazzara, M., Messina, A., Sillitti, A., Succi, G. (eds) Proceedings of 6th International Conference in Software Engineering for Defence Applications. SEDA 2018. Advances in Intelligent Systems and Computing, vol 925. Springer, Cham. https://doi.org/10.1007/978-3-030-14687-0_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-14687-0_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-14686-3
Online ISBN: 978-3-030-14687-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)