A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques

An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol entities from Message Sequence Charts. By converting the Message Sequence Charts into input/output sequences, the problem reduces to evolving finite-state machines with the specified input/output behaviors. The proposed approach does not overgeneralize the entity behavior producing, by construction, minimal, deterministic and completely specified finite-state machines.

• Type: Conference
• Year: 2004
• Where: EVOW
• Authors: Sérgio G. Araújo, Antônio C. Mesquita, Aloysio Pedroza
• Keywords: Artificial Intelligence, EVOW 2004, Finite-state Machines, Finite-state Models, Message Sequence Charts