Abstract

Many modelling tools embed verification rules that are checked against user-defined models to ensure they satisfy the static semantic constraints of the modelling language. However, there are many other contexts where required constraints vary with the intended purpose of the model, and not just the modelling language used. In this paper, we propose a flexible and practical approach for users to define, select, store, group, exchange, enable, and verify custom semantic constraints on metamodels with the Object Constraint Language. We illustrate the benefits of this approach with extensions to an Eclipse-based modelling tool, called jUCMNav, and applications to various contexts such as style compliance, analysis, and transformations that involve chains of tools. We believe this approach to be easily adaptable to other Eclipse-based modelling tools, which could then enjoy similar benefits.

-- Daniel Amyot - 10 Sep 2008

Discussion

• Pre-published paper available below. Original paper available at http://portal.acm.org/citation.cfm?id=1463788.1463798
• Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.