Index: /reasoner/ivmlCompleteness.tex =================================================================== --- /reasoner/ivmlCompleteness.tex (revision 166) +++ /reasoner/ivmlCompleteness.tex (revision 167) @@ -3,5 +3,5 @@ In this section, we discuss the completeness of the reasoner with respect to IVML concepts defined in \cite{IVML-LS}. Reasoning completeness, e.g., involving advanced reasoning capabilities such as narrowing down value instances by limiting constraints or instance creation, is currently not supported by the approach and may be subject to future work. -To assess the IVML completeness, we enumerate all IVML concepts relevant to reasoning, their defining section in the IVML specification~\cite{IVML-LS}, the transformation path along the algorithms presented in this document and the test cases validating the transformation and the reasoning results. The referenced test cases are detailed in Appendix \ref{appendixTestCases}. A '*' in a test id indicates a wildcard, e.g., A*1 means all annotation-related tests. Test cases are referenced by ids in order to indicate that all relevant combinations are subject to regression testing in the continuous build process of EASy-Producer. +To assess the IVML completeness, we enumerate all IVML concepts relevant to reasoning, their defining section in the IVML specification~\cite{IVML-LS}, the transformation path along the algorithms presented in this document and the test cases validating the transformation and the reasoning results. The referenced test cases are detailed in Appendix \ref{appendixTestCases}. A '*' in a test id indicates a wildcard, e.g., A*1 means all annotation-related tests. Test cases are referenced by ids in order to indicate that all relevant combinations are subject to regression testing in the continuous build process of EASy-Producer. An entry 'no specific constraints' in the transformation path indicates that for the respective concept no constraints can be defined / translated as explained in Section \ref{sectNotationOthers}. We present the argumentation in four parts grouped according to IVML concepts, namely 1) top-level concepts / basic types (Table \ref{tab:completenessTopLevelTypes}), compound types (Table \ref{tab:completenessCompounds}), container types (Table \ref{tab:completenessContainers}) and annotations (Table \ref{tab:completenessAnnotations}). @@ -39,5 +39,5 @@ Partial evaluation & 2.2.5.3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelEvals} & Ev1\\ -Interfaces & 2.2.4.3 & no support needed & If1, If2\\ +Interfaces & 2.2.4.3 & no specific constraints & If1, If2\\ \hline @@ -45,7 +45,7 @@ Re-assignment & 2.1.4, 3.1.4 & \tabAlgLine{algVarChange}{algVarChangeScope}, \tabAlgLines{algEvalLoop}{algEvalLoopClearScope}{algEvalLoopSetScope} & Sc1, Sc2, Sc3\\ -Variable change & - & \tabAlgLines{algVarChange}{algVarChangeRescheduleParents}{algVarChangeRescheduleNested} & \MISSING{prop} \\ - -Constraint variable change & 3.1.10 & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeConsStart}{algRescheduleValueChangeConsEnd}\tabAlgFollow\tabAlg{algRescheduleConstraintValue} & \MISSING{Cs1, Cs2, CsCtCn1} \\ +Variable change & - & \tabAlgLines{algVarChange}{algVarChangeRescheduleParents}{algVarChangeRescheduleNested} & B1, B2, \ldots \\ + +Constraint variable change & 3.1.10 & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeConsStart}{algRescheduleValueChangeConsEnd}\tabAlgFollow\tabAlg{algRescheduleConstraintValue} & Cs1, CsCtCn1 \\ \hline @@ -53,15 +53,15 @@ \hline -Integer type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}, cf. Sect. \ref{sectNotationOthers} & I1, I2\\ - -Real type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}, cf. Sect. \ref{sectNotationOthers} & R1, R2\\ - -Boolean type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}, cf. Sect. \ref{sectNotationOthers} & B1, B2, B3 \\ - -String type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}, cf. Sect. \ref{sectNotationOthers} & S1, S2\\ - -Enum type & 2.1.3.2 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}, cf. Sect. \ref{sectNotationOthers} & E1, E2\\ - -Reference type & 2.2.3.2 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}, cf. Sect. \ref{sectNotationOthers} & BF1, EF1\\ +Integer type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & I1, I2\\ %, cf. Sect. \ref{sectNotationOthers} + +Real type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & R1, R2\\ %, cf. Sect. \ref{sectNotationOthers} + +Boolean type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & B1, B2, B3 \\ %, cf. Sect. \ref{sectNotationOthers} + +String type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & S1, S2\\ %, cf. Sect. \ref{sectNotationOthers} + +Enum type & 2.1.3.2 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & E1, E2\\ %, cf. Sect. \ref{sectNotationOthers} + +Reference type & 2.2.3.2 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & BF1, EF1\\ %, cf. Sect. \ref{sectNotationOthers} Derived type & 2.1.3.4 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationDerivedDatatype}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints} @@ -114,5 +114,5 @@ \IVML{self} & 3.1.6 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateSelf1}, \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateSelf2}, \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateSelf3} & CnA3 \\ -Annotation & 2.2.2 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlg{algTranslateDeclaration} $\ldots$, cf. Table \ref{tab:completenessTopLevelTypes} & CnA3\\ +Annotation & 2.2.2 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlg{algTranslateDeclaration} $\ldots$ & CnA3\\ Assignment blocks & 2.2.2 & \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationCompoundAssignments}\tabAlgFollow\tabAlg{algTranslateAnnotationAssignments} & CnAI2, CnAI3 \\ @@ -123,7 +123,7 @@ \hline -Constraint type change & 3.10.1 & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeCompStart}{algRescheduleValueChangeCompEnd}\tabAlgFollow\ldots\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeConsStart}{algRescheduleValueChangeConsEnd}\tabAlg{algRescheduleConstraintValue} & \MISSING{CsCn1, CsCn2, CsCtCn1} \\ - -Compound type change & - & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLine{algRescheduleValueChange}{algVarChangeRescheduleValueTypeChange}\tabAlgFollow\tabAlg{algTranslateValueTypeChange}\tabAlgFollow\ldots & \MISSING{!} \\ +Constraint type change & 3.10.1 & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeCompStart}{algRescheduleValueChangeCompEnd}\tabAlgFollow\ldots\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeConsStart}{algRescheduleValueChangeConsEnd}\tabAlgFollow\tabAlg{algRescheduleConstraintValue} & CsCtCn1 \\ + +Compound type change & - & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLine{algRescheduleValueChange}{algVarChangeRescheduleValueTypeChange}\tabAlgFollow\tabAlg{algTranslateValueTypeChange}\tabAlgFollow\ldots & CnCs1 \\ \hline @@ -144,16 +144,16 @@ \hline - \multicolumn{4}{|c|}{Container types}\\ % disabled due to page break/moving tables to the end -\hline - -Integer type & 2.1.3.1 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & ICt1, ICt2\\ - -Real type & 2.1.3.1 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & RCt1, RCt2\\ - -Boolean type & 2.1.3.1 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & BCt1, BCt2 \\ - -String type & 2.1.3.1 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & SCt1, SCt2\\ - -Enum type & 2.1.3.2 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & ECt1, ECt2 \\ + \multicolumn{4}{|c|}{Container types}\\ +\hline + +Integer type & 2.1.3.1 & no specific constraints & ICt1, ICt2\\ % no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} + +Real type & 2.1.3.1 & no specific constraints & RCt1, RCt2\\ % no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} + +Boolean type & 2.1.3.1 & no specific constraints & BCt1, BCt2 \\ % no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} + +String type & 2.1.3.1 & no specific constraints & SCt1, SCt2\\ % no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} + +Enum type & 2.1.3.2 & no specific constraints & ECt1, ECt2 \\ % no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} Derived type & 2.1.3.4 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes}\tabAlgFollow\tabAlg{algTranslateDeclaration} & ITCt1, ITCt2 \\ @@ -167,9 +167,9 @@ Derived container type & 2.1.3.3 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints} & CtTCt1, CtTF1 \\ -Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & CnFCt1, CnTFCt1 \\ +Reference type & 2.2.3.2 & no specific constraints & CnFCt1, CnTFCt1 \\ % , cf. Section \ref{sectNotationOthers} Constraint type & 3.1.10 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationConstraintContainer} & CnCt1, CnCt2, CsCtCn1 \\ -Annotation & 2.2.2 & top-level only, see Table \ref{tab:completenessTopLevelTypes} & TFCnCtCsA1 \\ +Annotation & 2.2.2 & top-level only, Table \ref{tab:completenessTopLevelTypes} & TFCnCtCsA1 \\ Assignment blocks & - & - & - \\ @@ -179,5 +179,5 @@ \hline -Constraint type change & 3.1.10 & change \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeCompStart}{algRescheduleValueChangeCompEnd}\tabAlgFollow\ldots\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeContStart}{algRescheduleValueChangeContEnd}\tabAlg{algRescheduleConstraintValue} & \MISSING{CnCt1, CnCt2, CsCtCn1} \\ +Constraint type change & 3.1.10 & change \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeCompStart}{algRescheduleValueChangeCompEnd}\tabAlgFollow\ldots\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeContStart}{algRescheduleValueChangeContEnd}\tabAlg{algRescheduleConstraintValue} & CsCtCn1 \\ \hline @@ -216,7 +216,7 @@ Container type & 2.1.3.3 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateAnnotationAccess}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & ACt1 & A*1 \\ -Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & AFCn1 & A*1 \\ - -Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers}& ACs1 & A*1 \\ +Reference type & 2.2.3.2 & no specific constraints & AFCn1 & A*1 \\ %, cf. Section \ref{sectNotationOthers} + +Constraint type & 3.10.1 & no specific constraints & ACs1 & A*1 \\ %, cf. Section \ref{sectNotationOthers} Annotation & - & - & - & -\\