Patent application number | Description | Published |
20100162213 | SYSTEM AND METHOD FOR MESSAGE CHOREOGRAPHIES OF SERVICES - In one embodiment the present invention includes a computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. The interaction meta-class relates to an exchange of a message between a sender and a receiver, and the constraint meta-class relates to an input to the interaction meta-class. The method further includes executing a user interface computer program with which a user creates a message choreography model between a first process and a second process. The message choreography model is based on the message choreography meta-model. The message choreography model includes interactions that conform to the interaction meta class, and includes constraints that conform to the constraint meta class. The method further includes executing a verification computer program that performs a verification of the message choreography model. The verification includes verifying absence of an inconsumable message. The method further includes executing a testing computer program that performs a testing based on the message choreography model. The testing validates on an existing implementation the message exchange execution described by the choreography. | 06-24-2010 |
20100218082 | METHOD AND SYSTEM FOR EXPRESSING AND ENFORCING NON-FUNCTIONAL CONCERNS IN BUSINESS PROCESS MANAGEMENT SYSTEMS AND WORKFLOW SYSTEMS - A system and method to express and enforce non-functional properties in process management systems are described. Non-functional properties are expressed via annotations. Annotations and corresponding constraints are grouped in profiles. Further, non-functional properties are enforced via rules specified in enforcement patterns that are associated with the annotations. The enforcement patterns extend processes with additional process elements and logic for enforcing non-functional properties at runtime. | 08-26-2010 |
20120254431 | Framework for Diversified Provisioning of Services into Business Networks - Implementations of the present disclosure include methods for provisioning services in a business network. In some implementations, methods include receiving data corresponding to a first service, receiving data corresponding to a second service, processing the data corresponding to the first service and the data corresponding to the second service using a computer-executable tool selected from a plurality of computer-executable tools to enable provisioning of a service using the business network, and the processing being performed in a situational modeling layer of a service provisioning framework, generating a kernel model corresponding to the service, the generating being performed in a kernel modeling layer of the service provisioning framework, and storing the kernel model in computer-readable memory. | 10-04-2012 |
20130151317 | Model and System for Service Provisioning Lifecycle Management - Implementations of the present disclosure include methods for lifecycle management of services provisioned in a business network that include actions of defining a service package associated with a service, the service package being a logical representation of the service and including a plurality of artifacts, storing the service package in computer-readable memory, defining a service lifecycle model associated with the service, the service lifecycle model including a plurality of states, storing the service lifecycle model in the computer-readable memory, determining that the service is in a first state, determining that a first set of provisioning activities has occurred, in response to determining that the first set of provisioning activities has occurred, transitioning the service lifecycle model from the first state to a second state, and updating the service lifecycle model in the computer readable memory. | 06-13-2013 |
20130159354 | GENERATING REMOTELY ACCESSIBLE REPOSITORIES FROM LANGUAGE META-MODELS - Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for generating a repository comprising receiving a language meta-model; receiving annotations, each annotation including meta-data; annotating the language meta-model based on the annotations to provide an annotated language meta-model; and generating one or more repository modules based on the annotated language meta-model, the repository being defined based on the one or more repository modules. | 06-20-2013 |
20130268911 | Generic Method and System for Lifecycle Management - Implementations include methods, systems, and computer-readable storage media for receiving a lifecycle model, the lifecycle model including a representation of a lifecycle of an entity, the lifecycle including a plurality of states and transitions between states, receiving one or more artifacts, the entity including the one or more artifacts, each artifact of the one or more artifacts being associated with at least one state of the plurality of states, receiving a generic lifecycle management toolset, processing the lifecycle model and the one or more artifacts to configure the generic lifecycle management toolset and to define an adapted lifecycle management toolset that is specific to the entity, the adapted lifecycle management toolset including a lifecycle management interface, and providing the lifecycle management interface for display on a display device, the lifecycle management interface displaying representations of states of the plurality of states and a status of each state. | 10-10-2013 |
20140007041 | Composition of Non-functional Concerns | 01-02-2014 |
20140067836 | VISUALIZING REPORTING DATA USING SYSTEM MODELS - Methods, computer-readable media, and computer systems for visualizing reporting data using system models. Reporting data from multiple data sources is extracted and mapped to a common language reporting. The mapped reporting data is correlated to elements of system models. Visualization options to present the mapped reporting data correlated to the system models are identified. The mapped reporting data is presented according to the visualization options in response to receiving a request for reporting data. | 03-06-2014 |
20140137079 | IN-PLACE DEFINITION OF SOFTWARE EXTENSIONS - Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for providing in-place extensions to an application, including receiving one or more artifacts associated with the application; graphically depicting a representation of at least one artifact of the one or more artifacts on a display, the at least one artifact comprising extension points defined by a developer of the application; receiving first user input indicating a first extension to the at least one artifact, the first extension being associated with an extension point of the one or more extension points and being applied to the representation, the at least one artifact remaining unchanged in view of the first extension being applied to the representation; determining a delta based on the first extension and the at least one artifact; and storing the delta in an extension repository, the delta being usable to extend one or more other artifacts. | 05-15-2014 |
20140173448 | Software Application Extensibility - Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for supporting software application extensions including receiving, by the one or more processors, application information associated with a to-be-extended application, the application including a plurality of logical layers and including a computer-executable application that can be executed using one or more computing devices; processing, by the one or more processors, the application information; providing, based on the processing, graphical representations of one or more extensible artifacts associated with the application; displaying a first graphical representation within a browser interface, the first graphical representation being based on a first logical layer of the plurality of logical layers, the browser interface being provided as a computer-executable program that is executed using the one or more processors; and receiving user input provided using the browser interface, and in response to the user input, providing an extension of the application. | 06-19-2014 |
20150067637 | METHOD AND SYSTEM FOR SPECIFYING AND ENFORCING EXTENSIBILITY OF SOFTWARE APPLICATIONS - The method includes generating at least one base object, and generating at least one extendable object associated with the base object, the extendable object defining an insertion point and is configured to enable addition of new functionalities to an application including the at least one base object. | 03-05-2015 |
Patent application number | Description | Published |
20090308455 | GERMANIUM-ENRICHED SILICON MATERIAL FOR MAKING SOLAR CELLS - Techniques for the formation of silicon ingots and crystals using silicon feedstock of various grades are described. Common feature is adding a predetermined amount of germanium to the melt and performing a crystallization to incorporate germanium into the silicon lattice of respective crystalline silicon materials. Such incorporated germanium results in improvements of respective silicon material characteristics, mainly increased material strength. This leads to positive effects at applying such materials in solar cell manufacturing and at making modules from those solar cells. A silicon material with a germanium concentration in the range (50-200) ppmw demonstrates an increased material strength, where best practical ranges depend on the material quality generated. | 12-17-2009 |
20100258768 | METHOD AND SYSTEM FOR CONTROLLING RESISTIVITY IN INGOTS MADE OF COMPENSATED FEEDSTOCK SILICON - Techniques for controlling resistivity in the formation of a silicon ingot from compensated feedstock silicon material prepares a compensated, upgraded metallurgical silicon feedstock for being melted to form a silicon melt. The compensated, upgraded metallurgical silicon feedstock provides semiconductor predominantly of a single type (p-type or n-type) for which the process assesses the concentrations of boron and phosphorus and adds a predetermined amount of boron, phosphorus, aluminum and/or gallium. The process further melts the silicon feedstock with the boron, phosphorus, aluminum and/or gallium to form a molten silicon solution from which to perform directional solidification and maintains the homogeneity of the resistivity of the silicon throughout the ingot. A balanced amount of phosphorus can be optionally added to the aluminum and/or gallium. Resistivity may also be measured repeatedly during ingot formation, and additional dopant may be added in response, either repeatedly or continuously. | 10-14-2010 |
20100310445 | Process Control For UMG-Si Material Purification - A process control method for UMG-Si purification by performing a directional solidification of molten UMG-Si to form a silicon ingot is described. The ingot is divided into bricks and the resistivity profile of each silicon brick is mapped. A crop line for removing the impurities concentrated and captured in the ingot during the directional solidification is calculated based on the resistivity map. The concentrated impurities are then removed by cropping each brick along that brick's calculated crop line. | 12-09-2010 |
20100327890 | QUALITY CONTROL PROCESS FOR UMG-SI FEEDSTOCK - A quality control process for determining the concentrations of boron and phosphorous in a UMG-Si feedstock batch is provided. A silicon test ingot is formed by the directional solidification of molten UMG-Si from a UMG-Si feedstock batch. The resistivity of the silicon test ingot is measured from top to bottom. Then, the resistivity profile of the silicon test ingot is mapped. From the resistivity profile of the silicon test ingot, the concentrations of boron and phosphorous of the UMG-Si silicon feedstock batch are calculated. Additionally, multiple test ingots may be grown simultaneously, with each test ingot corresponding to a UMG-Si feedstock batch, in a multi-crucible crystal grower. | 12-30-2010 |
Patent application number | Description | Published |
20120179207 | SURGICAL PLATE SYSTEM AND METHOD - A surgical plate system, components and methods of using are described. A surgical plate system includes a plate having an anterior surface, a posterior surface, a longitudinal axis, a transverse axis and a through hole passing through the anterior and posterior surfaces. A variable fastener is configured and dimensioned to connect to the plate, the variable fastener having a head and a shaft extending distally from the head. The head is configured to assume different proximal end diameters. The head, in a first configuration allows inward flexing to reduce a diameter of the head to allow the head to pass through an entrance opening of the through hole. In a second configuration, the head is prevented from flexing inwardly thereby preventing the head from backing out of the entrance opening, while allowing articulation of the head, within the through hole, relative to the plate. | 07-12-2012 |
20120245641 | Devices, Systems and Methods of Attaching Same to the Spine - Systems and method for fixation to a spinal column are described. A system includes a plate having an anterior surface, a posterior surface, a longitudinal axis, a transverse axis and a through hole passing through the anterior and posterior surfaces; and a dynamic fixator interface member configured and dimensioned to connect to the plate within the through hole and to axially slide relative to the plate in directions of the longitudinal axis, and additionally, to rotate relative to the plate in directions about the transverse axis. | 09-27-2012 |
20150272641 | Surgical Plate System and Method - A surgical plate system, components and methods of using are described. A surgical plate system includes a plate having an anterior surface, a posterior surface, a longitudinal axis, a transverse axis and a through hole passing through the anterior and posterior surfaces. A variable fastener is configured and dimensioned to connect to the plate, the variable fastener having a head and a shaft extending distally from the head. The head is configured to assume different proximal end diameters. The head, in a first configuration allows inward flexing to reduce a diameter of the head to allow the head to pass through an entrance opening of the through hole. In a second configuration, the head is prevented from flexing inwardly thereby preventing the head from backing out of the entrance opening, while allowing articulation of the head, within the through hole, relative to the plate. | 10-01-2015 |