9th International Conference on Model Transformation (ICMT) 2016 Vienna

  • Conference Call
  • The 9th Inter­na­tional Con­fer­ence on Model Trans­for­ma­tion (ICMT) 2016 will be held at the Vienna Uni­ver­sity of Tech­nol­ogy — TU Wien (TUW) on July 56, 2016 in Vienna, Aus­tria and is co-​located with the Soft­ware Tech­nolo­gies: Appli­ca­tions and Foun­da­tions (STAF2016) Fed­er­a­tion Annual Con­fer­ence.

    Con­fer­ence Theme

    Mod­el­ing is a key ele­ment in reduc­ing the com­plex­ity of soft­ware sys­tems dur­ing their devel­op­ment and main­te­nance. Model trans­for­ma­tions are essen­tial for ele­vat­ing mod­els from doc­u­men­ta­tion ele­ments to first-​class arti­facts of the devel­op­ment process. Trans­for­ma­tions also play a key role in ana­lyz­ing mod­els to reveal con­cep­tual flaws or high­light qual­ity bot­tle­necks and in inte­grat­ing het­ero­ge­neous tools into uni­fied tool chains.

    Model trans­for­ma­tion includes approaches such as:

    • model-​to-​text trans­for­ma­tion, e.g., to gen­er­ate code or other tex­tual arti­facts from models;
    • text-​to-​model trans­for­ma­tions, e.g., to derive mod­els from struc­tured text such as legacy code;
    • and model-​to-​model trans­for­ma­tions, e.g., to nor­mal­ize, weave, ana­lyze, opti­mize, sim­u­late, and refac­tor models,
    • as well as to trans­late between mod­el­ing languages.

    Model trans­for­ma­tion encom­passes a vari­ety of tech­ni­cal spaces, includ­ing mod­el­ware, gram­mar­ware, dataware, and onto­ware, a vari­ety of model rep­re­sen­ta­tions, e.g., based on dif­fer­ent types of graphs, and a vari­ety of trans­for­ma­tion par­a­digms includ­ing rule-​based trans­for­ma­tions, term rewrit­ing, and manip­u­la­tions of objects in general-​purpose pro­gram­ming languages.

    The study of model trans­for­ma­tion includes foun­da­tions, struc­tur­ing mech­a­nisms, and prop­er­ties, such as mod­u­lar­ity, com­pos­abil­ity, and para­me­ter­i­za­tion of trans­for­ma­tions, trans­for­ma­tion lan­guages, tech­niques, and tools. An impor­tant goal of the field is the devel­op­ment of high-​level model trans­for­ma­tion lan­guages, pro­vid­ing trans­for­ma­tions that are amenable to higher-​order model trans­for­ma­tions or tai­lored to spe­cific trans­for­ma­tion prob­lems. The effi­cient exe­cu­tion of model queries and trans­for­ma­tions by scal­able trans­for­ma­tion engines on top of large graph data struc­tures is also a key chal­lenge in dif­fer­ent appli­ca­tion sce­nar­ios. Novel algo­rithms as well as inno­v­a­tive (e.g., dis­trib­uted) exe­cu­tion strate­gies and domain-​specific opti­miza­tions are sought in this respect.

    To achieve impact on soft­ware engi­neer­ing in gen­eral, method­olo­gies and tools are required to inte­grate model trans­for­ma­tion into exist­ing devel­op­ment envi­ron­ments and processes. ICMT is the pre­mier forum for researchers and prac­ti­tion­ers from all areas of model transformation.

    Con­fer­ence Topics

    Top­ics of inter­est include, but are not lim­ited to:

    Trans­for­ma­tion par­a­digms and languages

    • graph rewrit­ing, tree rewrit­ing, attribute grammars
    • rule-​based, declar­a­tive, imper­a­tive, and functional
    • tex­tual, graphical
    • model queries, pat­tern matching
    • trans­for­ma­tion by example/​demonstration
    • mod­u­lar­ity, reusabil­ity, and composition
    • com­par­i­son of trans­for­ma­tion languages
    • the­o­ret­i­cal foundations

    Trans­for­ma­tion algo­rithms and strategies

    • bidi­rec­tional transformation
    • incre­men­tal transformation
    • scal­a­bil­ity and optimization
    • ter­mi­na­tion and confluence
    • higher-​order transformation
    • trans­for­ma­tion chains
    • non-​functional aspects of transformations

    Devel­op­ment of transformations

    • spec­i­fi­ca­tion, ver­i­fi­ca­tion, and validation
    • ver­i­fi­ca­tion and val­i­da­tion (incl. test­ing, debug­ging, ter­mi­na­tion, con­flu­ence, metrics)
    • evo­lu­tion
    • devel­op­ment processes
    • tool sup­port
    • bench­mark­ing of trans­for­ma­tion engines

    Appli­ca­tions and case studies

    • refac­tor­ing
    • aspect weav­ing
    • model com­par­i­son, dif­fer­enc­ing, and merging
    • model syn­chro­niza­tion and change propagation
    • co-​evolution of mod­els, meta­mod­els, and transformations
    • round-​trip/​reverse/​forward engineering
    • indus­trial expe­ri­ence reports
    • empir­i­cal studies

    Pub­li­ca­tion Opportunity

    The con­fer­ence pro­ceed­ings will be pub­lished in the Springer Lec­ture Notes in Com­puter Sci­ence series. More­over, the best papers will get a spe­cial oppor­tu­nity for pub­lish­ing their extended papers in the Springer jour­nal Soft­ware & Sys­tems Mod­el­ing (SoSyM).

    Orga­ni­za­tion

    Co-​Chairs

    • Gre­gor Engels – Uni­ver­sität Pader­born (Germany)
    • Pieter Van Gorp – Uni­ver­sity of Eind­hoven (The Netherlands)

    Steer­ing Committee

    • Jordi Cabot, INRIA, École des Mines de Nantes (France)
    • Juan de Lara, Uni­ver­si­dad Autónoma de Madrid (Spain)
    • Davide Di Rus­cio, Uni­ver­sity of L’Aquila (Italy)
    • Keith Duddy, Queens­land Uni­ver­sity of Tech­nol­ogy (Australia)
    • Mar­tin Gogolla, Uni­ver­sity of Bre­men (Germany)
    • Jeff Gray, Uni­ver­sity of Alabama (USA)
    • Zhen­jiang Hu, National Insti­tute of Infor­mat­ics (Japan)
    • Gerti Kap­pel, Vienna Uni­ver­sity of Tech­nol­ogy (Austria)
    • Richard Paige, Uni­ver­sity of York (UK)
    • Alfonso Pieran­to­nio, Uni­ver­sity of L’Aquila (Italy)
    • Lau­rence Tratt, King’s Col­lege Lon­don (UK)
    • Anto­nio Val­le­cillo, Uni­ver­si­dad de Málaga (Spain)
    • Dániel Varró, Budapest Uni­ver­sity of Tech­nol­ogy and Eco­nom­ics (Hungary)
    • Eelco Visser, Delft Uni­ver­sity of Tech­nol­ogy (The Netherlands)
    starting: ending: 06.07.2016 Location: , Category:

    Timeline

    Conference START 06.07.2016 END

    All deadlines have expired!

    This conference has no more open deadlines. There may be successive conferences coming up you may by interested in.

    Please check our conference list and search...

    Conference Facts

    Location , Address Gußhausstraße 29 Category Organiser More Info Conference Website

    Further interesting Conferences

    Currently we have no similar events listed. Please check our website regulary, subscribe to our RSS-Feed or follow us on twitter for new listings.