| [Declarative QVT] Transformation problem , beginer [message #97818] |
Mon, 19 January 2009 19:09  |
Eclipse User |
|
|
|
Hello
I am totally new in QVT Relational. I have the following problem, I am
trying to transform a model based on requirements from a model based on
features , but in execution time my program totally crash. This is a
fragment of my code, i think thereÂŽs something wrong with this code. Any
suggestions ?
Thanks !
top relation FeaturesToRequirements {
n1:String;
n2:String;
n3:String;
checkonly domain feature f1: Features::Feature {
description = n1,
rationale = n2,
catalogue = c1 : Features::Catalogue {},
agreement = n3
/*level = l1 : Features::MandatoryLevel {},
composited_by = compo1 : Features::CompositionRule {},
refine_and = ref1 : Features::Feature {},
trace_to = tra1 : Features::TextualRequirement {},
type = ty1 : Features::FeatureType {}*/
};
enforce domain req t1: Requirements::TextualRequirement {
description = n1,
rationale = n2,
catalogue = c2 : Requirements::Catalogue {},
document = doc : Requirements::Document {}
};
when {
CatalogueToCatalogue(c1,c2);
CatalogueToDocument(c1,doc);
}
where {
FeatureToSections(f1,doc,t1) or FeatureToRoot(f1,doc,t1);
}
}
relation FeatureToSections {
n1:String;
checkonly domain feature f1: Features::Feature {
description = n1,
refine_and = ref : Features::Feature {}
};
checkonly domain req doc : Requirements::Document {};
enforce domain req t1: Requirements::TextualRequirement{
section = s1 : Requirements::Section {
heading = n1,
document = doc
}
};
}
relation FeatureToRoot {
n1:String;
checkonly domain feature f1: Features::Feature {
description = n1
};
checkonly domain req doc : Requirements::Document {};
enforce domain req t1: Requirements::TextualRequirement{
document = doc,
section = doc.sections->first()
};
}
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.04171 seconds
Home