From UML Activity Diagrams to Specification Requirements
Loading...
Authors
Drusinsky, Doron
Subjects
Advisors
Date of Issue
2008
Date
Publisher
Language
Abstract
Formal verification of system-of-systems uses
computer-based techniques to assure that the behavior of
a subject system of systems complies with its formal
correctness specifications. Such formal specifications are
often created on the basis of natural-language (NL)
requirement specifications. While NL documents such as
marketing requirement documents and concept-ofoperation
(CONOPS) documents contain NL
requirements, they are almost never complete, i.e., they
omit necessary NL requirements. To that end, UML
analysis is an increasingly popular technique for
requirement elicitation. This paper describes the process
of identifying NL requirements of interest from UML
analysis diagrams such as activity diagrams) and
Message Sequence Diagrams.
Type
Article
Description
The research reported in this article was funded in part by a grant from NASA. The views and conclusions contained herein
are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either
expressed or implied, of the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for
Government purposes notwithstanding any copyright annotations thereon.
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.