International Business Machines Corporation

Bard Bloom

Ian D Simmonds

Paul Turquand Keyser

Tova Roth

Douglas Neil Kimelman

Eric Marshall Nelson

Mark N Wegman

Steven R Abrams

John M Vlissides

Steven Tang

Marco Pistoia

Salvatore Angelo Guarnieri

Darrell Christopher Reimer

John H Field

Wendy D Neuberger

Clay Edwin Williams

Matthew N Kaplan

Steve Abrams

Steven Shu Hsiang Tang

John Matthew Vissides

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

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

An application includes: a programming model including a service provider, first components, second components, and sinks communicating via messages. Each of the second components is assigned a unique capability. A given one of the first components routes a message from the given first component to second component(s) and then to a sink. Each of the second component(s) sends the message to the service provider. The service provider creates a token corresponding at least to a received message and a unique capability assigned to an associated one of the second component(s) and sends the token to the associated one of the second component(s). The selected sink receives the message and a token corresponding to each of the second component(s), verifies each received token, and either accepts the message if each of the received tokens is verified or ignores the message if at least one of the received tokens is not verified.

Security model for actor-based languages and apparatus, methods, and computer programming products using same

A method and system of approximate document generation, in one aspect, analyzes a document generation template, identifies one or more elements in the document generation template that have processing time that is longer than a threshold value and modifies said one or more elements identified as having processing time that is longer than a threshold value. One or more elements are modified so that the elements can terminate before completion of processing and produce at least a partial result and/or brief summary from processing of said one or more elements.

Method of approximate document generation

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

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

Yorktown Heights, NY, United States of America

Bard Bloom