Integrating UML With Service Refinement for Requirements Modeling and Analysis

Volume: 7, Pages: 11599 - 11612
Published: Jan 11, 2019
Abstract
The Unified Modeling Language (UML) is the de facto standard for requirements modeling and analysis in the software industry. However, it lacks the ability of formal analysis and verification. In this paper, we propose a synthetic approach UML-SR that integrates UML with service refinement (SR) to support the formal requirements modeling and analysis as well as formal verification. The UML-SR requirements model contains a use case diagram, the...
Paper Details
Title
Integrating UML With Service Refinement for Requirements Modeling and Analysis
Published Date
Jan 11, 2019
Volume
7
Pages
11599 - 11612
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.