Output details
11 - Computer Science and Informatics
Newcastle University
Patterns for Modelling Time and Consistency in Business Information Systems
<07> Results from a collaboration with SAP (co-author Roth is a Development Architect at SAP) on machine-assisted formal refinement in business information system engineering. Previous work had demonstrated support for assessment of alternative fault-tolerant middleware; this paper raised those techniques to verification of semantic consistency at the workflow level. The application to verification of message choreography was subsequently described by SAP as “very promising”, and was investigated further to evaluate potential for inclusion in developer toolkits (see Romanovsky & Thomas, “Industrial Deployment of System Engineering Methods”, 2013).