Scenario Realizability with Constraint Optimization - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Scenario Realizability with Constraint Optimization

Résumé

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.
Fichier principal
Vignette du fichier
Fase_final.pdf (332.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00840393 , version 1 (04-07-2013)

Identifiants

  • HAL Id : hal-00840393 , version 1

Citer

Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard. Scenario Realizability with Constraint Optimization. FASE 2013, Mar 2013, Rome, France. pp.194-209. ⟨hal-00840393⟩
330 Consultations
131 Téléchargements

Partager

Gmail Facebook X LinkedIn More