meta-architectures, and systems; Maude and rewriting logic; and computational biology.