Title :
The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements
Author :
Dubois, Hubert ; Lakhal, Fadoi ; Gerard, Sebastien
Author_Institution :
CEA LIST, Gif-sur-Yvette, France
Abstract :
Crediting requirements in a modeling process is a complex activity. Combining modeling and requirement processes is essential since the correctness of the resulting system is determined with respect to the initial requirements. Based on a dedicated metamodel for managing requirements throughout the modeling process, we have now adapted a UML2 modeling tool for use with such requirement models. This tool has been evaluated by implementing it in an industrial case study.
Keywords :
Unified Modeling Language; formal specification; Eclipse UML2-modeling environment; Papyrus tool; metamodel; modeling process; requirement process; system correctness; Combustion; Embedded system; Knowledge management; Proposals; Real time systems; Systems engineering and theory; Temperature; Unified modeling language;
Conference_Titel :
Managing Requirements Knowledge (MARK), 2009 Second International Workshop on
Conference_Location :
Atlanta, GA
Print_ISBN :
978-1-4244-7694-7
DOI :
10.1109/MARK.2009.11
