-
公开(公告)号：US11665247B2
公开(公告)日：2023-05-30
申请号：US17715934
申请日：2022-04-07
Inventor： Richard Simon , Richard Berglund , Erik Donahue , Joseph W. Norton , Vladyslava Matviyenko , Jeremy Lee Rambo , John M. VanAntwerp , Dan Kalmes , Burton J. Floyd , Thad Garrett Craft , Marc Anderson , Nick U. Christopulos , Patrick Mead
IPC: G06F15/16 , H04L67/51 , G06F16/9535
CPC classification number: H04L67/51 , G06F16/9535
Abstract: A computer-implemented method for retrieving information from information services and providing it to a public application programming interface (API) includes receiving a first request data message using a core discovery agent, the request data message including at least one requested datum, for which a value is sought, and at least one known datum, for which a value is known; calling a resource locator to request a location of an information service that provides a value for the requested datum; calling a resource façade to contact the information service; transmitting a first information service message including the requested datum and known datum from the resource façade to the information service; receiving a second information service message from the information service including a value for the requested datum; and transmitting a resolved data message including the requested datum and its value from the core discovery agent to the public API.
-
公开(公告)号：US11257165B1
公开(公告)日：2022-02-22
申请号：US16702625
申请日：2019-12-04
Inventor： Joseph W. Norton , Venkata R. Kongara , Timothy J. Wheeler
Abstract: A new design strategy based upon finite state machine models is used to develop a policy administration system. The policy administration system comprises a plurality of finite state machined-based households, each of which is defined by a set of states represented by data that describe or relate to various policies associated with each household, a set of events represented by transactions that operate on the data, and/or a set of transition functions represented by transaction logics and/or product rules that govern how the transactions are processed. In this manner, each finite state machine-based household becomes a type of self-contained policy administration system that may be executed and managed concurrently. Each policy may be an insurance policy, such as an auto, home, life, renters, personal articles, or health insurance policy. Each finite state machine-based or virtual household may facilitate managing, updating, or generating insurance policies for the household and/or household members.
-
公开(公告)号：US10521337B1
公开(公告)日：2019-12-31
申请号：US15870410
申请日：2018-01-12
Inventor： Joseph W. Norton , James D. Titlow , Matthew W. Holloway , Amanda J. Tolonen , Venkata R. Kongara , Timothy J. Wheeler
Abstract: Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.
-
公开(公告)号：US11068386B1
公开(公告)日：2021-07-20
申请号：US16700749
申请日：2019-12-02
Inventor： Joseph W. Norton , James D. Titlow , Matthew W. Holloway , Amanda J. Tolonen , Venkata R. Kongara , Timothy J. Wheeler
Abstract: Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.
-
公开(公告)号：US20220303355A1
公开(公告)日：2022-09-22
申请号：US17715934
申请日：2022-04-07
Inventor： Richard Simon , Jeremy Lee Rambo , John M. VanAntwerp , Dan Kalmes , Burton J. Floyd , Thad Garrett Craft , Marc Anderson , Nick U. Christopulos , Patrick Mead , Richard Berglund , Erik Donahue , Joseph W. Norton , Vladyslava Matviyenko
IPC: H04L67/51 , G06F16/9535
Abstract: A computer-implemented method for retrieving information from information services and providing it to a public application programming interface (API) includes receiving a first request data message using a core discovery agent, the request data message including at least one requested datum, for which a value is sought, and at least one known datum, for which a value is known; calling a resource locator to request a location of an information service that provides a value for the requested datum; calling a resource façade to contact the information service; transmitting a first information service message including the requested datum and known datum from the resource façade to the information service; receiving a second information service message from the information service including a value for the requested datum; and transmitting a resolved data message including the requested datum and its value from the core discovery agent to the public API.
-
Patent Agency Ranking
公开(公告)号：US11144643B1
公开(公告)日：2021-10-12
申请号：US16830350
申请日：2020-03-26
Inventor： Joseph W. Norton , Michael Gregory Schwarz , Paul David Kimbrel , William Knight Harrod , Matthew Joshua Tijerina , Kevin Knipmeyer
Abstract: A code scanning system has a syntax generation component that receives source code and generates an abstract syntax tree file. The system includes a white list of permitted pure functions, and a black list of prohibited impure functions. In addition, the system includes a static code analyzer for performing static analysis of the source code. The static code analyzer includes a function analyzer that receives the AST file and identifies the functions. Each function is compared to the white list, and if it is present, marked as permitted in a static analysis file. If the function is not on the white list, it is compared to the black list. If it is present on the black list, it is marked as prohibited in the static analysis file. If the function is not on the white or black list, it is marked as “unknown” and subjected to manual analysis.
-
公开(公告)号：US10536536B1
公开(公告)日：2020-01-14
申请号：US15808575
申请日：2017-11-09
Inventor： Richard Simon , Jeremy Lee Rambo , John M. VanAntwerp , Dan Kalmes , Burton J. Floyd , Thad Garrett Craft , Marc Anderson , Nick U. Christopulos , Patrick Mead , Richard Berglund , Erik Donahue , Joseph W. Norton , Vladyslava Matviyenko
IPC: H04L29/08 , G06F16/9535
Abstract: A computer-implemented method for retrieving information from information services and providing it to a public application programming interface (API) includes receiving a first request data message using a core discovery agent, the request data message including at least one requested datum, for which a value is sought, and at least one known datum, for which a value is known; calling a resource locator to request a location of an information service that provides a value for the requested datum; calling a resource façade to contact the information service; transmitting a first information service message including the requested datum and known datum from the resource façade to the information service; receiving a second information service message from the information service including a value for the requested datum; and transmitting a resolved data message including the requested datum and its value from the core discovery agent to the public API.
-
公开(公告)号：US10979515B1
公开(公告)日：2021-04-13
申请号：US16703662
申请日：2019-12-04
Inventor： Richard Simon , Jeremy Lee Rambo , John M. VanAntwerp , Dan Kalmes , Burton J. Floyd , Thad Garrett Craft , Marc Anderson , Nick U. Christopulos , Patrick Mead , Richard Berglund , Erik Donahue , Joseph W. Norton , Vladyslava Matviyenko
IPC: H04L29/08 , G06F16/9535
Abstract: A computer-implemented method for retrieving information from information services and providing it to a public application programming interface (API) includes receiving a first request data message using a core discovery agent, the request data message including at least one requested datum, for which a value is sought, and at least one known datum, for which a value is known; calling a resource locator to request a location of an information service that provides a value for the requested datum; calling a resource façade to contact the information service; transmitting a first information service message including the requested datum and known datum from the resource façade to the information service; receiving a second information service message from the information service including a value for the requested datum; and transmitting a resolved data message including the requested datum and its value from the core discovery agent to the public API.
-
公开(公告)号：US10535102B1
公开(公告)日：2020-01-14
申请号：US14711988
申请日：2015-05-14
Inventor： Joseph W. Norton , Venkata R. Kongara , Timothy J. Wheeler
Abstract: A new design strategy based upon finite state machine models is used to develop a policy administration system. The policy administration system comprises a plurality of finite state machined-based households, each of which is defined by a set of states represented by data that describe or relate to various policies associated with each household, a set of events represented by transactions that operate on the data, and/or a set of transition functions represented by transaction logics and/or product rules that govern how the transactions are processed. In this manner, each finite state machine-based household becomes a type of self-contained policy administration system that may be executed and managed concurrently. Each policy may be an insurance policy, such as an auto, home, life, renters, personal articles, or health insurance policy. Each finite state machine-based or virtual household may facilitate managing, updating, or generating insurance policies for the household and/or household members.
-
公开(公告)号：US09916234B1
公开(公告)日：2018-03-13
申请号：US14884930
申请日：2015-10-16
Inventor： Joseph W. Norton , James D. Titlow , Matthew W. Holloway , Amanda J. Tolonen , Venkata R. Kongara , Timothy J. Wheeler
CPC classification number: G06F11/3692 , G06F11/3672 , G06F11/3684 , G06F11/3688 , G06Q40/08
Abstract: Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.02 seconds)
