Advanced Topics in DSL Design and Implementation

From Models Wiki
Revision as of 11:37, 23 March 2015 by Adim (Talk | contribs)
Jump to: navigation, search

PhD Course on "Advanced Topics in Domain Specific Language Design and Implementation"

Here you can find information about the PhD course for Spring semester 2015.

Various Information

Teachers: Andrzej Wasowski. Claus Brabrand. Aleksandar Dimovski.


Registration: (Aleksandar Dimovski)

Format: Research seminar. Presentation and discussion 90 minutes a session, 10 sessions. The course participants are supposed to read the paper before the scheduled discussion slots.

Participants take turns presenting the material. Everybody is expected to actively participate in the discussions.

Assessment: Presentation of at least one paper and active participation throughout the seminar is required for passing the course.

Meetings: Our weekly meetings are every Monday from 12:30 till 13:55 starting from 13th April.

Meeting room:

           4A05 (13.04, 20.04, 27.04, 04.05, 11.05, 18.05, 01.06, 08.06, 15.06, 22.06)


The research seminar will be devoted to mechanism for defining, implementing and analyzing semantics of diverse modeling languages (with minor necessary excursions into issues of syntax).

We will study the following papers:

  • Daniel L. Moody. The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Trans. Software Eng. 35(6): 756-779 (2009) [1]
  • Landin, Peter J. The next 700 programming languages. Communications of the ACM 9 (3): 157–166 (March 1966). [2]. [include a short biographical note on Peter Landin]
  • Martin Churchill, Peter D. Mosses, Paolo Torrini. Reusable components of semantic specifications. MODULARITY 2014: 145-156. [3]
  • Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) [4]
  • Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005) [5]
  • Claus Brabrand, Anders Møller, Michael Schwartzbach. The <bigwig> Project. Transactions of Internet Technology (TOIT), Vol. 2(2), 2002 [6]
  • Eelco Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems. Domain-Specific Program Generation, p. 216-238 [7]
  • Lorenzo Bettini: Implementing Java-like languages in Xtext with Xsemantics. SAC 2013: 1559-1564 [8]
  • Walid Taha. Multi-Stage Programming: Its Theory and Applications. (1999)

Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel: Family-based deductive verification of software product lines. GPCE 2012: 11-20

Reiner Hähnle, Ina Schaefer: A Liskov Principle for Delta-Oriented Programming. ISoLA (1) 2012: 32-46 (this or the above, or both in the same session)

Benjamin Delaware, William R. Cook, Don S. Batory: Product lines of theorems. OOPSLA 2011: 595-608

  • Combinatorial Interaction Testing [1 session] (1st session: 21.05, Iago)

D. Richard Kuhn, Dolores R. Wallace, and Albert M. Gallo. Software fault interactions and implications for software testing. IEEE Transactions on Software Engineering, 30(6):418–421, 2004.

Myra B. Cohen, Matthew B. Dwyer, and Jiangfan Shi. Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach. IEEE Transactions on Software Engineering, 34:633–650, 2008

  • Analysis Strategies [1 session] (1st session: 28.05, Rao)

Thomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, and Gunter Saake. Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, Germany, April 2012.

  • Formal Feature Modeling [1 session]

David Benavides, Sergio Segura and Antonio Ruiz-Cortes. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Journal Information Systems, 615-636.

Don Batory. Feature models, grammars, and propositional formulas. SPLC 2005, 7-20.

David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortes. Automated Reasoning on Feature Models. CAiSE 2005, 491–503.

Personal tools