From UML Activity Diagrams to Specification Requirements

dc.contributor.authorDrusinsky, Doron
dc.contributor.departmentComputer Science (CS)
dc.date.accessioned2014-03-25T16:47:06Z
dc.date.available2014-03-25T16:47:06Z
dc.date.issued2008
dc.descriptionThe 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.en_US
dc.description.abstractFormal 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.en_US
dc.identifier.urihttps://hdl.handle.net/10945/39586
dc.rightsThis 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.en_US
dc.titleFrom UML Activity Diagrams to Specification Requirementsen_US
dc.typeArticleen_US
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
R-Conf26.pdf
Size:
219.93 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
2.35 KB
Format:
Item-specific license agreed upon to submission
Description:
Collections