Abstract: Techniques to leveraging distributed ledgers for integrating heterogeneous database systems independent of underlying legacy systems are described herein. Heterogeneous database systems may be integrated to generate a desired analytics report. In one embodiment, DApps (i.e., smart contracts) and database drivers may be deployed to implement just-in-time data mapping in smart contracts to save substantial time in integrating these heterogeneous database systems. With the smart contract approach, the database drivers may be configured to port only the key data that are needed to be processed based upon, for example, on business considerations. As a result, only data fields that are needed may be mapped and converted into smart contracts. Because the data needed may be dynamically mapped to the inputs specified for the smart contract, which in turn handles posting to the distributed ledgers, changes to the inputs are isolated to the smart contract, rather than forcing a schema redesign.

Abstract: Techniques to using distributed ledgers to confirm service levels in a network routing are disclosed. Communications networks are virtualized thereby enabling software-defined networking (SDN). An SDN scheduler or allocator makes use of routing techniques where the state of the network is persisted in a form of storage that all nodes are in consensus is accurate. In one example, the SDN scheduler may generate a temporal audit trail of service level agreements (SLAs) over a network path that includes different intermediate autonomous systems from a transmitting node to a destination node. The SDN scheduler may further perform temporal enhancements of the contract, and then combine the temporal enhancements with the temporal audit trail to confirm the actual service level against the service level as prescribed in the contract.

Abstract: Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.

Abstract: Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.

Abstract: Techniques to leveraging distributed ledgers for integrating heterogeneous database systems independent of underlying legacy systems are described herein. Heterogeneous database systems may be integrated to generate a desired analytics report. In one embodiment, DApps (i.e., smart contracts) and database drivers may be deployed to implement just-in-time data mapping in smart contracts to save substantial time in integrating these heterogeneous database systems. With the smart contract approach, the database drivers may be configured to port only the key data that are needed to be processed based upon, for example, on business considerations. As a result, only data fields that are needed may be mapped and converted into smart contracts. Because the data needed may be dynamically mapped to the inputs specified for the smart contract, which in turn handles posting to the distributed ledgers, changes to the inputs are isolated to the smart contract, rather than forcing a schema redesign.

Abstract: Techniques to using distributed ledgers to confirm service levels in a network routing are disclosed. Communications networks are virtualized thereby enabling software-defined networking (SDN). An SDN scheduler or allocator makes use of routing techniques where the state of the network is persisted in a form of storage that all nodes are in consensus is accurate. In one example, the SDN scheduler may generate a temporal audit trail of service level agreements (SLAs) over a network path that includes different intermediate autonomous systems from a transmitting node to a destination node. The SDN scheduler may further perform temporal enhancements of the contract, and then combine the temporal enhancements with the temporal audit trail to confirm the actual service level against the service level as prescribed in the contract.

Abstract: Techniques to apply consensus-based network routing using distributed ledgers are disclosed. Communications networks are virtualized thereby enabling software defined networking (SDN). A SDN scheduler or allocator makes use of routing techniques where the state of the network is persisted in a form of storage that all nodes are in consensus is accurate. Since the SDN scheduler or allocator may rely on knowledge of the network state, it need not rely on optimistic routing techniques and thereby realize routing efficiencies. In some cases, the state of the network is comprised of MPLS histories where each MPLS history as a trace of network activity that is implemented as a well-marked and well-decorated tree. Persistence may be via a distributed ledger, software transactional memory or a relational database management system.

Abstract: Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.