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: 10310819Abstract: 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: GrantFiled: August 20, 2009Date of Patent: June 4, 2019Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Bard Bloom, Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman
-
Patent number: 10049090Abstract: 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: GrantFiled: July 29, 2013Date of Patent: August 14, 2018Assignee: International Business Machines CorporationInventors: 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: 8706704Abstract: 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: GrantFiled: July 11, 2007Date of Patent: April 22, 2014Assignee: International Business Machines CorporationInventors: 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: 8671284Abstract: 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: GrantFiled: September 12, 2012Date of Patent: March 11, 2014Assignee: International Business Machines CorporationInventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
-
Patent number: 8661264Abstract: 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: GrantFiled: August 17, 2012Date of Patent: February 25, 2014Assignee: International Business Machines CorporationInventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
-
Publication number: 20140052997Abstract: 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: ApplicationFiled: August 17, 2012Publication date: February 20, 2014Applicant: International Business Machines CorporationInventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
-
Publication number: 20140052998Abstract: 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: ApplicationFiled: September 12, 2012Publication date: February 20, 2014Applicant: International Business Machines CorporationInventors: Bard Bloom, John H. Field, Salvatore Guarnieri, Marco Pistoia
-
Patent number: 8656267Abstract: 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: GrantFiled: March 31, 2008Date of Patent: February 18, 2014Assignee: International Business Machines CorporationInventor: Bard Bloom
-
Publication number: 20140040731Abstract: 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: ApplicationFiled: July 29, 2013Publication date: February 6, 2014Applicant: International Business Machines CorporationInventors: 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: 8499238Abstract: 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: GrantFiled: July 11, 2007Date of Patent: July 30, 2013Assignee: International Business Machines CorporationInventors: 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: 7895219Abstract: 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: GrantFiled: May 23, 2005Date of Patent: February 22, 2011Assignee: International Business Machines CorporationInventors: 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: 20090313091Abstract: 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: ApplicationFiled: August 20, 2009Publication date: December 17, 2009Applicant: International Business Machines CorporationInventors: Bard Bloom, Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman
-
Publication number: 20090313073Abstract: 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: ApplicationFiled: August 21, 2009Publication date: December 17, 2009Applicant: International Business Machines CorporationInventors: Bard Bloom, Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman
-
Publication number: 20090249181Abstract: 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: ApplicationFiled: March 31, 2008Publication date: October 1, 2009Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventor: Bard Bloom
-
Publication number: 20090018988Abstract: 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: ApplicationFiled: July 11, 2007Publication date: January 15, 2009Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: 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: 20090019353Abstract: 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: ApplicationFiled: July 11, 2007Publication date: January 15, 2009Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: 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: 20070079237Abstract: 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: ApplicationFiled: October 5, 2005Publication date: April 5, 2007Applicant: International Business Machines CorporationInventors: Steven Abrams, Bard Bloom, Paul Keyser, Douglas Kimelman, Eric Nelson, Wendy Neuberger, Ian Simmonds, Steven Tang, Peri Tarr, John Vlissides, Dru Vissides
-
Publication number: 20060265415Abstract: 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: ApplicationFiled: May 23, 2005Publication date: November 23, 2006Applicant: International Business Machines CorporationInventors: 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: 6769113Abstract: 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: GrantFiled: December 15, 1999Date of Patent: July 27, 2004Assignee: International Business Machines CorporationInventors: Bard Bloom, Darrell Reimer, Ian D. Simmonds, Mark N. Wegman
-
Patent number: 6732353Abstract: 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: GrantFiled: December 15, 1999Date of Patent: May 4, 2004Assignee: International Business Machines CorporationInventors: Bard Bloom, Darrell Reimer, Ian D. Simmonds, Mark N. Wegman