• DocumentCode
    2974508
  • Title

    Activity Diagram Inspection on Requirements Specification

  • Author

    de Mello, Rafael M. ; Pereira, Wallace Martinho ; Travassos, Guilherme Horta

  • Author_Institution
    Programa de Eng. de Sist. e Comput. (PESC), Univ. Fed. do Rio de Janeiro, Rio de Janeiro, Brazil
  • fYear
    2010
  • fDate
    Sept. 27 2010-Oct. 1 2010
  • Firstpage
    168
  • Lastpage
    177
  • Abstract
    The requirements specification of contemporary software applications usually is composed by diverse artifacts describing lots of activities, flows, dependencies among the flows, branches and business rules. For instance, web or scientific workflow (e-science) based applications require structural representations for the various activities and functionalities involved in their execution, usually described trough activity diagrams. The quality assurance of such specifications represents a challenge for software engineers. The results of a quasi-systematic review indicated there is a lack of software technologies to support the inspection of this type of requirements specification. Therefore, in this paper, besides the review results, an inspection technique (checklist) to review Activity Diagrams on the requirements specifications is introduced. A proof of concept on applying the checklist for the inspection of a real requirements specification concerned with a scientific workflow based application indicated some advantages on its defect detection capacity when compared with previously executed ad-hoc inspection by software engineers.
  • Keywords
    Internet; ad hoc networks; data structures; formal specification; formal verification; inspection; systems analysis; Web based application; activity diagram inspection; ad hoc inspection; business rule; contemporary software application; quality assurance; quasisystematic review; requirement specification; scientific workflow based application; software engineer; software technologies; structural representation; Adaptation model; Book reviews; Business; Computational modeling; Inspection; Software; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering (SBES), 2010 Brazilian Symposium on
  • Conference_Location
    Salvador, Bahia
  • Print_ISBN
    978-1-4244-8917-6
  • Electronic_ISBN
    978-0-7695-4273-7
  • Type

    conf

  • DOI
    10.1109/SBES.2010.29
  • Filename
    5629595