,
, Apache: Apache Syncope
Automated synthesis of service choreographies, IEEE Software, vol.32, issue.1, pp.50-57, 2015. ,
Synthesis of distributed and adaptable coordinators to enable choreography evolution, Software Engineering for Self-Adaptive Systems III. Assurances, pp.282-306, 2017. ,
Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates, Sci. Comput. Program, vol.160, pp.3-29, 2018. ,
A model-based synthesis process for choreography realizability enforcement, Fundamental Approaches to Software Engineering -16th International Conference, FASE 2013, pp.37-52, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00866622
CHOReOSynt: enforcing choreography realizability in the future internet, Proceedings of the 22nd ACM SIG-SOFT International Symposium on Foundations of Software Engineering, (FSE-22), pp.723-726, 2014. ,
Model-driven adaptation of service choreographies, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, pp.1441-1450, 2018. ,
On the model-driven synthesis of adaptable choreographies, Proceedings of MODELS 2018 Workshops: ModComp, pp.12-17, 2018. ,
On the model-driven synthesis of evolvable service choreographies, 12th European Conference on Software Architecture: Companion Proceedings, vol.20, pp.1-20, 2018. ,
Aiding the realization of service-oriented distributed systems, Proceedings of the 34th Annual ACM Symposium on Applied Computing, SAC 2019, pp.1701-1710, 2019. ,
Distributed enforcement of service choreographies, Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, pp.18-35, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00866629
Choreography conformance via synchronizability, Proceedings of the 20th International Conference on World Wide Web, WWW 2011, 2011. ,
Deciding choreography realizability, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, 2012. ,
, Enabling Emergent Mobile Systems in the IoT: from Middlewarelayer Communication Interoperability to Associated QoS Analysis. (Systèmes Mo-bilesÉmergents dans l'IoT: de l'Interopérabilité au niveau Middleware de Communicationà l'Analyse de la Qualité de Service Associée, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01592623
Choreographing services for smart cities: Smart traffic demonstration, 85th IEEE Vehicular Technology Conference, VTC Spring, pp.1-5, 2017. ,
, Eclipse: Eclipse BPMN2 Modeler, 2018.
,
, Digital Agenda for Europe -Future Internet Research and Experimentation (FIRE) initiative, 2017.
Verchor: A framework for the design and verification of choreographies, IEEE Transaction on Services Computing, vol.9, issue.4, pp.647-660, 2016. ,
Realizability analysis for message-based interactions using shared-state projections, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.27-36, 2010. ,
Analysis of realizability conditions for web service choreographies, Formal Techniques for Networked and Distributed Systems -FORTE 2006, 26th IFIP WG 6.1 International Conference, pp.61-76, 2006. ,
, OMG: Business Process Model And Notation v.2.0, 2014.
Realizability of choreographies using process algebra encodings, IEEE Trans. Services Computing, vol.5, issue.3, pp.290-304, 2012. ,
Towards adapting choreography-based service compositions through enterprise integration patterns, Software Engineering and Formal Methods -SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, pp.240-252, 2015. ,
, W3C: SOAP Version, vol.1, 2007.