The megamodeling language LAL


LAL is predicate logic-based megamodeling language which is specifically useful for modeling software transformation at a macroscopic level. LAL is many- and order-sorted; it supports reuse of megamodels through inlining modulo substitution.

Online availability

LAL is part of YAS.

Paper on LAL

  • Title: Coupled Software Transformations—-Revisited
  • Online resource: (.html)