A specification method combining statecharts, activity-charts, and SART concepts in FMS study

The FMS control specification study actually constitutes a problem under discussion. In fact, this development phase remains without explicit solution. Such a situation may probably be attributed to the difficulty one encounters in choosing the adequate behavioural model, augmented by the complexity induced by the size of those systems and the flexibility requirements. In this paper, the authors propose an approach based on statecharts and activity-charts languages. In addition the authors introduce a means to obtain a data handling representation. Then the authors explain how elements issued of the functional and the informational views are joined together to generate progressively a structured specification.<>