Abstract: A mechanism is provided for detecting pattern occurrences utilizing a transformation software application on a computer. An input model is received in which the transformation software application is configured to detect model elements playing pattern roles, and report them in an output model (conforming to new pattern result language). A pattern specification is configured as a declarative transformation relation that is used by the transformation software application to detect pattern occurrences in the input model. Pattern occurrences are reported in the output model, where the pattern occurrences are instances of the pattern detected in the input model.

Abstract: A mechanism is provided for detecting pattern occurrences utilizing a transformation software application on a computer. An input model is received in which the transformation software application is configured to detect model elements playing pattern roles, and report them in an output model (conforming to new pattern result language). A pattern specification is configured as a declarative transformation relation that is used by the transformation software application to detect pattern occurrences in the input model. Pattern occurrences are reported in the output model, where the pattern occurrences are instances of the pattern detected in the input model.

Abstract: The invention includes a generic, markup specified object descriptor for a modularized computing application. The invention can include an extension to a modular computing application and a markup parser coupled to the extension. The markup parser can be enabled to process a generic, markup specified descriptor for an object. The descriptor can include an object reference referring to the object, a class reference for the object reference, and one or more method references for the object reference. Each method reference can specify a name for a method defined for the object and at least one of a value attribute and a not value attribute. The markup parser can be enabled to process the descriptor to reflectively determine a type and state of the object and to compare the state with either or both of the value and not value attribute to determine whether an expected context exists for the object.

Abstract: A computer method and system of diagramming provide a diagram of a subject model. In response to a primary edit to the subject model, the invention method and system generate a non-persistent view for secondary edits. The diagram is formed of notational elements corresponding to model elements of the subject model. The invention method and system provide a notation meta-model for persisting the notational elements with references to corresponding model elements. The notation meta-model allows notational elements to be recreated and changed dynamically in a manner free of replacing original notational elements.