DocumentCode
2261303
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
fYear
2009
fDate
1-1 Sept. 2009
Firstpage
85
Lastpage
88
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Managing Requirements Knowledge (MARK), 2009 Second International Workshop on
Conference_Location
Atlanta, GA
Print_ISBN
978-1-4244-7694-7
Type
conf
DOI
10.1109/MARK.2009.11
Filename
5457341
Link To Document