Abstract
UML 2.0 is a multi-paradigm language which copes well with modeling of reactive and real-time systems by offering many visual and flexible notations for description of their various aspects including their time constraints. However, their development remains a complex task and error-prone even if object-oriented concepts are used. Consequently, one is interested in validation techniques which allow analyzing the behaviors of a design already in early phases. Nevertheless, the consistency and compatibility checking of designed artifacts for a reactive system is a difficult task; because of both the imprecise dynamic semantics of UML diagrams and the expressiveness gap between them. In this setting, this article proposes a methodology for semantics and time consistency checking between behavioral models and scenario-based specifications depicted, respectively, by state and sequence diagrams.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
