References

  1. Farhad Arbab, 6Christel Baier, FrankS. deBoer, Jan J. M.M. Rutten & Marjan Sirjani (2005): Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: COORDINATION, pp. 236–251, doi:10.1007/11417019_16.
  2. Farhad Arbab, Natallia Kokash & Sun Meng (2008): Towards Using Reo for Compliance-Aware Business Process Modeling. In: ISoLA, pp. 108–123, doi:10.1007/978-3-540-88479-8_9.
  3. Marco Autili, Davide Ruscio, Amleto Salle, Paola Inverardi & Massimo Tivoli (2013): A Model-Based Synthesis Process for Choreography Realizability Enforcement. In: FASE, LNCS 7793. Springer Berlin Heidelberg, pp. 37–52, doi:10.1007/978-3-642-37057-1_4.
  4. Marco Autili, Amleto Salle & Massimo Tivoli (2013): Synthesis of Resilient Choreographies. In: Software Engineering for Resilient Systems, LNCS 8166. Springer Berlin Heidelberg, pp. 94–108, doi:10.1007/978-3-642-40894-6_8.
  5. Christel Baier, Joachim Klein & Sascha Klüppelholz (2011): A Compositional Framework for Controller Synthesis. In: CONCUR, LNCS 6901. Springer Berlin Heidelberg, pp. 512–527, doi:10.1007/978-3-642-23217-6_34.
  6. Ananda Basu, Saddek Bensalem, Doron Peled & Joseph Sifakis (2009): Priority Scheduling of Distributed Systems Based on Model Checking. In: Computer Aided Verification, LNCS 5643. Springer Berlin Heidelberg, pp. 79–93, doi:10.1007/978-3-642-02658-4_10.
  7. Samik Basu & Tevfik Bultan (2011): Choreography conformance via synchronizability. In: WWW, pp. 795–804, doi:10.1145/1963405.1963516.
  8. Samik Basu, Tevfik Bultan & Meriem Ouederni (2012): Deciding choreography realizability. In: POPL. ACM, pp. 191–202, doi:10.1145/2103656.2103680.
  9. Imene Ben-Hafaiedh, Susanne Graf & Sophie Quinton (2011): Building Distributed Controllers for Systems with Priorities. The Journal of Logic and Algebraic Programming 80(3 - 5), pp. 194 – 218, doi:10.1016/j.jlap.2010.10.001.
  10. Antonio Brogi & Razvan Popescu (2006): Automated Generation of BPEL Adapters. In: In Proc. of ICSOC'06, volume 4294 of LNCS. Springer, pp. 27–39.
  11. Diego Calvanese, GiuseppeDe Giacomo, Maurizio Lenzerini, Massimo Mecella & Fabio Patrizi (2008): Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3), pp. 18–22.
  12. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl & Alois Knoll (2011): Algorithms for Synthesizing Priorities in Component-Based Systems. In: Automated Technology for Verification and Analysis, LNCS 6996. Springer Berlin Heidelberg, pp. 150–167, doi:10.1007/978-3-642-24372-1_12.
  13. Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan & Harald Ruess (2011): Distributed Priority Synthesis and its Applications. CoRR abs/1112.1783.
  14. CHOReOS Project Team (2013): Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE - Public Project deliverable D1.4 (b).
  15. Christel Baier and Joachim Klein and Sascha Klüppelholz (2011): Synthesis of Reo Connectors for Strategies and Controllers. In: LAM, doi:10.1016/j.scico.2010.03.002.
  16. Jörg Desel & Javier Esparza (1995): Free Choice Petri Nets. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9780511526558.
  17. 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.
  18. Susanne Graf, Doron Peled & Sophie Quinton (2011): Monitoring Distributed Systems Using Knowledge. In: Formal Techniques for Distributed Systems, LNCS 6722. Springer Berlin Heidelberg, pp. 183–197, doi:10.1007/978-3-642-21461-5_12.
  19. Susanne Graf, Doron Peled & Sophie Quinton (2012): Achieving distributed control through model checking. Formal Methods in System Design 40(2), pp. 263–281, doi:10.1007/s10703-011-0138-9.
  20. 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.
  21. Matthias Güdemann, Gwen Salaün & Meriem Ouederni (2012): Counterexample guided synthesis of monitors for realizability enforcement. In: ATVA, LNCS, pp. 238–253, doi:10.1007/978-3-642-33386-6_20.
  22. Sylvain Hallé & Tevfik Bultan (2010): Realizability analysis for message-based interactions using shared-state projections. In: FSE, pp. 27–36, doi:10.1145/1882291.1882298.
  23. Paola Inverardi & Massimo Tivoli (2013): Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: Proc. of ICSE'13, pp. 3–12.
  24. 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.
  25. 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.
  26. Sung-Shik T.Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab & Hamideh Afsarmanesh (2012): Automatic Code Generation for the Orchestration of Web Services with Reo. In: ESOCC, pp. 1–16, doi:10.1007/978-3-642-33427-6_1.
  27. 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.
  28. 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.
  29. Leslie Lamport (1978): Time clocks, and the ordering of events in a distributed system. Commun. ACM 21, pp. 558–565, doi:10.1145/359545.359563.
  30. Annapaola Marconi, Marco Pistore & Paolo Traverso (2008): Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3), pp. 23–26.
  31. Tarek Melliti, Pascal Poizat & SoniaBen Mokhtar (2008): Distributed behavioural adaptation for the automatic composition of semantic services. In: FASE, pp. 146–162, doi:10.1007/978-3-540-78743-3_12.
  32. 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.
  33. Jyotishman Pathak, Robyn Lutz & Vasant Honavar (2008): MoSCoE: An Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligence Tools 17, pp. 109–138, doi:10.1142/S0218213008003807.
  34. Doron Peled & Sven Schewe (2011): Practical Distributed Control Synthesis. In: INFINITY, EPTCS 73, pp. 2–17, doi:10.4204/EPTCS.73.2.
  35. Pascal Poizat & Gwen Salaün (2012): Checking the Realizability of BPMN 2.0 Choreographies. In: SAC, pp. 1927–1934, doi:10.1145/2245276.2232095.
  36. S.Quinton, I.Ben-Hafaiedh & S.Graf (2009): From Orchestration to Choreography: Memoryless and Distributed Orchestrators. In: FLACOS.
  37. Gwen Salaün (2008): Generation of Service Wrapper Protocols from Choreography Specifications. In: SEFM, pp. 313–322, doi:10.1109/SEFM.2008.42.
  38. Koushik Sen, Abhay Vardhan, Gul Agha & Grigore Rosu (2004): Efficient Decentralized Monitoring of Safety in Distributed Systems. In: Proc. of ICSE.
  39. Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani & Julie Waterhouse (2009): Runtime Monitoring of Web Service Conversations. IEEE T. Services Computing 2(3), doi:10.1109/TSC.2009.16.
  40. Jianwen Su, Tevfik Bultan, Xiang Fu & Xiangpeng Zhao (2007): Towards a Theory of Web Service Choreographies. In: WS-FM, pp. 1–16, doi:10.1007/978-3-540-79230-7_1.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org