Incremental Modeling Methodology of Railway System Specifications

Specification of complex systems is a set of large documents written in natural language. Due to their complexity, they are often hard to understand and even harder to maintain. We designed the domain specific language ScOLa (Scenario Oriented Language) to model the architecture and behavior of systems using a set of formalized concepts in order to support the dialog between experts. In this article, we present a reverse engineering methodology to formalize complex system specifications using scenarios. It starts from an informal description of the system and results in a hierarchical view of the system description. This article aims both at introducing ScOLa and at presenting its application on the railway systems.