Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Output title
Patterns for Modelling Time and Consistency in Business Information Systems
Type
E - Conference contribution
Name of conference/published proceedings
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
Volume number
-
Issue number
-
First page of article
105
ISSN of proceedings
-
Year of publication
2010
Number of additional authors
3
Additional information
<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).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
