COMPUTER METHOD AND SYSTEM FOR ENFORCING DERIVED UNION CONSTRAINTS
First Claim
1. A computer system for implementing derived union constraints in a target code of a programming model, the programming model using a modeling language, the computer system comprising:
- given the modeling language is of the Unified Modeling Language (UML) type, using the modeling language, defining metaclasses and having model elements as instances of metaclasses, model elements including properties having respective values, and UML-derived-union-constraints being distinct from stereotypes and being constraints on model elements defined by a superset of values of a respective property;
modeling means configured for providing a model element having one or more derived union properties, each derived union property having a superset of values denoted by the property;
means configured for tracking UML-derived-union-constraints from the one or more derived union properties of the model element including keeping track of derived union items of the model element;
an interpreter for interpreting the tracked UML-derived-union-constraints and generating target code therefrom that implements and enforces the UML-derived-union-constraints, including generating code implementing overriding operations on classes that contain subletting properties for the one or more derived union properties of the model element, wherein the means for tracking provides to the interpreter indications of which properties the operations represent a superset; and
output means outputting the generated target code to a user.
2 Assignments
0 Petitions
Accused Products
Abstract
A computer method and system preserves derived union constraints and enforces the same in generated target code. The method includes (a) providing a model element having one or more derived union properties, (b) tracking derived union constraints from the derived union properties of the model element, and (c) interpreting the tracked derived union constraints and generating therefrom an implementation that enforces the derived union constraint. Tracking may be by annotating the model element accordingly.
24 Citations
15 Claims
-
1. A computer system for implementing derived union constraints in a target code of a programming model, the programming model using a modeling language, the computer system comprising:
-
given the modeling language is of the Unified Modeling Language (UML) type, using the modeling language, defining metaclasses and having model elements as instances of metaclasses, model elements including properties having respective values, and UML-derived-union-constraints being distinct from stereotypes and being constraints on model elements defined by a superset of values of a respective property; modeling means configured for providing a model element having one or more derived union properties, each derived union property having a superset of values denoted by the property; means configured for tracking UML-derived-union-constraints from the one or more derived union properties of the model element including keeping track of derived union items of the model element; an interpreter for interpreting the tracked UML-derived-union-constraints and generating target code therefrom that implements and enforces the UML-derived-union-constraints, including generating code implementing overriding operations on classes that contain subletting properties for the one or more derived union properties of the model element, wherein the means for tracking provides to the interpreter indications of which properties the operations represent a superset; and output means outputting the generated target code to a user. - View Dependent Claims (2, 3, 4, 5)
-
-
6. A computer program modeling system generating programming models using a modeling language, the system comprising:
-
given the modeling language is of the Unified Modeling Language (UML) type, using the modeling language, defining metaclasses and having model elements as instances of metaclasses, model elements including properties having respective values, and UML-derived-union-constraints being distinct from stereotypes and being constraints on model elements defined by a superset of values of a respective property; modeling means configured for providing a model element having one or more derived union properties, each derived union property having a superset of values denoted by the property; means configured for implementing derived union constraints in a target code, the means for implementing being formed of; (i) a recording member recording UML-dervied-union-constraints from the one or more derived union properties, including keeping track of derived union items of the model; and (ii) an interpreter interpreting the tracked UML-derived-union-constraints and generating target code therefrom that implements the UML-derived-union-constraints, including generating code implementing overriding operations on classes that contain subsetting properties for the one or more derived union properties of the model element, wherein the recording member provides to the interpreter indications of which properties the operations represent a superset; and output means outputting the generated target code to a user. - View Dependent Claims (7, 8, 9, 10)
-
-
11. A method of program modeling using a modeling language, the method being computer implemented comprising:
-
given the modeling language is of the Unified Modeling Language (UML) type, using the modeling language, defining metaclasses and having model elements as instances of metaclasses, model elements including properties having respective values, and UML-derived-union-constraints being distinct from stereotypes and being constraints on model elements defined by a superset of values of a respective property; providing a model element having one or more derived union properties, each derived union property having a superset of values denoted by the property; enforcing any UML-derived-union-constraints by; (i) tracking UML-derived-union-constraints from the one or more derived union properties of the model element, including keeping track of derived union items of the model element; and (ii) interpreting the tracked UML-derived-union-constraints and generating therefrom an Application Program Interface code implementation that enforces the UML-derived-union-constraint, including generating code implementing overriding operations on classes that contain subsetting properties for the one or more derived union properties of the model element, wherein the tracking provides to the interpreting indications of which properties the operations represent a superset; and outputting the generated Application Program Interface code to a user. - View Dependent Claims (12, 13, 14, 15)
-
Specification