日本データベース学会の皆様 阪大の鬼塚です。 NIIに所属する日高先生からの依頼により，来年7月開催の双方向 変換(BX)に関するワークショップ BX 2015 (http://bx-community.wikidot.com/bx2015:home) に関してご案内いたします． 今回は分野横断的な性格から，STAF (Software Technologies: Applications and Foundations)への併設となりますが、元来 ビュー更新問題をはじめDB分野に深い縁がある分野なので、 募集トピックに引き続き含まれている他、James Terwilliger など PC内にDB系の方々が含まれております。 Regular Papers (1カラム15ページ迄)、Short papers (8ページ迄)の 他、今回はTool papers (8ページ迄)、Benchmark papers (8ページ迄) といった新たなカテゴリが用意されています。 どうぞよろしくお願い致します． -------- CALL FOR PAPERS Fourth International Workshop on Bidirectional Transformations (Bx 2015) L'Aquila, Italy (co-located with STAF, July 20-24, 2015) http://bx-community.wikidot.com/bx2015:home Bidirectional transformations (Bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2015 is a dedicated venue for Bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop rotated between venues in different fields. In 2015, Bx is co-located with STAF for the first time. IMPORTANT DATES Abstract submission: 24 April 2015 Paper submission: 8 May 2015 Author notification: 5 June 2015 Camera-ready version: 19 June 2015 Workshop date: one day between July 20-24, 2015 (exact date TBA soon) AIM AND TOPICS The aim of the workshop is to bring together researchers and practitioners, established and new, interested in Bx from different perspectives, such as: * data and model synchronization * view updating * inter-model consistency analysis and repair * data/schema (or model/metamodel) co-evolution * coupled software/model transformations * inversion of transformations and data exchange mappings * domain-specific languages for Bx * analysis and classification of requirements for Bx * bridging the gap between formal concepts and application scenarios * analysis of efficiency of transformation algorithms and benchmarks * survey and comparison of Bx technologies * case studies and tool support PAPER CATEGORIES Submissions to Bx 2015 can be: * Regular papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of Bx to new domains - survey papers providing novel comparisons between existing technologies - case studies * Short papers (up to 8 pages) - work in progress - small focused contributions - position papers and research perspectives * Tool papers (up to 8 pages) - presentation of new tools or substantial improvements to existing ones * Benchmark papers (up to 8 pages) - new benchmark proposals, focusing on assessing aspects of Bx not covered by the examples currently available at the Bx example repository SUBMISSION GUIDELINES Submitted papers must follow the CEUR one column style available at http://ceur-ws.org/Vol-XXX/samplestyles/. Tool papers must refer to a web page describing how to download and install the presented tool. Papers describing tools that have already been published elsewhere are expected to contain substantial and clearly identified extensions to the tool. Benchmark papers should follow the template of the Bx example repository (http://bx-community.wikidot.com/examples:home), and clearly justify the relevance of the new benchmark as a means to assess Bx tools and techniques (in particular, submissions of cross-disciplinary benchmarks are encouraged). Moreover, they must refer to a web page providing supporting artifacts (metamodels/schemas, model/data instances for interesting test cases, executable consistency checkers, etc). Papers must be submitted via the EasyChair system: https://www.easychair.org/conferences/?conf=bx2015 Submissions not complying with the above guidelines or page limits may be excluded from the reviewing process without further notice. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROCEEDINGS AND SPECIAL ISSUE The workshop proceedings, including all accepted papers, will be published electronically by CEUR (http://ceur-ws.org). Authors of accepted papers (of all categories) that have high-quality and the potential to be extended into journal articles will be invited to submit a revised and extended version of their paper to a special issue of the Journal of Object Technology (http://www.jot.fm); these papers will then be subject to a careful reviewing and selection process according to the scientific standards of the Journal of Object Technology. PROGRAM CO-CHAIRS * Alcino Cunha, University of Minho, Portugal * Ekkart Kindler, Technical University of Denmark, Denmark PROGRAM COMMITTEE MEMBERS * Anthony Anjorin, Technical University of Darmstadt, Germany * Anthony Cleve, University of Namur, Belgium * Romina Eramo, University of L'Aquila, Italy * Jeremy Gibbons, University of Oxford, UK * Holger Giese, Hasso Plattner Institute, Germany * Soichiro Hidaka, NII, Japan * Michael Johnson, Macquarie University, Australia * Peter McBrien, Imperial College, UK * Hugo Pacheco, Cornell University, USA * Jorge Perez, Universidad de Chile, Chile * Arend Rensink, Twente University, Netherlands * Perdita Stevens, University of Edinburgh, UK * James Terwilliger, Microsoft, USA * Meng Wang, Chalmers University of Technology, Sweden * Jens Weber, University of Victoria, Canada * Yingfei Xiong, Peking University, China