Business Process Logic (BPL)
Abstract
The Business Process Logic (BPL) program, addressing issues identified in the Resilient Supply-and-Demand Networks program (budgeted in PE 0602702E, Project TT-13), will develop techniques to characterize and resolve vulnerabilities in business logic systems to protect and assure defense-critical workflows for government and business. Automated workflows written in business logic (BL) control much of the world's enterprises, from administration and operation of seaports to the assembly of weapons systems. Losses due to BL faults and vulnerabilities can range from annoyances to business-threatening outcomes, and so it is important to identify and correct potentially problematic logic issues such as one-way actions or lost resources as early as possible. The BPL program will develop tools to extract workflow representations from BL and use those representations to automatically identify, characterize, and mitigate faults and vulnerabilities in BL scripts and templates. The technologies developed by BPL will enable increased assurance for manufacturing and assembly and greater efficiency for logistics and supply chain management.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- 4e4260259f61188ba528c8628f7f9f79