Correct composition in the presence of behavioural conflicts and dephasing
- Submitting institution
-
University of St Andrews
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 262070963
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2019.102323
- Title of journal
- Science of Computer Programming
- Article number
- 102323
- First page
- -
- Volume
- 185
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Compliant
- Month of publication
- October
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
A - Artificial Intelligence
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- To manage the complexity of systems it is common to model individual components and bring them together through composition. Emergent properties and unexpected behaviour can only be detected when obtaining the composition. In practice, existing solutions do not scale well. To avoid such problems, the paper proposes a solution that generates all possible traces of execution in the composed model with respect to a notion of priority, and can also be used to explicitly avoid undesired unforeseen scenarios. The correctness of the approach is proven by a novel combination of a theorem prover with a constraint solver.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
