publications: - title: "Model Transformation: A declarative, reusable patterns approach" author: - name: "Keith Duddy" link: "http://www.dstc.edu.au" - name: "Anna Gerber" link: "http://www.dstc.edu.au" - name: "Michael Lawley" link: "http://www.lawley.id.au/" - name: "Kerry Raymond" link: "http://www.dstc.edu.au" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" year: "2003" doi: "http://csdl.computer.org/comp/proceedings/edoc/2003/1994/00/19940174abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/edoc/2003/1994/00/19940174abs.htm" tags: - "model-to-model transformation" - "meta-model" - "reuse" - "source-to-source" - "model transformation" - "Meta-Environment" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/DuddyGLRS03" cites: 0 citedby: 0 pages: "174-185" booktitle: "7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 16-19 September 2003, Brisbane, Australia, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-1994-6" kind: "inproceedings" key: "DuddyGLRS03" - title: "On model typing" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Jean-Marc Jézéquel" link: "http://www.irisa.fr/triskell" year: "2007" doi: "http://dx.doi.org/10.1007/s10270-006-0036-6" abstract: "Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this model-based paradigm, both for model transformation and for general programming using models. Many of these use single-object approaches to typing, derived from solutions found in object-oriented systems, while others use metamodels as model types, but without a clear notion of polymorphism. Both of these approaches lead to brittle and overly restrictive reuse characteristics. In this paper we propose a simple extension to object-oriented typing to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects. Using a simple example we show how this extended approach permits more flexible reuse, while preserving type safety." links: doi: "http://dx.doi.org/10.1007/s10270-006-0036-6" tags: - "programming languages" - "model-to-model transformation" - "object-oriented programming" - "rule-based" - "meta programming" - "graph transformation" - "meta-model" - "modeling language" - "modeling" - "transformation language" - "language modeling" - "type system" - "reuse" - "model-driven development" - "source-to-source" - "graph-rewriting" - "programming paradigms" - "object-role modeling" - "transformation system" - "model transformation" - "programming" - "subject-oriented programming" - "context-aware" - "Meta-Environment" - "rewriting" - "MDE" - "systematic-approach" - "rewriting strategies" - "feature-oriented programming" - "meta-objects" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/SteelJ07" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "6" number: "4" pages: "401-413" kind: "article" key: "SteelJ07" - title: "Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool" author: - name: "Erwan Brottier" link: "http://www.irisa.fr/triskell" - name: "Franck Fleurey" link: "http://www.fleurey.com" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Benoit Baudry" link: "http://www.irisa.fr/triskell" - name: "Yves Le Traon" link: "http://www.irisa.fr/triskell" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.27" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.27" tags: - "model-to-model transformation" - "rule-based" - "meta-model" - "testing model transformations" - "testing" - "source-to-source" - "model transformation" - "Meta-Environment" - "MDE" - "transformation" researchr: "https://researchr.org/publication/BrottierFSBT06" cites: 0 citedby: 0 pages: "85-94" booktitle: "17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "BrottierFSBT06" - title: "Model Interoperability in Building Information Modelling" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Robin Drogemuller" link: "http://www.qut.edu.au" year: "2009" abstract: "The exchange of design models in the design and construction industry is evolving away from 2-dimensional computer-aided design (CAD) and paper towards semantically-rich 3-dimensional digital models. This approach, known as Building Information Modelling ({BIM}), is anticipated to become the primary means of information exchange between the various parties involved in construction projects. From a technical perspective, the domain represents an interesting study in model-based interoperability, since the models are large and complex, and the industry is one in which collaboration is a vital part of business. In this paper, we present our experiences using the industry standard {IFC} data modelling format for exchanging design models between various tools, and in implementing tools which consume IFC models. We report on the successes and challenges in these endeavours, as the industry endeavours to move further towards fully digitized information exchange." tags: - "rule-based" - "meta-model" - "modeling" - "data-flow" - "bim" - "information models" - "Meta-Environment" - "MDE" - "design" - "interoperability" - "systematic-approach" researchr: "https://researchr.org/publication/Steel09" cites: 0 citedby: 0 booktitle: "Model Interoperability in Building Information Modelling" kind: "proceedings" key: "Steel09" - title: "Typage de modèles" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" year: "2007" month: "April" abstract: "L'Ingénierie Dirigée par les Modèles est une approche pour la construction de systèmes fondées sur l'utilisation de modèles. Malgré une recherche très active sur les technologies d'IDM et leur application, il existe relativement peu de travaux sur la réutilisation et la composition fiable des éléments qui manipulent des modèles. Cette thèse présente une approche fondée sur les idées et formalismes du domaine des systèmes de types, pour définir des notions claires de modèles et de types de modèles, ainsi qu'une relation pour la substituabilité des types de modèles. Ces principes du typage de modèles ont été validés par leur application dans le langage de méta-modèlisation Kermeta. De plus, la thèse revisite le problème de l'extensibilité des langages sous l'angle de l'ingénierie dirigée par les modèles, et elle détaille comment les types de modèles en résolvent certains aspects. Model-Driven Engineering is a discipline for the construction of systems based on the use of models. Although research is active into the use of MDE and its core technologies such as languages for storing, transforming and manipulating models, less attention has been paid to techniques for ensuring the safe reuse and composition of the elements which manipulate models. This thesis presents an approach based on ideas and formalisms from the domain of type systems for defining clear notions of models and model types, as well as a relation for model type substitutability. These model typing principles are demonstrated through their implementation in the Kermeta modelling and metamodelling language. Additionally, a presentation is made of the expression problem as it pertains to model-driven engineering, and of how the use of model types can help to address the issues it represents." tags: - "rule-based" - "meta-model" - "modeling language" - "language engineering" - "language modeling" - "composition" - "principles" - "type system" - "reuse" - "model-driven engineering" - "Meta-Environment" - "safe composition" - "MDE" - "systematic-approach" - "domain-specific language" researchr: "https://researchr.org/publication/Steel07%3A0" cites: 0 citedby: 0 school: "Université de Rennes 1" kind: "phdthesis" key: "Steel07:0" - title: "Generating Human-Usable Textual Notations for Information Models" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Kerry Raymond" link: "http://www.dstc.edu.au" year: "2001" doi: "http://computer.org/proceedings/edoc/1345/13450250abs.htm" links: doi: "http://computer.org/proceedings/edoc/1345/13450250abs.htm" tags: - "information models" researchr: "https://researchr.org/publication/SteelR01" cites: 0 citedby: 0 pages: "250-261" booktitle: "5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-1345-X" kind: "inproceedings" key: "SteelR01" - title: "Model-Based Test Driven Development of the Tefkat Model-Transformation Engine" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Michael Lawley" link: "http://www.lawley.id.au/" year: "2004" doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.23" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.23" tags: - "model-to-model transformation" - "rule-based" - "meta-model" - "testing model transformations" - "testing" - "model-driven development" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/SteelL04" cites: 0 citedby: 0 pages: "151-160" booktitle: "15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France" publisher: "IEEE Computer Society" isbn: "0-7695-2215-7" kind: "inproceedings" key: "SteelL04" - title: "A Transformation Workbench for Building Information Models" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Keith Duddy" link: "https://researchr.org/alias/keith-duddy" - name: "Robin Drogemuller" link: "http://www.qut.edu.au" year: "2011" abstract: "The building industry is undergoing a significant evolution, with increasing use of digital models during the design process and subsequent lifecycle of a building. These models, which span multiple design disciplines, multiple stakeholders, and many phases of the building's life, represent an interesting study for the application of ideas from model-driven engineering, being large, complex, and highly interrelated. Building models are typically represented using the Industry Foundation Classes (IFC), an industry standard supported by many of the popular CAD tools, defined in the STEP/Express technical space. Because the majority of research in MDE has focussed on the Eclipse Modeling Framework (EMF) technical space, it has previously been difficult to experiment with IFC models using model-driven engineering tools and techniques. In this paper we describe a workbench which provides for the integration of the STEP and EMF technical spaces. We also describe a number of initial experiments in bringing model transformation techniques and tools to bear on the domain of building models, and propose some future work." tags: - "model-to-model transformation" - "workbench" - "transformation engineering" - "Eclipse" - "application framework" - "meta-model" - "modeling" - "design research" - "EMF" - "source-to-source" - "model-driven engineering" - "model transformation" - "information models" - "Meta-Environment" - "MDE" - "design" - "process modeling" - "transformation" researchr: "https://researchr.org/publication/Steel-ICMT-2011" cites: 0 citedby: 0 pages: "93-107" booktitle: "Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings" editor: - name: "Jordi Cabot" link: "http://jordicabot.com/" - name: "Eelco Visser" link: "http://eelcovisser.org" volume: "6707" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "Steel-ICMT-2011" - title: "Model Typing for Improving Reuse in Model-Driven Engineering" author: - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Jean-Marc Jézéquel" link: "http://www.irisa.fr/triskell" year: "2005" doi: "http://dx.doi.org/10.1007/11557432_7" abstract: "Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this model-based paradigm, both for model transformation and for general programming using models. Many of these use single-object approaches to typing, derived from solutions found in object-oriented systems, while others use metamodels as model types, but without a clear notion of polymorphism. Both of these approaches lead to brittle and overly restrictive reuse characteristics. In this paper we propose a simple extension to object-oriented typing to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects. Using a simple example we show how this extended approach permits more flexible reuse, while preserving type safety." links: doi: "http://dx.doi.org/10.1007/11557432_7" tags: - "programming languages" - "model-to-model transformation" - "object-oriented programming" - "rule-based" - "transformation engineering" - "meta programming" - "graph transformation" - "meta-model" - "modeling language" - "modeling" - "language engineering" - "transformation language" - "language modeling" - "type system" - "reuse" - "UML" - "model-driven development" - "source-to-source" - "graph-rewriting" - "model-driven engineering" - "programming paradigms" - "object-role modeling" - "transformation system" - "model transformation" - "programming" - "subject-oriented programming" - "context-aware" - "Meta-Environment" - "rewriting" - "systematic-approach" - "rewriting strategies" - "feature-oriented programming" - "meta-objects" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/SteelJ05" cites: 0 citedby: 0 pages: "84-96" booktitle: "Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings" editor: - name: "Lionel C. Briand" link: "https://researchr.org/alias/lionel-c.-briand" - name: "Clay Williams" link: "https://researchr.org/alias/clay-williams" volume: "3713" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29010-9" kind: "inproceedings" key: "SteelJ05" - title: "Robust Real-Time Synchronization between Textual and Graphical Editors" author: - name: "Oskar van Rest" link: "http://www.linkedin.com/profile/view?id=111151073" - name: "Guido Wachsmuth" link: "https://www.linkedin.com/in/guidowachsmuth/" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: " Jörn Guy Süss" link: "https://researchr.org/alias/jo%CC%88rn-guy-su%CC%88ss" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2013" month: "June" abstract: "In modern Integrated Development Environments (IDEs), textual editors are interactive and can handle intermediate, incomplete, or otherwise erroneous texts while still providing editor services such as syntax highlighting, error marking, outline views, and hover help. In this paper, we present an approach for the robust synchronization of interactive textual and graphical editors. The approach recovers from errors during parsing and text-to-model synchronization, preserves textual and graphical layout in the presence of erroneous texts and models, and provides synchronized editor services such as selection sharing and navigation between editors. It was implemented for synchronizing textual editors generated by the Spoofax language workbench and graphical editors generated by the Graphical Modeling Framework." links: published: "https://researchr.org/publication/RestWSSV13" researchr: "https://researchr.org/publication/preprint-VanRestWSSV2013" cites: 0 citedby: 0 type: "Preprint" kind: "techreport" key: "preprint-VanRestWSSV2013" - title: "Anti-Yacc: MOF-to-Text" author: - name: "David Hearnden" link: "http://www.dstc.edu.au" - name: "Kerry Raymond" link: "http://www.dstc.edu.au" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" year: "2002" doi: "http://computer.org/proceedings/edoc/1742/17420200abs.htm" links: doi: "http://computer.org/proceedings/edoc/1742/17420200abs.htm" tags: - "YACC" researchr: "https://researchr.org/publication/HearndenRS02" cites: 0 citedby: 0 pages: "200-211" booktitle: "6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 17-20 September 2002, Lausanne, Switzerland, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-1742-0" kind: "inproceedings" key: "HearndenRS02" - title: "MQL: a Powerful Extension to OCL for MOF Queries" author: - name: "David Hearnden" link: "http://www.dstc.edu.au" - name: "Kerry Raymond" link: "http://www.dstc.edu.au" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" year: "2003" doi: "http://csdl.computer.org/comp/proceedings/edoc/2003/1994/00/19940264abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/edoc/2003/1994/00/19940264abs.htm" tags: - "OCL" researchr: "https://researchr.org/publication/HearndenRS03" cites: 0 citedby: 0 pages: "264-277" booktitle: "7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 16-19 September 2003, Brisbane, Australia, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-1994-6" kind: "inproceedings" key: "HearndenRS03" - title: "Practical Declarative Model Transformation with Tefkat" author: - name: "Michael Lawley" link: "http://www.lawley.id.au/" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" year: "2005" doi: "http://dx.doi.org/10.1007/11663430_15" abstract: "We present Tefkat, an implementation of a language designed specifically for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, wherein users may concern themselves solely with the relations between the models rather than needing to deal explicitly with issues such as order of rule execution and pattern searching/traversal of input models. In this paper, we demonstrate the language using a provided example and highlight a number of language features used in solving the problem, a simple object-to-relational mapping." links: doi: "http://dx.doi.org/10.1007/11663430_15" tags: - "model-to-model transformation" - "rule-based" - "pattern language" - "meta-model" - "modeling language" - "modeling" - "traversal" - "transformation language" - "language modeling" - "language design" - "UML" - "source-to-source" - "rules" - "object-role modeling" - "model transformation" - "Meta-Environment" - "higher-order transformations" - "meta-objects" - "transformation" researchr: "https://researchr.org/publication/LawleyS05" cites: 0 citedby: 0 pages: "139-150" booktitle: "Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers" editor: - name: "Jean-Michel Bruel" link: "https://researchr.org/alias/jean-michel-bruel" volume: "3844" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-31780-5" kind: "inproceedings" key: "LawleyS05" - title: "Modelware for Middleware" author: - name: "Keith Duddy" link: "http://www.dstc.edu.au" - name: "Anna Gerber" link: "http://www.dstc.edu.au" - name: "Michael Lawley" link: "http://www.lawley.id.au/" - name: "Kerry Raymond" link: "http://www.dstc.edu.au" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" year: "2003" researchr: "https://researchr.org/publication/DuddyGLRS03%3A0" cites: 0 citedby: 0 pages: "277-281" booktitle: "International Middleware Conference, Workshop Proceedings, June 16-20, 2003, Rio de Janeiro, Brazil" publisher: "PUC-Rio" isbn: "85-87926-03-9" kind: "inproceedings" key: "DuddyGLRS03:0" - title: "Transformation: The Missing Link of MDA" author: - name: "Anna Gerber" link: "http://www.dstc.edu.au" - name: "Michael Lawley" link: "http://www.lawley.id.au/" - name: "Kerry Raymond" link: "http://www.dstc.edu.au" - name: "Jim Steel" link: "http://jimsteel.googlepages.com" - name: "Andrew Wood" link: "http://www.dstc.edu.au" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050090.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050090.htm" tags: - "transformation" researchr: "https://researchr.org/publication/GerberLRSW02" cites: 0 citedby: 0 pages: "90-105" booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "2505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44310-X" kind: "inproceedings" key: "GerberLRSW02"