%0 Conference Proceedings
%F abdallah:hal-00840393
%A Abdallah, R.
%A Gotlieb, A.
%A Hélouet, L.
%A Jard, C.
%T {Scenario Realizability with Constraint Optimization}
%B {Fundamental Approaches to Software Engineering}
%V 7793
%P 194-209
%S LNCS
%X {This work considers implementation of requirements expressed as High-level Message Sequence Charts (HMSCs). All HMSCs are not implementable, but a particular subclass called local HMSCs can be implemented using a simple projection operation. This paper proposes a new technique to transform an arbitrary HMSC specification into a local HMSC, hence allowing implementation. We show that this transformation can be automated as a constraint optimization problem. The impact of modifications brought to the original specification can be minimized w.r.t. a cost function. The approach was evaluated on a large number of randomly generated HMSCs. The results show an average runtime of a few seconds, which demonstrates applicability of the technique.}
%U http://hal.archives-ouvertes.fr/hal-00840393/PDF/Fase_final.pdf
%8 March
%D 2013