Patents by Inventor Bard Bloom

Bard Bloom has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 10310819
    Abstract: 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.
    Type: Grant
    Filed: August 20, 2009
    Date of Patent: June 4, 2019
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Bard Bloom, Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman
  • Patent number: 10049090
    Abstract: 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.
    Type: Grant
    Filed: July 29, 2013
    Date of Patent: August 14, 2018
    Assignee: International Business Machines Corporation
    Inventors: Steven Abrams, Bard Bloom, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth, Ian D. Simmonds, Steven Tang, John M. Vlissides
  • Patent number: 8706704
    Abstract: 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.
    Type: Grant
    Filed: July 11, 2007
    Date of Patent: April 22, 2014
    Assignee: International Business Machines Corporation
    Inventors: Steven R. Abrams, Bard Bloom, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth, Ian Simmonds, Steven Tang, Wendy D. Neuberger, Dru Ann Vlissides
  • Patent number: 8671284
    Abstract: 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.
    Type: Grant
    Filed: September 12, 2012
    Date of Patent: March 11, 2014
    Assignee: International Business Machines Corporation
    Inventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
  • Patent number: 8661264
    Abstract: 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.
    Type: Grant
    Filed: August 17, 2012
    Date of Patent: February 25, 2014
    Assignee: International Business Machines Corporation
    Inventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
  • Publication number: 20140052997
    Abstract: 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.
    Type: Application
    Filed: August 17, 2012
    Publication date: February 20, 2014
    Applicant: International Business Machines Corporation
    Inventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
  • Publication number: 20140052998
    Abstract: 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.
    Type: Application
    Filed: September 12, 2012
    Publication date: February 20, 2014
    Applicant: International Business Machines Corporation
    Inventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
  • Patent number: 8656267
    Abstract: 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.
    Type: Grant
    Filed: March 31, 2008
    Date of Patent: February 18, 2014
    Assignee: International Business Machines Corporation
    Inventor: Bard Bloom
  • Publication number: 20140040731
    Abstract: 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.
    Type: Application
    Filed: July 29, 2013
    Publication date: February 6, 2014
    Applicant: International Business Machines Corporation
    Inventors: Steven Abrams, Bard Bloom, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth, Ian D. Simmonds, Steven Tang, John M. Vlissides
  • Patent number: 8499238
    Abstract: 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.
    Type: Grant
    Filed: July 11, 2007
    Date of Patent: July 30, 2013
    Assignee: International Business Machines Corporation
    Inventors: Steven R. Abrams, Bard Bloom, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth, Ian Simmonds, Steven Tang, Dru Ann Vlissides
  • Patent number: 7895219
    Abstract: 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.
    Type: Grant
    Filed: May 23, 2005
    Date of Patent: February 22, 2011
    Assignee: International Business Machines Corporation
    Inventors: Steve Abrams, Bard Bloom, Matthew Kaplan, Paul Turquand Keyser, Douglas Neil Kimelman, Eric Marshall Nelson, Wendy D. Neuberger, Tova Roth, Ian Simmonds, Steven Shu Hsiang Tang, John Matthew Vissides, Clay E. Williams
  • Publication number: 20090313091
    Abstract: 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.
    Type: Application
    Filed: August 20, 2009
    Publication date: December 17, 2009
    Applicant: International Business Machines Corporation
    Inventors: Bard Bloom, Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman
  • Publication number: 20090313073
    Abstract: 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 application, 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.
    Type: Application
    Filed: August 21, 2009
    Publication date: December 17, 2009
    Applicant: International Business Machines Corporation
    Inventors: Bard Bloom, Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman
  • Publication number: 20090249181
    Abstract: 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.
    Type: Application
    Filed: March 31, 2008
    Publication date: October 1, 2009
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventor: Bard Bloom
  • Publication number: 20090018988
    Abstract: 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.
    Type: Application
    Filed: July 11, 2007
    Publication date: January 15, 2009
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Steven R. Abrams, Bard Bloom, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth, Ian Simmonds, Steven Tang, John M. Vlissides, Dru Ann Vlissides
  • Publication number: 20090019353
    Abstract: 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.
    Type: Application
    Filed: July 11, 2007
    Publication date: January 15, 2009
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Steven R. Abrams, Bard Bloom, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth, Ian Simmonds, Steven Tang, John M. Vlissides, Dru Ann Vlissides
  • Publication number: 20070079237
    Abstract: A computer system (and method) includes a determining device for determining an activity of a user, and a setting device for setting an operating manner of an operating device based on the determined activity.
    Type: Application
    Filed: October 5, 2005
    Publication date: April 5, 2007
    Applicant: International Business Machines Corporation
    Inventors: Steven Abrams, Bard Bloom, Paul Keyser, Douglas Kimelman, Eric Nelson, Wendy Neuberger, Ian Simmonds, Steven Tang, Peri Tarr, John Vlissides, Dru Vissides
  • Publication number: 20060265415
    Abstract: 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.
    Type: Application
    Filed: May 23, 2005
    Publication date: November 23, 2006
    Applicant: International Business Machines Corporation
    Inventors: Steve Abrams, Bard Bloom, Matthew Kaplan, Paul Keyser, Douglas Kimelman, Eric Nelson, Wendy Neuberger, Tova Roth, Ian Simmonds, Steven Hsiang Tang, John Vissides, Clay Williams
  • Patent number: 6769113
    Abstract: 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.
    Type: Grant
    Filed: December 15, 1999
    Date of Patent: July 27, 2004
    Assignee: International Business Machines Corporation
    Inventors: Bard Bloom, Darrell Reimer, Ian D. Simmonds, Mark N. Wegman
  • Patent number: 6732353
    Abstract: 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.
    Type: Grant
    Filed: December 15, 1999
    Date of Patent: May 4, 2004
    Assignee: International Business Machines Corporation
    Inventors: Bard Bloom, Darrell Reimer, Ian D. Simmonds, Mark N. Wegman