An Extensible Visual Constraint Language

Abstract

This thesis presents an extensible visual language for constraint specification in domain-specific modeling environments. As the language is designed within a modeling language itself, the metamodel and visual syntax are discussed. Code generation enabling the evaluation of the constraints within a distributed environment is also presented. This includes the generation of asynchronous JavaScript from the synchronous input constraint code and the implications on program control structures such as loops. The design of the language as a domain-specific modeling language also facilitates extension of the language within a familiar design environment. Additional capabilities including collaborative editing and version control are also discussed. Finally, example constraints within this language are presented.