References

  1. M.Autili, P.Inverardi & M.Tivoli (2015): Automated Synthesis of Service Choreographies. Software, IEEE 32(1), pp. 50–57, doi:10.1109/MS.2014.131.
  2. Marco Autili, Amleto DiSalle & Massimo Tivoli (2013): Synthesis of Resilient Choreographies. In: SERENE, LNCS 8166, doi:10.1007/978-3-642-40894-6_8.
  3. Marco Autili, Davide Ruscio, Amleto DiSalle, Paola Inverardi & Massimo Tivoli (2013): A Model-Based Synthesis Process for Choreography Realizability Enforcement. In: FASE, LNCS 7793, doi:10.1007/978-3-642-37057-1_4.
  4. Marco Autili, DavideDi Ruscio, AmletoDi Salle & Alexander Perucci (2014): CHOReOSynt: enforcing choreography realizability in the future internet. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 723–726, doi:10.1145/2635868.2661667.
  5. Marco Autili & Massimo Tivoli (2015): Distributed Enforcement of Service Choreographies. In: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014., pp. 18–35, doi:10.4204/EPTCS.175.2.
  6. Samik Basu & Tevfik Bultan (2011): Choreography conformance via synchronizability. In: Proc. of WWW '11, doi:10.1145/1963405.1963516.
  7. Samik Basu & Tevfik Bultan (2014): Automatic verification of interactions in asynchronous systems with unbounded buffers. In: ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, pp. 743–754, doi:10.1145/2642937.2643016.
  8. Samik Basu, Tevfik Bultan & Meriem Ouederni (2012): Deciding choreography realizability. POPL. ACM, doi:10.1145/2103656.2103680.
  9. Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione & Massimo Tivoli (2009): Automatic Synthesis of Behavior Protocols for Composable Web-services. In: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC/FSE '09, pp. 141–150, doi:10.1145/1595696.1595719.
  10. KennethL. Calvert & SimonS. Lam (1990): Formal Methods for Protocol Conversion. IEEE Journal on Selected Areas in Communications 8(1), doi:10.1109/49.46852.
  11. HongHai Do, Sergey Melnik & Erhard Rahm (2002): Comparison of Schema Matching Evaluations. In: Web, Web-Services, and Database Systems, NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers, pp. 221–237, doi:10.1007/3-540-36560-5_17.
  12. HongHai Do & Erhard Rahm (2002): COMA - A System for Flexible Combination of Schema Matching Approaches. In: VLDB 2002, Proceedings of 28th International Conference on Very Large Data Bases, August 20-23, 2002, Hong Kong, China, pp. 610–621, doi:10.1016/1287369.1287422.
  13. European Commission (2015): Digital Agenda for Europe - Future Internet Research and Experimentation (FIRE) initiative. Available at https://ec.europa.eu/digital-agenda/en/future-internet-research-and-experimentation.
  14. Gregor Gössler & Gwen Salaün (2012): Realizability of Choreographies for Services Interacting Asynchronously. In: FACS, LNCS 7253, pp. 151–167, doi:10.1007/978-3-642-35743-5_10.
  15. Matthias Güdemann, Pascal Poizat, Gwen Salaün & Alexandre Dumont (2013): VerChor: A Framework for Verifying Choreographies. In: FASE, LNCS 7793, pp. 226–230, doi:10.1007/978-3-642-37057-1_16.
  16. Matthias Güdemann, Gwen Salaün & Meriem Ouederni (2012): Counterexample Guided Synthesis of Monitors for Realizability Enforcement. In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 238–253, doi:10.1007/978-3-642-33386-6_20.
  17. Gregor Hohpe & Bobby Woolf (2004): Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions - Fiftheenth printing 2011. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  18. Paola Inverardi & Massimo Tivoli (2013): Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. In: Proceedings of ICSE'13, doi:10.1109/ICSE.2013.6606546.
  19. Sung-Shik T.Q. Jongmans & Farhad Arbab (2013): Global Consensus through Local Synchronization. In: ESOCC Workshops, pp. 174–188, doi:10.1007/978-3-642-45364-9_15.
  20. Sung-Shik T.Q. Jongmans, Francesco Santini & Farhad Arbab (2014): Partially-Distributed Coordination with Reo. In: PDP, pp. 697–706, doi:10.1109/PDP.2014.19.
  21. Natallia Kokash & Farhad Arbab (2008): Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. In: FMCO, pp. 21–41, doi:10.1007/978-3-642-04167-9_2.
  22. Natallia Kokash & Farhad Arbab (2013): Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools. IEEE T. Services Computing 6(2), pp. 186–200, doi:10.1109/TSC.2011.46.
  23. SimonS. Lam (1988): Correction to "Protocol Conversion". IEEE Trans. Software Eng. 14(9), doi:10.1109/32.6181.
  24. Sun Meng, Farhad Arbab & Christel Baier (2011): Synthesis of Reo circuits from scenario-based interaction specifications. Sci. Comput. Program. 76(8), pp. 651–680, doi:10.1007/978-3-540-78743-3_12.
  25. Massimo Paolucci, Takahiro Kawamura, TerryR. Payne & KatiaP. Sycara (2002): Semantic Matching of Web Services Capabilities. In: The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings, pp. 333–347, doi:10.1007/3-540-48005-6_26.
  26. Roberto Passerone, LucaDe Alfaro, ThomasA. Henzinger & AlbertoL. Sangiovanni-Vincentelli (2002): Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. In: ICCAD, doi:10.1145/774572.774592.
  27. Pascal Poizat & Gwen Salaün (2012): Checking the Realizability of BPMN 2.0 Choreographies. In: Proc. of SAC 2012, doi:10.1145/2245276.2232095.
  28. Gwen Salaün (2008): Generation of Service Wrapper Protocols from Choreography Specifications. In: Proc. of SEFM, doi:10.1109/SEFM.2008.42.
  29. Gwen Salaün, Tevfik Bultan & Nima Roohi (2012): Realizability of Choreographies Using Process Algebra Encodings. IEEE T. Services Computing 5(3), pp. 290–304, doi:10.1109/TSC.2011.9.
  30. AmletoDi Salle, Paola Inverardi & Alexander Perucci (2014): Towards Adaptable and Evolving Service Choreography in the Future Internet. In: 2014 IEEE World Congress on Services, SERVICES 2014, Anchorage, AK, USA, June 27 - July 2, 2014, pp. 333–337, doi:10.1109/SERVICES.2014.65.
  31. Markus Schumacher, Eduardo Fernandez-Buglioni, Duane Hybertson, Frank Buschmann & Peter Sommerlad (2005): Security Patterns Integrating Security and Systems Engineering. John Wiley and Sons Ltd.
  32. Mary Shaw & David Garlan (1996): Software architecture - perspectives on an emerging discipline. Prentice Hall.
  33. Bridget Spitznagel & David Garlan (2003): A Compositional Formalization of Connector Wrappers. In: ICSE, doi:10.1109/ICSE.2003.1201216.
  34. Roman Vaculín, Roman Neruda & KatiaP. Sycara (2008): An Agent for Asymmetric Process Mediation in Open Environments.. In: SOCASE, doi:10.1007/978-3-540-79968-9_9.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org