Foundations of model-driven engineering

Laying sound foundations for the field

As an engineering discipline, it’s important that model-driven engineering is based on sound mathematical foundations. Graph transformations are a highly suitable formalism here, as models are typically captured as graphs of interconnected objects (indepent of whether they are represented visually as graphs, texts, or tables). I am interested in the use of graph theory and graph rewriting as the formal foundations of model-driven engineering. In particular, I am interested in

modularity and reuse in models and model transformations;
the interaction between transformations and consistency constraints.

Lots of research remains to be done here and I have a strong network of collaborators with whom I undertake this research. There are opportunities for purely formal research as well as research around encoding formalisms in powerful tools that can analyse, compose, and validate models and model transformations.

I also run an international network on model-driven engineering – MDENet. I did two Computerphile videos on model-driven engineering (MDE) and DSLs; you can find them here and here. Find some other videos of a talk on DSLs I gave for the London Java Community here and here.

References

Books

2021

Composing Model-Based Analysis Tools

Robert Heinrich, Francisco Durán, Carolyn Talcott, and 1 more author

2021

@book{HeinrichEtAl21Book,
  author = {Heinrich, Robert and Dur{\'a}n, Francisco and Talcott, Carolyn and Zschaler, Steffen},
  title = {Composing Model-Based Analysis Tools},
  publisher = {Springer},
  year = {2021},
}

Book Chapters

2021

GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics

Steffen Zschaler, and Francisco Durán

In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

@incollection{ZschalerDuran21,
  author = {Zschaler, Steffen and Dur{\'a}n, Francisco},
  title = {{GTSMorpher}: Safely Composing Behavioural Analyses Using Structured Operational Semantics},
  booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
  year = {2021},
}

2013

Behaviour Protection in Modular Rule-Based System Specifications

Francisco Durán, Fernando Orejas, and Steffen Zschaler

In Recent Trends in Algebraic Development Techniques, 2013

@incollection{DuranEtAl13,
  author = {Dur{\'a}n, Francisco and Orejas, Fernando and Zschaler, Steffen},
  title = {Behaviour Protection in Modular Rule-Based System Specifications},
  doi = {10.1007/978-3-642-37635-1_2},
  url = {http://dx.doi.org/10.1007/978-3-642-37635-1_2},
  pages = {24--49},
  editor = {Mart{\'\i}Oliet, Narciso and Palomino, Miguel},
  booktitle = {Recent Trends in Algebraic Development Techniques},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  volume = {7841},
  year = {2013},
  isbn = {978-3-642-37634-4},
}

2011

Variability Management

Steffen Zschaler, Pablo Sánchez, Jo\~ao Santos, and 5 more authors

In Aspect-Oriented, Model-Driven Software Product Lines – The AMPLE Way, 2011

Bib HTML Website

@incollection{ZschalerEtAl11b,
  author = {Zschaler, Steffen and S{\'a}nchez, Pablo and Santos, Jo{\~}ao and Alf{\'e}rez, Mauricio and Moreira, Ana and Ara{\'u}jo, Jo{\~a}o and Kulesza, Uir{\'a} and Fuentes, Lidia},
  title = {Variability Management},
  pages = {82--124},
  editor = {Rashid, Awais and Royer, Jean-Claude and Rummler, Andreas},
  booktitle = {Aspect-Oriented, Model-Driven Software Product Lines -- The {AMPLE} Way},
  publisher = {Cambridge University Press},
  isbn = {978-0-521-76722-4},
  year = {2011},
}

Product-driven software product line engineering

Steffen Zschaler, Pablo Sánchez, Carlos Nebrera, and 3 more authors

In Aspect-Oriented, Model-Driven Software Product Lines – The AMPLE Way, 2011

Bib HTML Website

@incollection{ZschalerEtAl11c,
  author = {Zschaler, Steffen and S{\'a}nchez, Pablo and Nebrera, Carlos and Fuentes, Lidia and Gasiunas, Vaidas and Fiege, Ludger},
  title = {Product-driven software product line engineering},
  pages = {287--315},
  editor = {Rashid, Awais and Royer, Jean-Claude and Rummler, Andreas},
  booktitle = {Aspect-Oriented, Model-Driven Software Product Lines -- The {AMPLE} Way},
  publisher = {Cambridge University Press},
  isbn = {978-0-521-76722-4},
  year = {2011},
}

2008

Modellgetriebene Software-Entwicklung

Achim Baier, Steffen Becker, Martin Jung, and 5 more authors

In Handbuch der Software-Architektur, Dec 2008

Bib HTML Website

@incollection{BaierEtAl2008,
  author = {Baier, Achim and Becker, Steffen and Jung, Martin and Krogmann, Klaus and R\"{o}ttgers, Carsten and Streekmann, Niels and Thoms, Karsten and Zschaler, Steffen},
  title = {{M}odellgetriebene {S}oftware-{E}ntwicklung},
  pages = {93--122},
  editor = {Reussner, Ralf and Hasselbring, Wilhelm},
  booktitle = {{H}andbuch der {S}oftware-{A}rchitektur},
  publisher = {dPunkt.verlag Heidelberg},
  year = {2008},
  edition = {2},
  month = dec,
  isbn = {3898645592},
}

2006

Ontologies, Meta-Models, and the Model-Driven Paradigm

Uwe Aßmann, Steffen Zschaler, and Gerd Wagner

In Ontologies for Software Engineering and Technology, 2006

Bib HTML PDF Website

@incollection{OntologiesAndMDA,
  author = {A{\ss}mann, Uwe and Zschaler, Steffen and Wagner, Gerd},
  editor = {Calero, Coral and Ruiz, Francisco and Piattini, Mario},
  booktitle = {Ontologies for Software Engineering and Technology},
  title = {Ontologies, Meta-Models, and the Model-Driven Paradigm},
  publisher = {Springer},
  year = {2006},
}

Journal Articles

2023

A Generic Framework for Representing and Analysing Model Concurrency

Steffen Zschaler, Erwan Bousse, Julien Deantoni, and 1 more author

Software and Systems Modelling 22, 2023

@article{ZschalerEtAl23,
  author = {Zschaler, Steffen and Bousse, Erwan and Deantoni, Julien and Combemale, Benoit},
  title = {A Generic Framework for Representing and Analysing Model Concurrency},
  journal = {Software and Systems Modelling},
  volume = {22},
  pages = {1319--1340},
  year = {2023},
  doi = {10.1007/s10270-022-01073-2},
  url = {https://doi.org/10.1007/s10270-022-01073-2}
}

2021

Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

Science of Computer Programming 214, 2021

@article{KosiolEtAl21,
  author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
  title = {Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations},
  journal = {Science of Computer Programming},
  volume = {214},
  year = {2021},
}

2017

Amalgamation of Domain Specific Languages with Behaviour

Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, and 1 more author

Journal of Logical and Algebraic Methods in Programming 86(1), 2017

@article{DuranEtAl15,
  author = {Dur{\'a}n, Francisco and Moreno-Delgado, Antonio and Orejas, Fernando and Zschaler, Steffen},
  title = {Amalgamation of Domain Specific Languages with Behaviour},
  doi = {10.1016/j.jlamp.2015.09.005},
  url = {http://dx.doi.org/10.1016/j.jlamp.2015.09.005},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  year = {2017},
  volume = {86},
  number = {1},
  pages = {208--235},
}

2014

Correct-by-construction synthesis of model transformations using transformation patterns

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Iman Poernomo, and 2 more authors

Software and Systems Modelling 13(2), May 2014

@article{LanoEtAl12,
  author = {Lano, Kevin and Kolahdouz-Rahimi, Shekoufeh and Poernomo, Iman and Terrell, Jeffrey and Zschaler, Steffen},
  title = {Correct-by-construction synthesis of model transformations using transformation patterns},
  doi = {10.1007/s10270-012-0291-7},
  pages = {873--907},
  journal = {Software and Systems Modelling},
  volume = {13},
  number = {2},
  month = may,
  year = {2014},
  issn = {1619-1366},
  publisher = {Springer-Verlag},
}

2013

Model-driven performance analysis of rule-based domain specific visual models

Javier Troya, Antonio Vallecillo, Francisco Durán, and 1 more author

Information and Software Technology 55(1), 2013

@article{TroyaEtAl13,
  author = {Troya, Javier and Vallecillo, Antonio and Dur{\'a}n, Francisco and Zschaler, Steffen},
  title = {Model-driven performance analysis of rule-based domain specific visual models},
  pages = {88--110},
  doi = {10.1016/j.infsof.2012.07.009},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584912001358},
  journal = {Information and Software Technology},
  volume = {55},
  number = {1},
  year = {2013},
}

2009

On Language-Independent Model Modularisation

Florian Heidenreich, Jakob Henriksson, Jendrik Johannes, and 1 more author

Transactions on Aspect-Oriented Development, Special Issue on Aspects and MDE 5560, 2009

@article{HeidenreichEtAl09,
  author = {Heidenreich, Florian and Henriksson, Jakob and Johannes, Jendrik and Zschaler, Steffen},
  title = {On Language-Independent Model Modularisation},
  journal = {Transactions on Aspect-Oriented Development, Special Issue on Aspects and MDE},
  year = {2009},
  series = {LNCS},
  volume = {5560},
  publisher = {Springer},
  pages = {39--82},
}

2008

Extending grammars and metamodels for reuse: the Reuseware approach

Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, and 2 more authors

IET Software 2(3), 2008

@article{HenrikssonEtAl08,
  author = {Henriksson, Jakob and Heidenreich, Florian and Johannes, Jendrik and Zschaler, Steffen and A{\ss}mann, Uwe},
  title = {Extending grammars and metamodels for reuse: the Reuseware approach},
  publisher = {IET},
  year = {2008},
  journal = {IET Software},
  volume = {2},
  number = {3},
  pages = {165--184},
  url = {http://link.aip.org/link/?SEN/2/165/1},
  doi = {10.1049/iet-sen:20070060},
}

2007

Reuseware – Adding Modularity to Your Language of Choice

Jakob Henriksson, Jendrik Johannes, Steffen Zschaler, and 1 more author

Journal of Object Technology 6(9), Oct 2007

Special issue TOOLS Europe 2007

@article{HenrikssonJohannesZschalerAssmann07,
  author = {Henriksson, Jakob and Johannes, Jendrik and Zschaler, Steffen and A{\ss}mann, Uwe},
  title = {Reuseware -- Adding Modularity to Your Language of Choice},
  journal = {Journal of Object Technology},
  volume = {6},
  number = {9},
  month = oct,
  year = {2007},
  pages = {127--148},
  note = {Special issue TOOLS Europe 2007},
}

Integrating OCL and Model Transformations in Fujaba

Mirko Stölzel, Steffen Zschaler, and Leif Geiger

Electronic Communications of the EASST, Special Issue on Proc. of the Sixth OCL Workshop OCL for (Meta-)Models in Multiple Application Domains (OCLApps 2006), extended versions of selected papers 5, 2007

@article{StoelzelZschalerGeiger07,
  author = {St{\"o}lzel, Mirko and Zschaler, Steffen and Geiger, Leif},
  title = {Integrating OCL and Model Transformations in Fujaba},
  journal = {Electronic Communications of the EASST, Special Issue on Proc. of the Sixth OCL Workshop OCL for (Meta-)Models in Multiple Application Domains (OCLApps 2006), extended versions of selected papers},
  volume = {5},
  year = {2007},
}

2004

The Object Constraint Language for UML 2.0 – Overview and Assessment

Heinrich Hussmann, and Steffen Zschaler

Upgrade, digital journal of CEPIS (Council of European Professional Informatics Societies), Apr 2004

Simultaneously published in Novática, journal of the Spanish CEPIS society ATI (Asociación de Técnicos de Informática), issue 168 (March-April 2004), in Spanish, and by the Italian CEPIS society ALSI and the Italian IT portal Tecnoteca, in Italian.

@article{HussmannZschaler04a,
  author = {Hussmann, Heinrich and Zschaler, Steffen},
  title = {The Object Constraint Language for {UML 2.0} -- Overview and Assessment},
  journal = {Upgrade, digital journal of {CEPIS} (Council of European Professional Informatics Societies)},
  month = apr,
  year = {2004},
  note = {Simultaneously published in Nov{\'a}tica, journal of the Spanish CEPIS society ATI (Asociaci{\'o}n de T{\'e}cnicos de Inform{\'a}tica), issue 168 (March-April 2004), in Spanish, and by the Italian CEPIS society ALSI and the Italian IT portal Tecnoteca, in Italian.}
}

Conference and Workshop Papers

2023

Finding the Right Way to Rome: Effect-oriented Graph Transformation

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

In 16th International Conference on Graph Transformation (ICGT 2023), 2023

@inproceedings{KosiolEtAl23,
  author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
  title = {Finding the Right Way to {Rome}: Effect-oriented Graph Transformation},
  booktitle = {16th International Conference on Graph Transformation (ICGT 2023)},
  year = {2023},
  doi = {10.1007/978-3-031-36709-0_3},
  url = {https://doi.org/10.1007/978-3-031-36709-0_3}
}

2020

Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

In Proc. Int’l Conf. on Graph Transformations (ICGT’20), 2020

@inproceedings{KosiolEtAl20,
  author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
  title = {Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations},
  booktitle = {Proc. Int'l Conf. on Graph Transformations (ICGT'20)},
  year = {2020},
}

2017

GTS Families for the Flexible Composition of Graph Transformation Systems

Steffen Zschaler, and Francisco Durán

In 20th Int’l Conf. Fundamental Approaches to Software Engineering (FASE’17), 2017

Bib HTML PDF Slides

@inproceedings{ZschalerDuran17a,
  author = {Zschaler, Steffen and Dur{\'a}n, Francisco},
  title = {{GTS} Families for the Flexible Composition of Graph Transformation Systems},
  pages = {208--225},
  doi = {10.1007/978-3-662-54494-5_12},
  url = {http://dx.doi.org/10.1007/978-3-662-54494-5_12},
  editor = {Huisman, Marieke and Rubin, Julia},
  booktitle = {20th Int'l Conf. Fundamental Approaches to Software Engineering (FASE'17)},
  year = {2017},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  isbn = {978-3-662-54494-5},
}

2016

Correct Reuse of Transformations is Hard to Guarantee

Rick Salay, Steffen Zschaler, and Marsha Chechik

In Proc. 9th Int’l Conf Model Transformations (ICMT’16), 2016

Bib HTML Slides

@inproceedings{SalayEtAl16,
  author = {Salay, Rick and Zschaler, Steffen and Chechik, Marsha},
  title = {Correct Reuse of Transformations is Hard to Guarantee},
  pages = {107--122},
  doi = {10.1007/978-3-319-42064-6_8},
  url = {http://dx.doi.org/10.1007/978-3-319-42064-6_8},
  editor = {van Gorp, Pieter and Engels, Gregor},
  booktitle = {Proc. 9th Int'l Conf Model Transformations (ICMT'16)},
  publisher = {Springer International Publishing},
  isbn = {978-3-319-42064-6},
  year = {2016},
}

Requirements Engineering in Model-Transformation Development: An Interview-Based Study

Sobhan Yassipour Tehrani, Steffen Zschaler, and Kevin Lano

In 9th International Conference on Model Transformations (ICMT’16), 2016

@inproceedings{TehraniEtAl16,
  author = {Tehrani, Sobhan Yassipour and Zschaler, Steffen and Lano, Kevin},
  title = {Requirements Engineering in Model-Transformation Development: An Interview-Based Study},
  booktitle = {9th International Conference on Model Transformations (ICMT'16)},
  year = {2016},
}

2015

Transformation reuse: What is the intent?

Rick Salay, Steffen Zschaler, and Marsha Chechik

In Proc. 4th Workshop on the Analysis of Model Transformations (AMT’15), 2015

@inproceedings{SalayEtAl15,
  author = {Salay, Rick and Zschaler, Steffen and Chechik, Marsha},
  title = {Transformation reuse: What is the intent?},
  booktitle = {Proc. 4th Workshop on the Analysis of Model Transformations (AMT'15)},
  year = {2015},
}

2014

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio

Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, and 1 more author

In Modelling Foundations and Applications - 10th European Conference, ECMFA 2014. Proceedings, 2014

@inproceedings{Moreno-DelgadoEtAl14,
  author = {Moreno{-}Delgado, Antonio and Dur{\'{a}}n, Francisco and Zschaler, Steffen and Troya, Javier},
  title = {Modular DSLs for Flexible Analysis: An e-Motions Reimplementation
                 of Palladio},
  booktitle = {Modelling Foundations and Applications - 10th European Conference,
                 {ECMFA} 2014. Proceedings},
  pages = {132--147},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-09195-2_9},
  doi = {10.1007/978-3-319-09195-2_9},
  editor = {Cabot, Jordi and Rubin, Julia},
  series = {Lecture Notes in Computer Science},
  volume = {8569},
  publisher = {Springer},
}

Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity

Steffen Zschaler

In Proc. 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO’14), 2014

Bib PDF Supp Slides

@inproceedings{Zschaler14,
  author = {Zschaler, Steffen},
  title = {Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity},
  editor = {Atkinson, Colin and Burger, Erik and Goldschmidt, Thomas and Reussner, Ralf},
  booktitle = {Proc. 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO'14)},
  year = {2014},
}

2013

On the Reusable Specification of Non-functional Properties in DSLs

Francisco Durán, Steffen Zschaler, and Javier Troya

In Proc. 5th Int’l Conf. on Software Language Engineering (SLE’12), 2013

Bib HTML PDF Supp Slides

@inproceedings{DuranEtAl12,
  author = {Dur{\'a}n, Francisco and Zschaler, Steffen and Troya, Javier},
  title = {On the Reusable Specification of Non-functional Properties in {DSLs}},
  pages = {332--351},
  editor = {Czarnecki, Krzysztof and Hedin, G{\"o}rel},
  booktitle = {Proc. 5th Int'l Conf. on Software Language Engineering (SLE'12)},
  publisher = {Springer},
  series = {LNCS},
  volume = {7745},
  year = {2013},
}

2012

On the modularity and reusability of the rule-based specification of QoS properties of systems

Francisco Duran, and Steffen Zschaler

In Prelimiary Proc. 21st Int’l Workshop on Algebraic Development Techniques (WADT’2012) – Technical Report Universidad Complutense de Madrid #TR-08/12, 2012

@inproceedings{DuranEtAl12b,
  author = {Duran, Francisco and Zschaler, Steffen},
  title = {On the modularity and reusability of the rule-based specification of {QoS} properties of systems},
  booktitle = {Prelimiary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid \#TR-08/12},
  year = {2012},
}

2011

Aspect Assumptions: A Retrospective Study of AspectJ Developers’ Assumptions about Aspect Usage

Steffen Zschaler, and Awais Rashid

In Proc. 10th Int’l Conference on Aspect-Oriented Software Development, 2011

Bib HTML PDF Supp Slides

@inproceedings{ZschalerRashid2011,
  author = {Zschaler, Steffen and Rashid, Awais},
  title = {Aspect Assumptions: A Retrospective Study of AspectJ Developers' Assumptions about Aspect Usage},
  booktitle = {Proc. 10th Int'l Conference on Aspect-Oriented Software Development},
  series = {AOSD '11},
  year = {2011},
  isbn = {978-1-4503-0605-8},
  location = {Porto de Galinhas, Brazil},
  pages = {93--104},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/1960275.1960288},
  doi = {http://doi.acm.org/10.1145/1960275.1960288},
  acmid = {1960288},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {aspectj, developer assumptions},
}

Towards Using Constructive Type Theory for Verifiable Modular Transformations

Steffen Zschaler, Iman Poernomo, and Jeffrey Terrell

In Proc. 1st Workshop on Free Composition (FREECO’11, short paper), 2011

@inproceedings{ZschalerEtAl11a,
  author = {Zschaler, Steffen and Poernomo, Iman and Terrell, Jeffrey},
  title = {Towards Using Constructive Type Theory for Verifiable Modular Transformations},
  booktitle = {Proc. 1st Workshop on Free Composition (FREECO'11, short paper)},
  year = {2011},
}

Towards Modular Reasoning for Model Transformations

Steffen Zschaler, Jeffrey Terrell, and Iman Poernomo

In Workshop on Composition and Evolution of Model Transformations, 2011

@inproceedings{ZschalerEtAl11,
  author = {Zschaler, Steffen and Terrell, Jeffrey and Poernomo, Iman},
  title = {Towards Modular Reasoning for Model Transformations},
  booktitle = {Workshop on Composition and Evolution of Model Transformations},
  year = {2011},
}

2010

A Role-based Approach Towards Modular Language Engineering

Christian Wende, Nils Thieme, and Steffen Zschaler

In Software Language Engineering, 2nd Int’l Conf. (SLE 2009), Revised Selected Papers, Mar 2010

@inproceedings{WendeEtAl10,
  author = {Wende, Christian and Thieme, Nils and Zschaler, Steffen},
  title = {A Role-based Approach Towards Modular Language Engineering},
  pages = {254--273},
  editor = {van den Brand, Mark and Gasevic, Dragan and Gray, Jeff},
  booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
  month = mar,
  year = {2010},
  series = {LNCS},
  volume = {5969},
  publisher = {Springer},
}

Domain-Specific Metamodelling Languages for Software Language Engineering

Steffen Zschaler, Dimitrios Kolovos, Nicholas Drivalos, and 2 more authors

In Software Language Engineering, 2nd Int’l Conf. (SLE 2009), Revised Selected Papers, Mar 2010

@inproceedings{ZschalerEtAl10,
  author = {Zschaler, Steffen and Kolovos, Dimitrios and Drivalos, Nicholas and Paige, Richard and Rashid, Awais},
  title = {Domain-Specific Metamodelling Languages for Software Language Engineering},
  pages = {334--353},
  editor = {van den Brand, Mark and Gasevic, Dragan and Gray, Jeff},
  booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
  month = mar,
  year = {2010},
  series = {LNCS},
  volume = {5969},
  publisher = {Springer},
}

VML* – A Family of Languages for Variability Management in Software Product Lines

Steffen Zschaler, Pablo Sánchez, Joao Santos, and 6 more authors

In Software Language Engineering, 2nd Int’l Conf. (SLE 2009), Revised Selected Papers, Mar 2010

Bib HTML PDF Supp Slides

@inproceedings{ZschalerEtAl10a,
  author = {Zschaler, Steffen and S{\'a}nchez, Pablo and Santos, Joao and Alf{\'e}rez, Mauricio and Rashid, Awais and Fuentes, Lidia and Moreira, Ana and Araujo, Joao and Kulesza, Uir{\'a}},
  title = {VML* -- A Family of Languages for Variability Management in Software Product Lines},
  pages = {82--102},
  editor = {van den Brand, Mark and Gasevic, Dragan and Gray, Jeff},
  booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
  month = mar,
  year = {2010},
  series = {LNCS},
  volume = {5969},
  publisher = {Springer},
}

2008

OCL: Modularising the Language

David Akehurst, Steffen Zschaler, and Gareth Howells

In Ocl4All: Workshop at MoDELS 2007, Electronic Communications of the EASST, 2008

@inproceedings{AkehurstEtAl08,
  author = {Akehurst, David and Zschaler, Steffen and Howells, Gareth},
  title = {{OCL}: Modularising the Language},
  booktitle = {{Ocl4All}: Workshop at {MoDELS} 2007, Electronic Communications of the {EASST}},
  volume = {9},
  year = {2008},
}

2007

Aspect Orientation for Your Language of Choice

Florian Heidenreich, Jendrik Johannes, and Steffen Zschaler

In Proc. Workshop on Aspect-Oriented Modelling at MoDELS 2007, 2007

@inproceedings{HeidenreichJohannesZschaler07,
  author = {Heidenreich, Florian and Johannes, Jendrik and Zschaler, Steffen},
  title = {Aspect Orientation for Your Language of Choice},
  booktitle = {Proc. Workshop on Aspect-Oriented Modelling at MoDELS 2007},
  year = {2007},
}

Miscellaneous

2024

arXiv

Abstraction Engineering

Nelly Bencomo, Jordi Cabot, Marsha Chechik, and 4 more authors

2024

@misc{BencomoEtAl24,
  author = {Bencomo, Nelly and Cabot, Jordi and Chechik, Marsha and Cheng, Betty H. C. and Combemale, Benoit and Wąsowski, Andrzej and Zschaler, Steffen},
  title = {Abstraction Engineering},
  year = {2024},
  url = {\url{https://doi.org/10.48550/arXiv.2408.14074}},
  doi = {10.48550/arXiv.2408.14074},
}

2013

Verifiable Modularisation of DSMLs

Steffen Zschaler, and Francisco Durán

2013

@misc{ZschalerDuran13,
  author = {Zschaler, Steffen and Durán, Francisco},
  title = {Verifiable Modularisation of DSMLs},
  howpublished = {Poster at 13th Int'l Conf. on Aspect-Oriented Software Development (Modularity'13)},
  year = {2013},
}

2001

Object Constraint Language 2.0

Jos Warmer, Anneke Kleppe, Tony Clark, and 9 more authors

2001

Response to the OMG RfP

@misc{WarmerEtAl01,
  author = {Warmer, Jos and Kleppe, Anneke and Clark, Tony and Ivner, Anders and H{\"o}gstr{\"o}m, Jonas and Gogolla, Martin and Richters, Mark and Hu{\ss}mann, Heinrich and Zschaler, Steffen and Johnston, Simon and Frankel, David S. and Bock, Conrad},
  title = {Object Constraint Language 2.0},
  note = {Response to the OMG RfP},
  year = {2001},
}

Technical Reports

2011

Proof-Carrying Model-Transformation Components

Jeffrey Terrell, Steffen Zschaler, and Iman Poernomo

2011

@techreport{TerrellEtAl11a,
  author = {Terrell, Jeffrey and Zschaler, Steffen and Poernomo, Iman},
  title = {Proof-Carrying Model-Transformation Components},
  institution = {King's College London, Department of Informatics},
  number = {TR-11-02},
  url = {http://www.kcl.ac.uk/nms/depts/informatics/research/techreports/assets/tr-11-02.pdf},
  year = {2011},
}

2008

Collaborating Languages and Tools: A Study in Feasibility

Steffen Zschaler, and Christian Wende

Jul 2008

@techreport{ZschalerWende08,
  author = {Zschaler, Steffen and Wende, Christian},
  title = {Collaborating Languages and Tools: A Study in Feasibility},
  institute = {Technische Universit{\"a}t Dresden, Germany},
  month = jul,
  year = {2008},
}