@inproceedings(coordination05, author = "Farhad Arbab and 6\nobreakspace Christel Baier and Frank\nobreakspace S. de\nobreakspace Boer and Jan J. M.\nobreakspace M. Rutten and Marjan Sirjani", year = "2005", title = "Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications", booktitle = "COORDINATION", pages = "236--251", doi = "10.1007/11417019\_16", ) @inproceedings(isola08, author = "Farhad Arbab and Natallia Kokash and Sun Meng", year = "2008", title = "Towards Using Reo for Compliance-Aware Business Process Modeling", booktitle = "ISoLA", pages = "108--123", doi = "10.1007/978-3-540-88479-8\_9", ) @incollection(fase:2013, author = "Marco Autili and Davide Ruscio and Amleto Salle and Paola Inverardi and Massimo Tivoli", year = "2013", title = "A Model-Based Synthesis Process for Choreography Realizability Enforcement", booktitle = "FASE", series = "LNCS", volume = "7793", publisher = "Springer Berlin Heidelberg", pages = "37--52", doi = "10.1007/978-3-642-37057-1\_4", ) @incollection(serene:2013, author = "Marco Autili and Amleto Salle and Massimo Tivoli", year = "2013", title = "Synthesis of Resilient Choreographies", booktitle = "Software Engineering for Resilient Systems", series = "LNCS 8166", publisher = "Springer Berlin Heidelberg", pages = "94--108", doi = "10.1007/978-3-642-40894-6\_8", ) @incollection(Baier:2011a, author = "Christel Baier and Joachim Klein and Sascha Klüppelholz", year = "2011", title = "A Compositional Framework for Controller Synthesis", booktitle = "CONCUR", series = "LNCS", volume = "6901", publisher = "Springer Berlin Heidelberg", pages = "512--527", doi = "10.1007/978-3-642-23217-6\_34", ) @incollection(Peled:2009a, author = "Ananda Basu and Saddek Bensalem and Doron Peled and Joseph Sifakis", year = "2009", title = "Priority Scheduling of Distributed Systems Based on Model Checking", booktitle = "Computer Aided Verification", series = "LNCS", volume = "5643", publisher = "Springer Berlin Heidelberg", pages = "79--93", doi = "10.1007/978-3-642-02658-4\_10", ) @inproceedings(Bultan:2011, author = "Samik Basu and Tevfik Bultan", year = "2011", title = "Choreography conformance via synchronizability", booktitle = "WWW", pages = "795--804", doi = "10.1145/1963405.1963516", ) @inproceedings(Basu-Bultan-POPL:12, author = "Samik Basu and Tevfik Bultan and Meriem Ouederni", year = "2012", title = "Deciding choreography realizability", booktitle = "POPL", publisher = "ACM", pages = "191--202", doi = "10.1145/2103656.2103680", ) @article(Graf:2011a, author = "Imene Ben-Hafaiedh and Susanne Graf and Sophie Quinton", year = "2011", title = "Building Distributed Controllers for Systems with Priorities", journal = "The Journal of Logic and Algebraic Programming", volume = "80", number = "3 - 5", pages = "194 -- 218", doi = "10.1016/j.jlap.2010.10.001", ) @inproceedings(BP06, author = "Antonio Brogi and Razvan Popescu", year = "2006", title = "Automated Generation of {BPEL} Adapters", booktitle = "In Proc. of ICSOC'06, volume 4294 of LNCS", publisher = "Springer", pages = "27--39", ) @article(CGL08, author = "Diego Calvanese and Giuseppe\nobreakspace De Giacomo and Maurizio Lenzerini and Massimo Mecella and Fabio Patrizi", year = "2008", title = "Automatic Service Composition and Synthesis: the Roman Model", journal = "IEEE Data Eng. Bull.", volume = "31", number = "3", pages = "18--22", ) @incollection(Bensalem:2011a, author = "Chih-Hong Cheng and Saddek Bensalem and Yu-Fang Chen and Rongjie Yan and Barbara Jobstmann and Harald Ruess and Christian Buckl and Alois Knoll", year = "2011", title = "Algorithms for Synthesizing Priorities in Component-Based Systems", booktitle = "Automated Technology for Verification and Analysis", series = "LNCS", volume = "6996", publisher = "Springer Berlin Heidelberg", pages = "150--167", doi = "10.1007/978-3-642-24372-1\_12", ) @article(Bensalem:2011b, author = "Chih-Hong Cheng and Saddek Bensalem and Rongjie Yan and Harald Ruess", year = "2011", title = "Distributed Priority Synthesis and its Applications", journal = "CoRR", volume = "abs/1112.1783", ) @misc(D1.4b, author = "{CHOReOS Project Team}", year = "2013", title = "{Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE - Public Project deliverable D1.4 (b)}", ) @inproceedings(Baier:2011b, author = "{Christel Baier and Joachim Klein and Sascha Klüppelholz}", year = "2011", title = "{Synthesis of Reo Connectors for Strategies and Controllers}", booktitle = "LAM", doi = "10.1016/j.scico.2010.03.002", ) @book(fcPNs, author = "J\"{o}rg Desel and Javier Esparza", year = "1995", title = "Free Choice Petri Nets", publisher = "Cambridge University Press", address = "New York, NY, USA", doi = "10.1017/CBO9780511526558", ) @inproceedings(Gwen:12, author = "Gregor G{\"o}ssler and Gwen Sala{\"u}n", year = "2012", title = "Realizability of Choreographies for Services Interacting Asynchronously", booktitle = "FACS", series = "LNCS", volume = "7253", pages = "151--167", doi = "10.1007/978-3-642-35743-5\_10", ) @incollection(Graf:2011b, author = "Susanne Graf and Doron Peled and Sophie Quinton", year = "2011", title = "Monitoring Distributed Systems Using Knowledge", booktitle = "Formal Techniques for Distributed Systems", series = "LNCS", volume = "6722", publisher = "Springer Berlin Heidelberg", pages = "183--197", doi = "10.1007/978-3-642-21461-5\_12", ) @article(Graf:2012a, author = "Susanne Graf and Doron Peled and Sophie Quinton", year = "2012", title = "Achieving distributed control through model checking", journal = "Formal Methods in System Design", volume = "40", number = "2", pages = "263--281", doi = "10.1007/s10703-011-0138-9", ) @inproceedings(GwenPascalFASE:13, author = "Matthias G{\"u}demann and Pascal Poizat and Gwen Sala{\"u}n and Alexandre Dumont", year = "2013", title = "VerChor: A Framework for Verifying Choreographies", booktitle = "FASE", series = "LNCS", volume = "7793", pages = "226--230", doi = "10.1007/978-3-642-37057-1\_16", ) @inproceedings(GwenGudemann:2012, author = "Matthias G\"{u}demann and Gwen Sala\"{u}n and Meriem Ouederni", year = "2012", title = "Counterexample guided synthesis of monitors for realizability enforcement", booktitle = "ATVA", series = "LNCS", pages = "238--253", doi = "10.1007/978-3-642-33386-6\_20", ) @inproceedings(Bultan:2010, author = "Sylvain Hall\'{e} and Tevfik Bultan", year = "2010", title = "Realizability analysis for message-based interactions using shared-state projections", booktitle = "FSE", pages = "27--36", doi = "10.1145/1882291.1882298", ) @inproceedings(icse:2013, author = "Paola Inverardi and Massimo Tivoli", year = "2013", title = "Automatic synthesis of modular connectors via composition of protocol mediation patterns", booktitle = "Proc. of ICSE'13", pages = "3--12", ) @inproceedings(esocc13, author = "Sung-Shik T.\nobreakspace Q. Jongmans and Farhad Arbab", year = "2013", title = "Global Consensus through Local Synchronization", booktitle = "ESOCC Workshops", pages = "174--188", doi = "10.1007/978-3-642-45364-9\_15", ) @inproceedings(pdp14, author = "Sung-Shik T.\nobreakspace Q. Jongmans and Francesco Santini and Farhad Arbab", year = "2014", title = "Partially-Distributed Coordination with Reo", booktitle = "PDP", pages = "697--706", doi = "10.1109/PDP.2014.19", ) @inproceedings(esocc12, author = "Sung-Shik T.\nobreakspace Q. Jongmans and Francesco Santini and Mahdi Sargolzaei and Farhad Arbab and Hamideh Afsarmanesh", year = "2012", title = "Automatic Code Generation for the Orchestration of Web Services with Reo", booktitle = "ESOCC", pages = "1--16", doi = "10.1007/978-3-642-33427-6\_1", ) @inproceedings(fmco08, author = "Natallia Kokash and Farhad Arbab", year = "2008", title = "Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems", booktitle = "FMCO", pages = "21--41", doi = "10.1007/978-3-642-04167-9\_2", ) @article(tsc13, author = "Natallia Kokash and Farhad Arbab", year = "2013", title = "Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools", journal = "IEEE T. Services Computing", volume = "6", number = "2", pages = "186--200", doi = "10.1109/TSC.2011.46", ) @article(lamport:1978, author = "Leslie Lamport", year = "1978", title = "Time clocks, and the ordering of events in a distributed system", journal = "Commun. ACM", volume = "21", pages = "558--565", doi = "10.1145/359545.359563", ) @article(MPT08, author = "Annapaola Marconi and Marco Pistore and Paolo Traverso", year = "2008", title = "Automated Composition of Web Services: the ASTRO Approach", journal = "IEEE Data Eng. Bull.", volume = "31", number = "3", pages = "23--26", ) @inproceedings(MPM08, author = "Tarek Melliti and Pascal Poizat and Sonia\nobreakspace Ben Mokhtar", year = "2008", title = "Distributed behavioural adaptation for the automatic composition of semantic services", booktitle = "FASE", pages = "146--162", doi = "10.1007/978-3-540-78743-3\_12", ) @article(scp11, author = "Sun Meng and Farhad Arbab and Christel Baier", year = "2011", title = "Synthesis of Reo circuits from scenario-based interaction specifications", journal = "Sci. Comput. Program.", volume = "76", number = "8", pages = "651--680", doi = "10.1007/978-3-540-78743-3\_12", ) @article(PBL08, author = "Jyotishman Pathak and Robyn Lutz and Vasant Honavar", year = "2008", title = "MoSCoE: An Approach for Composing Web Services through Iterative Reformulation of Functional Specifications", journal = "International Journal on Artificial Intelligence Tools", volume = "17", pages = "109--138", doi = "10.1142/S0218213008003807", ) @inproceedings(Peled:2011a, author = "Doron Peled and Sven Schewe", year = "2011", title = "Practical Distributed Control Synthesis", booktitle = "INFINITY", series = "EPTCS", volume = "73", pages = "2--17", doi = "10.4204/EPTCS.73.2", ) @inproceedings(pascal12, author = "Pascal Poizat and Gwen Sala{\"u}n", year = "2012", title = "{Checking the Realizability of BPMN 2.0 Choreographies}", booktitle = "{SAC}", pages = "1927--1934", doi = "10.1145/2245276.2232095", ) @inproceedings(Graf:2009a, author = "S.\nobreakspace Quinton and I.\nobreakspace Ben-Hafaiedh and S.\nobreakspace Graf", year = "2009", title = "From Orchestration to Choreography: Memoryless and Distributed Orchestrators", booktitle = "FLACOS", ) @inproceedings(Sal08, author = "Gwen Sala\"{u}n", year = "2008", title = "Generation of Service Wrapper Protocols from Choreography Specifications", booktitle = "SEFM", pages = "313--322", doi = "10.1109/SEFM.2008.42", ) @inproceedings(monitoring:2004, author = "Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Rosu", year = "2004", title = "Efficient Decentralized Monitoring of Safety in Distributed Systems", booktitle = "Proc. of ICSE", ) @article(Simmonds09, author = "Jocelyn Simmonds and Yuan Gan and Marsha Chechik and Shiva Nejati and Bill O'Farrell and Elena Litani and Julie Waterhouse", year = "2009", title = "Runtime Monitoring of Web Service Conversations", journal = "IEEE T. Services Computing", volume = "2", number = "3", doi = "10.1109/TSC.2009.16", ) @inproceedings(SBF07, author = "Jianwen Su and Tevfik Bultan and Xiang Fu and Xiangpeng Zhao", year = "2007", title = "Towards a Theory of Web Service Choreographies", booktitle = "WS-FM", pages = "1--16", doi = "10.1007/978-3-540-79230-7\_1", )