Projects · October 29, 2021

Choreos

Large Scale Choreographies for Future Internet, EU-FP7-ICT

The CHOReOS project positions itself in the context of the Ultra-Large-Scale (ULS) Future Internet of software services. To address the challenges inherent of ULS as well as other key requirements of the Future Internet, such as fusion of the user/developer/system roles, adaptability and QoS-awareness, to name a few, CHOReOS revisits the concept of choreography-based service composition in service-oriented systems. CHOReOS introduces a dynamic development process, and associated methods, tools and middleware sustaining the ever-adaptable composition of services by domain experts – being the users of business choreographies – in the Future Internet. CHOReOS concepts then encompass formally grounded abstractions and models, dynamic choreography-centric development process, governance and service-oriented middleware, thus providing an Integrated Development & Runtime Environment (IDRE) aimed at overcoming the ULS impact on software system development. Formally grounded abstractions and models enable reasoning about the properties, both functional and non-functional, of ULS choreographies. Dynamic choreography-centric development process allows the fusion of the user/developer/system roles, while managing the ULS service base, and supports the synthesis of scalable and adaptable choreographies. Governance includes service integration policies and rules, as well as tools for dynamic verification & validation of choreographies. Finally, service-oriented middleware enables adaptable choreographies over ESB-based middleware, Grids, Clouds, and technologies for the Internet of Things, thus overcoming scalability and heterogeneity issues of the Future Internet. Last but not least, CHOReOS assesses the industrial exploitation of this choreography-centric vision by experimenting on three demanding use cases in different domains (passenger-friendly airport, mobile-enabled coordination of people, vehicular network) and by carrying out a study of social-technical factors.