HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

An Operator-based Approach to Incremental Development of Conform Protocol State Machines

Arnaud Lanoix 1 Dieu Donné Okalas Ossami 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM construction by sequentially applying some development operators: each operator makes evolve the current PSM to another one. To ensure a conform construction, we introduce three conformance relations, inspired by the specification refinement and specification matchings supported by formal methods. Conformance relations preserve some global behavioral properties. Our purpose is illustrated by some development steps of the card service interface of an electronic purse: for each step, we introduce the idea of the development, we propose an operator and we give the new specification state obtained by the application of this operator and the property of this state relatively to the previous one in terms of conformance relation.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

Contributor : Arnaud Lanoix Connect in order to contact the contributor
Submitted on : Monday, April 24, 2006 - 5:06:36 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Monday, September 17, 2012 - 1:45:56 PM


  • HAL Id : inria-00001263, version 1



Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières. An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Trustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14. ⟨inria-00001263⟩



Record views


Files downloads