A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods
2016
2016 23rd Asia-Pacific Software Engineering Conference (APSEC)
In complex system design, it is important to construct several design models focusing on different aspects of a system to gain a better understanding of individual component structure and behaviour. Scenarios of execution are commonly used to specify partial behaviour and interactions between a group of system objects or components. However, partial specifications may hide inconsistencies or an otherwise unintentionally incomplete or underspecified behavioural model. This paper proposes a new
doi:10.1109/apsec.2016.051
dblp:conf/apsec/BowlesC16
fatcat:owti7znvsngatbvhrmiecmqe4q