{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:38:45Z","timestamp":1763764725744},"reference-count":21,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.272.10","type":"journal-article","created":{"date-parts":[[2018,6,25]],"date-time":"2018-06-25T08:47:06Z","timestamp":1529916426000},"page":"121-135","source":"Crossref","is-referenced-by-count":5,"title":["Treo: Textual Syntax for Reo Connectors"],"prefix":"10.4204","volume":"272","author":[{"given":"Kasper","family":"Dokter","sequence":"first","affiliation":[{"name":"CWI"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[{"name":"CWI"}]}],"member":"2720","published-online":{"date-parts":[[2018,6,25]]},"reference":[{"issue":"3","key":"DBLP:journals\/mscs\/Arbab04","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","article-title":"Reo: a channel-based coordination model for component composition","volume":"14","author":"Arbab","year":"2004","journal-title":"Mathematical Structures in Computer Science"},{"key":"DBLP:conf\/birthday\/Arbab11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","article-title":"Puff, The Magic Protocol","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday","volume":"7000","author":"Arbab","year":"2011"},{"key":"DBLP:conf\/coordination\/BaierBKK09","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-02053-7_13","article-title":"A Uniform Framework for Modeling and Verifying Components and Connectors","volume-title":"Proceedings of COORDINATION 2009","volume":"5521","author":"Baier","year":"2009"},{"issue":"2","key":"DBLP:journals\/scp\/BaierSAR06","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","article-title":"Modeling component connectors in Reo by constraint automata","volume":"61","author":"Baier","year":"2006","journal-title":"Sci. Comput. Program."},{"key":"DBLP:journals\/spe\/BrunetonCLQS06","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","article-title":"The FRACTAL component model and its support in Java","volume":"36","author":"Bruneton","year":"2006","journal-title":"Softw., Pract. Exper."},{"key":"DBLP:conf\/birthday\/ChrszonDB0K16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-319-30734-3_10","article-title":"Modeling Role-Based Systems with Exogenous Coordination","volume-title":"Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday","volume":"9660","author":"Chrszon","year":"2016"},{"key":"DA18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-92408-3_6","article-title":"Rule-Based Form for Stream Constraints","volume-title":"Proceedings of COORDINATION 2018","author":"Dokter","year":"2018"},{"key":"FMS14","volume-title":"A practical guide to SysML: the systems modeling language","author":"Friedenthal","year":"2014"},{"issue":"8","key":"DBLP:journals\/cacm\/Hoare78","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating Sequential Processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"key":"DBLP:books\/daglib\/0020982","volume-title":"The SPIN Model Checker - primer and reference manual","author":"Holzmann","year":"2004"},{"key":"Jongmans16","volume-title":"Automata-theoretic protocol programming","author":"Jongmans","year":"2016"},{"issue":"1","key":"DBLP:journals\/cuza\/JongmansA12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","article-title":"Overview of Thirty Semantic Formalisms for Reo","volume":"22","author":"Jongmans","year":"2012","journal-title":"Sci. Ann. Comp. Sci."},{"key":"DBLP:conf\/coordination\/JongmansA15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-19282-6_8","article-title":"Take Command of Your Constraints!","volume-title":"Proceedings of COORDINATION 2015","volume":"9037","author":"Jongmans","year":"2015"},{"issue":"3","key":"DBLP:journals\/corr\/JongmansA16","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-12(3:11)2016","article-title":"Data optimizations for constraint automata","volume":"12","author":"Jongmans","year":"2016","journal-title":"Logical Methods in Computer Science"},{"key":"DBLP:conf\/tacas\/JongmansA16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/978-3-662-49674-9_33","article-title":"PrDK: Protocol Programming with Automata","volume-title":"Proceedings of TACAS 2016","volume":"9636","author":"Jongmans","year":"2016"},{"key":"DBLP:journals\/scp\/JongmansA18","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.scico.2017.06.004","article-title":"Centralized coordination vs. partially-distributed coordination with Reo and constraint automata","volume":"160","author":"Jongmans","year":"2018","journal-title":"Sci. Comput. Program."},{"key":"DBLP:conf\/coordination\/JongmansHA14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-662-43376-8_5","article-title":"Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms","volume-title":"Proceedings of COORDINATION 2014","volume":"8459","author":"Jongmans","year":"2014"},{"key":"DBLP:books\/daglib\/0031251","volume-title":"Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models","author":"Kl\u00fcppelholz","year":"2012"},{"issue":"6","key":"DBLP:journals\/software\/Kruchten95","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","article-title":"The 4+1 View Model of Architecture","volume":"12","author":"Kruchten","year":"1995","journal-title":"IEEE Software"},{"key":"Parr13","volume-title":"The definitive ANTLR 4 reference","author":"Parr","year":"2013"},{"key":"Schmidt97","volume-title":"Denotational Semantics: A Methodology for Language Development","author":"Schmidt","year":"1986"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T05:05:46Z","timestamp":1574226346000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1806.09852v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,25]]},"references-count":21,"URL":"https:\/\/doi.org\/10.4204\/eptcs.272.10","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,25]]}}}