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.

-- DanielAmyot - 10 Sep 2008

Discussion

FormForVirtualLibrary edit

Title Flexible Verification of User-Defined Semantic Constraints in Modelling Tools
Authors D. Amyot and J.B. Yan
Type Conference
Conference/Journal Title 18th Int. Conf. of Computer Science and Software Engineering (CASCON)
Volume/Number
Editors IBM CAS
Publisher ACM
Month October
Year 2008
Pages
DOI http://doi.acm.org/10.1145/1463788.1463798
Keywords Eclipse, jUCMNav, OCL, Semantic constraints, URN
Topic attachments
I Attachment Action Size Date Who Comment
CASCON2008-Amyot-SemanticConstraints.pptppt CASCON2008-Amyot-SemanticConstraints.ppt manage 735 K 11 Mar 2009 - 00:25 DanielAmyot Presentation
VirLibCascon2008.pdfpdf VirLibCascon2008.pdf manage 413 K 11 Mar 2009 - 00:23 DanielAmyot Prepublication version
Topic revision: r3 - 08 Nov 2009, HananeBecha
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback