Verification of complex workflows through internal assessment or community based assessment

US9009675B2 · kind B2 · utility

Assignees

• International Business Machines Corporation · US
• Philip Morris Products S.A. · CH

Inventors

• Stephanie M. Corthesy · Zürich, CH
• Pablo Meyer Rojas · Brooklyn, US
• Raquel Norel · New York, US
• John J. Rice · Potsdam, US
• Ajay K. Royyuru · Yorktown Heights, US
• Joerg Sprengel · Basel, CH
• Gustavo A. Stolovitzky · Yonkers, US
• Thomas Bonk
• Julia Hoeng · Yverdon-les-Bains, CH
• Manuel Claude Peitsch · Peseux, CH
• Katrin Stolle

Key dates

• Filing date: Mar 21, 2012
• Grant date: Apr 14, 2015
• Expiry date: Apr 15, 2033

Classification

• Technology area (CPC G): Physics
• CPC primary: G06Q10/0633
• WIPO field: IT methods for management
• WIPO sector: Electrical engineering

Abstract

A method of implementing verification of a complex workflow includes partitioning the workflow into modules, wherein the modules have inputs, processing steps and outputs; selecting, from the workflow, one of the partitioned modules for independent verification by challenge thereof; running, with a computing device, a challenge of the selected module, the challenge comprising comparing reference outputs to outputs of the selected module, wherein reference inputs are received by the selected module and the reference outputs are generated using the reference inputs and one of an ideal performing module or a well-established module; determining whether outputs of the selected module meet verification criteria with respect to the reference outputs, and based on the determining, implementing one of: declaring the selected module verified; subdividing the selected module into smaller modules and repeating the challenge on the smaller modules; or declaring the selected module not verified.