Now showing items 1-2 of 2
A logical approach for behavioural composition of scenario-based models
(Springer, 2015) - Conference item,
As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s ...
Weaving true-concurrent aspects using constraint solvers
(IEEE Computer Society, 2017-02-03) - Conference item,
Large system models usually consist of several simpler models that can be understood more easily. Making changes to the behaviour of a component will likely affect several models and could introduce accidental errors. ...