Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |


R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario realizability with constraint optimization. January 2013.

Download [help]

Download paper: Adobe portable document (pdf) 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


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


Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

   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)