Spezifikationsmodule - Software and Systems Engineering - TUM
Spezifikationsmodule - Software and Systems Engineering - TUM
Spezifikationsmodule - Software and Systems Engineering - TUM
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
fpcapps_it = ccnds_fpcapps.Expression.Model<br />
) or<br />
exists cacts_fpcapps:copy_action_set . (<br />
fpcapps_it = cacts_fpcapps.Value.Model<br />
) or<br />
exists im_fpcapps:input_map . (<br />
im_fpcapps.one.Pattern.Model = fpcapps_it or<br />
im_fpcapps.two.Pattern.Model = fpcapps_it<br />
) or<br />
exists om_fpcapps:output_map . (<br />
om_fpcapps.one.Expression.Model = fpcapps_it or<br />
om_fpcapps.two.Expression.Model = fpcapps_it<br />
) or<br />
exists cndm_fpcapps:condition_map . (<br />
cndm_fpcapps.one.Expression.Model = fpcapps_it or<br />
cndm_fpcapps.two.Expression.Model = fpcapps_it<br />
) or<br />
exists actm_fpcapps:action_map . (<br />
actm_fpcapps.one.Value.Model = fpcapps_it or<br />
actm_fpcapps.two.Value.Model = fpcapps_it<br />
) or<br />
exists fpcapps_elem:FPCAPPS . (<br />
is Args(fpcapps_elem, fpcapps_it)<br />
))).<br />
/* Constructor Copy */<br />
exists copy_constructor_set: lfp FPCCS set fpccs_it:Constructor<br />
with (<br />
neg exists cm_fpccs:constructor_map . (<br />
cm_fpccs.one = fpccs_it or cm_fpccs.two = fpccs_it<br />
) <strong>and</strong><br />
exists tm_fpccs:typedef_map . (<br />
fpccs_it.DataDef = tm_fpccs.one or<br />
fpccs_it.DataDef = tm_fpccs.two<br />
)).<br />
/* Selector Copy */<br />
exists copy_selector_set: lfp FPCSS set fpcss_it:Selector<br />
with (<br />
exists ccm_fpcss:copy_constructor_set . (<br />
fpcss_it.Constructor = ccm_fpcss<br />
)<br />
) .<br />
/* new component name */<br />
context new_comp_name:String .<br />
/* START of building */<br />
exists new_dtd_module: new DTDModule .<br />
77