Title :
Case study: Modeling a crisis management system using the AMoDE-RT approach and DERAF
Author :
Wehrmeister, Marco Aurelio
Author_Institution :
Fed. Univ. of Technol.-Parana (UTFPR), Curitiba, Brazil
Abstract :
This paper describes the modeling phase of the Aspect-oriented Model-Driven Engineering for Real-Time systems (AMoDE-RT) design approach for embedded real-time system. A Crisis Management System (bCMS) has been modeled with the Unified Modeling Language (UML) and AMoDE-RT modeling guidelines, including the non-functional requirements specification using aspect-oriented concepts by means of using Distributed Embedded Real-time Aspects Framework (DERAF), Aspects Crosscutting Overview Diagram (ACOD), and join Point Designation Diagram (JPDD). bCMS static structure is depicted using the class diagram, and its overall behavior is shown using the UML state machine diagram. The individual runtime scenarios are specified using sequence diagrams. This case study demonstrates how AMoDE-RT might be used outside the context of the embedded systems domain, since the bCMS covers an information system and more resourceful computing systems.
Keywords :
Unified Modeling Language; aspect-oriented programming; embedded systems; emergency management; finite state machines; formal specification; ACOD; AMoDE-RT design approach; AMoDE-RT modeling guidelines; DERAF; JPDD; UML state machine diagram; Unified Modeling Language; aspect crosscutting overview diagram; aspect-oriented model-driven engineering-for-real-time systems; bCMS static structure; class diagram; computing systems; crisis management system modeling; distributed embedded real-time aspect framework; information system; join point designation diagram; nonfunctional requirements specification; runtime scenarios; sequence diagrams; Analytical models; Computational modeling; Crisis management; Planning; Real-time systems; Unified modeling language; Vehicles;
Conference_Titel :
Comparing Requirements Modeling Approaches Workshop (CMA@RE), 2013 International
Conference_Location :
Rio de Janeiro
DOI :
10.1109/CMA-RE.2013.6664177