-
Selection by year
-
Selection by authors
-
Complete lists
abdallah13
R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario realizability with constraint optimization. January 2013.
Download [help]
Download paper:
Adobe portable document (pdf) 
Copyright notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
Abstract
This work considers implementation of requirements expressed as High-level Message Sequence Charts (HMSCs). All HMSCs are not implementable, and the question of whether an HMSC speci cation can be implemented by communicating machines is undecidable in general. However, several subclasses such as local HMSCs can be implemented using a simple projection operation. This paper proposes a new technique to transform an arbitrary HMSC speci cation into a local HMSC, hence allowing implementation.We show that this transformation can be automated as a constraint optimization problem. The impact of modi cations brought to the original speci cation can be minimized w.r.t. a cost function. The approach was evaluated on a large number of randomly generated HMSCs. The results of this experimentation are presented and analyzed. In particular, the evaluation shows an average runtime of a few seconds, which demonstrates applicability of the technique
Contact
Loic Hélouet http://people.irisa.fr/Loic.Helouet/
BibTex Reference
@TechReport{abdallah13,
Author = {Abdallah, R. and Gotlieb, A. and Hélouet, L. and Jard, C.},
Title = {Scenario realizability with constraint optimization},
Month = {January},
Year = {2013}
}
EndNote Reference [help]
Get EndNote Reference (.ref)