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.
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.
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.
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.
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.
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.
Samik Basu & Tevfik Bultan (2011):
Choreography conformance via synchronizability.
In: WWW,
pp. 795–804,
doi:10.1145/1963405.1963516.
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.
Antonio Brogi & Razvan Popescu (2006):
Automated Generation of BPEL Adapters.
In: In Proc. of ICSOC'06, volume 4294 of LNCS.
Springer,
pp. 27–39.
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.
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.
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan & Harald Ruess (2011):
Distributed Priority Synthesis and its Applications.
CoRR abs/1112.1783.
CHOReOS Project Team (2013):
Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE - Public Project deliverable D1.4 (b).
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.
Jörg Desel & Javier Esparza (1995):
Free Choice Petri Nets.
Cambridge University Press,
New York, NY, USA,
doi:10.1017/CBO9780511526558.
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.
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.
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.
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.
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.
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.
Paola Inverardi & Massimo Tivoli (2013):
Automatic synthesis of modular connectors via composition of protocol mediation patterns.
In: Proc. of ICSE'13,
pp. 3–12.
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.
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.
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.
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.
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.
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.
Annapaola Marconi, Marco Pistore & Paolo Traverso (2008):
Automated Composition of Web Services: the ASTRO Approach.
IEEE Data Eng. Bull. 31(3),
pp. 23–26.
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.
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.
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.
Doron Peled & Sven Schewe (2011):
Practical Distributed Control Synthesis.
In: INFINITY,
EPTCS 73,
pp. 2–17,
doi:10.4204/EPTCS.73.2.
Pascal Poizat & Gwen Salaün (2012):
Checking the Realizability of BPMN 2.0 Choreographies.
In: SAC,
pp. 1927–1934,
doi:10.1145/2245276.2232095.
S.Quinton, I.Ben-Hafaiedh & S.Graf (2009):
From Orchestration to Choreography: Memoryless and Distributed Orchestrators.
In: FLACOS.
Gwen Salaün (2008):
Generation of Service Wrapper Protocols from Choreography Specifications.
In: SEFM,
pp. 313–322,
doi:10.1109/SEFM.2008.42.
Koushik Sen, Abhay Vardhan, Gul Agha & Grigore Rosu (2004):
Efficient Decentralized Monitoring of Safety in Distributed Systems.
In: Proc. of ICSE.
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.
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.