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

Arnaud Lanoix, Dieu-Donné Okalas Ossami & Jeanine SouquièRes
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...