International Business Machines Corporation

Ian D Simmonds

Bard Bloom

Paul Turquand Keyser

Tova Roth

Steven R Abrams

Douglas Neil Kimelman

Eric Marshall Nelson

John M Vlissides

Mark N Wegman

Steven Tang

Darrell Christopher Reimer

Wendy D Neuberger

James Thomas Rayfield

Clay Edwin Williams

Michael Desmond

Harold Leon Ossher

Sophia Krasikov

Edith Gail Schonberg

David Lars Ehnebuske

Barbara Jane Alspach McKee

Matthew N Kaplan

Isabelle Marie Catherine Rouvellou

Matthew J Callery

Stewart Laundon Palmer

Steven Shu Hsiang Tang

John Matthew Vissides

Steve Abrams

A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business applications with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.

Method and apparatus for providing symbolic mode checking of business application requirements

A method and system are disclosed for manipulating a model, where that model represents some or all of a design. The design includes a multitude of design elements, the model includes a multitude of model elements, and each of the design elements is represented by a single model element. The method comprises the steps of generating a suite of documents from the model, each of the documents describing a view of the model; and displaying the documents to a user as a series of forms. The user provides information to the forms to change the documents, and changes to the documents result in both changes to the model and consistent changes across the suite of documents. In the preferred embodiment, the model identifies specific relationships between the elements of the model, and each of the model elements has defined properties.

Manipulating design models by editing generated reports

Disclosed is a computer-implemented method to create a presentation having at least one sheet, where each sheet contains one or more visual elements, as well as a system and computer program embodied on a computer-readable storage medium. The method includes, in response to input from a user, representing visual elements as depictions in a model, where each depiction depicts a single item in the model, where each item is a unit of information with a unique identifier, where each item can be depicted by at least one depiction and each depiction defines the visual representation of the item's information via the visual element. The method further includes, in response to a change to an item made by altering the visual element associated with the depiction of the item, automatically propagating the change to the item to all other depictions of the item across all sheets of the presentation. The method further includes updating the associated visual elements to reflect the change to the item.

Smart slide creation and presentation

The invention broadly and generally provides, in a computer-controlled display, a method of simplifying a graphical representation of a set of connected nodes comprising the steps of: (a) selecting a subset of the aforesaid set; and (b) under computer program control, hiding representations of all nodes except (i) nodes within the aforesaid subset and (ii) at least one node having a defined relationship to the aforesaid subset.

Method and system for automatically hiding irrelevant parts of hierarchical structures in computer user interfaces

A method and system are disclosed for creating a hyperlink together with an associated semantic link between a source entity, and a target entity. The source entity includes descriptive text. The system includes means for selecting text within the source entity, and means for selecting the target entity. Also, means are provided for selecting a type of semantic link, and means are provided for creating a hyperlink between said selected text and said target entity. The system further includes means for creating a semantic link of said type between said source entity and said target entity, including means for including in the hyperlink a reference to said semantic link. In the preferred embodiment of the invention, the means for selecting the type of semantic link includes means for prompting a user to select from among a plurality of candidate types of semantic links.

Method and system for creating semantic relationships using hyperlinks

A method (and system) for generating a structured representation from an unstructured description includes receiving, by a computer, an unstructured description, and generating, by the computer, a structured representation based upon the unstructured description.

System and method for guided and assisted structuring of unstructured information

A method and apparatus for performing general integrity checks using rules in an application running on a data processing system. A point is identified at which a unit of work is to complete. The unit of work includes a plurality of participants. Responsive to determining that the unit of work is to complete, rules associated with each participant in the unit of work are obtained. Responsive to obtaining the rules, the rules obtained for each of the participants are run. Responsive to running the rules, the general integrity of the application state with respect to the unit of work is determined. Responsive to determining the general integrity of the application state, the unit of work is completed by committing it or aborting it.

Apparatus and method for performing general integrity checks using integrity rule checking points in an enterprise application

An enterprise process model that comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. Data characterizing the view of the attributes of at least one of the objects of the model is generated by associating a plurality of situation/role pairs with the at least one object; and then, for each particular situation/role pair, defining a view definition for subsequent use. In another aspect of the present invention, an enterprise application for use in an information system that comprises diverse software services and hardware platforms is generated by providing a model of the enterprise process, wherein the model comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. A configuration defining software services and hardware platforms that support the model is generated. Finally, program fragments that support the model are generated.

Enterprise process models and enterprise application for information technologies

Method and system for generating enterprise applications of a diversity of information technologies

Growing community of inventors

Dobbs Ferry, NY, United States of America

Ian D Simmonds