You are here: UCM Web>UCMVirtualLibrary>VirLibCascon2008 (08 Nov 2009)


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


Form For Virtual Library 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)
Editors IBM CAS
Publisher ACM
Month October
Year 2008
Keywords Eclipse, jUCMNav, OCL, Semantic constraints, URN
Topic attachments
I Attachment Action Size Date Who Comment
pptppt CASCON2008-Amyot-SemanticConstraints.ppt manage 735.5 K 11 Mar 2009 - 00:25 Daniel Amyot Presentation
pdfpdf VirLibCascon2008.pdf manage 413.5 K 11 Mar 2009 - 00:23 Daniel Amyot Prepublication version
Topic revision: r3 - 08 Nov 2009 - 15:02:09 - Hanane Becha
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