An approach for Modeling real-time aspects using UML scenarios

In this paper, we suggest a requirement engineering process that is fully compliant with the standard Unified Modeling Language (UML). It offers a framework with algorithmic support for modeling real-time aspects using UML scenarios. In the step of requirements, scenarios are acquired in form of collaboration diagrams as defined by the UML, and are enriched with real-time information. From each scenario, we derive automatically Statechart specifications of all the objects involved. Scenarios specifications corresponding to the same object are then merged to obtain a global specification which can be used as input for the verification activity.