Hi Christian
Requirements
- extensible validation for DSMLs, contributing
domain-specific constraints via profiles and/or other
mechanisms
- users should be able to select which constraints to
include/exclude in the validation operation
- it should not be necessary for a profile to define a
stereotype extending a metaclass just to define
constraints for that metaclass (this leads to required
extensions). A profile should be able to constrain a
referenced metaclass without reference to any stereotype
Beyond being obviously a good idea, I'm not sure what
extensible validation for DSMLs means. AFAICS DSML is just a
politically more acceptable/exciting term than the
discredited UML modeling. So if UML validation works, DSML
validation works too.
It would be good to allow users to have a validation
configuration so that large projects can easily switch
between quick / thorough / aspectX / ... validation
configurations. So a model of validation configurations
behind a DSL.
I don't understand not defining a stereotype. This seems to
require a UML change/extension. UML supports mandatory
stereotype application so constraints defined in a
stereotype can be applied automatically, if their profile is
applied.
===================
OCL 2.5 will probably introduce a small profile to support
gaps in UML
a) Integer/Real precision/rounding/overflow
b) InstanceSpecification validation enable/disable
Perhaps something more helpful can be provided in respect of
validation control.
Regards
Ed Willink
On 02/12/2014 20:18, Christian
W. Damus wrote:
Hi, team,
Pursuant to the brief discussion that we had
at the Papyrus Summit in October, I have captured some
notes that are my attempt to frame the problem and
provide a context for deciding as a group how we will
steer Papyrus towards a coherent long-term model
validation solution:
https://wiki.eclipse.org/Papyrus/Mars_Discussion/Validation
Please feel free to edit this page to fill
in gaps, correct mistakes and misunderstandings, and
otherwise contribute anything helpful. We can exchange
ideas here on the mailing list or in the wiki (do we use
the talk pages much at Eclipse?) to come to a decision
about what we should attempt to do in the Mars release
and later to bring our validation pieces to a happy
place.
Cheers,
Christian
_______________________________________________
mdt-papyrus.dev mailing list
mdt-papyrus.dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev
No virus found in
this message.
Checked by AVG - www.avg.com
Version: 2015.0.5577 / Virus Database: 4235/8669 -
Release Date: 12/02/14