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

abdallah:hal-00840393

R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194-209, March 2013.

Download [help]

Download Hal paper: Hal : Hyper Archive en ligne

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

Abstract

{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.}

Contact

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

BibTex Reference

@InProceedings{abdallah:hal-00840393,
   Author = {Abdallah, R. and Gotlieb, A. and Hélouet, L. and Jard, C.},
   Title = {{Scenario Realizability with Constraint Optimization}},
   BookTitle = {{Fundamental Approaches to Software Engineering}},
   Volume = {7793},
   Pages = {194--209},
   Series = {LNCS},
   Month = {March},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)