Verifying scenarios with time Petri-nets

Analysis of Natural Language Scenarios

“…183 Table 35 -Analysis of Correctness using the C&L -Lua. 184 Table 36 -Characteristics of the Admission System Case Study 186 Table 52 -Quality Indicators of ARM (Wilson et al, 1997) 224 Table 53 -Expressiveness Quality Model of QuARS (Gnesi et al, 2005) 224 Table 54 -Ambiguity Indicators of SRRE (Tjong, 2008) 225 Table 55 -Requirements language criteria (IEEE, 2011;Femmer et al, 2014) 225 Table 56 -Potentially problematic constructs (from Berry et al, 2012) 225 Table 57 -Quality User Story Framework (Lucassen et al, 2015) 226 Table 58 -Taxonomy of defects in use case models (Anda and Sjoberg, 2002) 226 Table 59 -Scenario Checklist (Leite et al, 2000;Leite et al, 2005) 227 (Sinha et al, 2010) 230 Table 63 -Common use case defects (Liu et al, 2014) 230 Table 64 -Consistency and Completeness in CMPN (Lee et al,1998) 230 Table 65 -Faults Detected by Time Petri-Nets (Lee et al, 2001) 231 Table 66 -Use Case Defect Classification (Denger et al, 2005) 231 Table 67 -Properties of UC-LTSs (Sinnig et al, 2009) 231 Table 68 -Properties of Timed and Controlled Petri-Nets (Zhao and Duan, 2009) 231 Table 69 -Properties of Reactive Petri-Nets (Somé, 2010) 231…”

“…Several research studies have shown the importance to formalize scenarios through restricted-form of use case descriptions (Somé, 2010), Message Sequence Charts -MSC (Andersson, and Bergstrand, 1995;Damas et al, 2006), Live Sequence Charts -LSC (Damm and Harel, 2001) or BNF-like gramar (Hsia et al, 1994); other researchers have used concepts from Petri-Nets (Lee et al, 1998;Lee et al, 2001;Cheung et al, 2006;Zhao and Duan, 2009;Somé, 2010), Statecharts (Glinz, 2000;Denger et al, 2005), Labeled Transition Systems -LTS (Sinnig et al, 2007) or Communicating Sequential Processes -CSP (Cabral and Sampaio, 2006). These literature circles argue for the need for a precise representation for scenarios in order to be useful in automated analysis, model derivation or test generation.…”

“…checklists mainly evaluate the conformance to previous syntax defined. Lee et al (2001), and Zhao and Duan (2009) do not consider the relationships among scenarios for analysis. Only Lee et al (1998) take into account non-explicit relationships among scenarios for analysis.…”

“…Check Non-determinism: A nondeterministic behavior occurs when a set of operations are simultaneously enabled. If the reachability graph reveals non-deterministic execution paths, a warning is reported to indicate wrong information (Lee et al, 1998;Lee et al, 2001 …”

“…Therefore, it is highly desirable to produce a Software Requirements Specification with a good quality, i.e., a SRS that is more correct, consistent, complete, unambiguous, understandable and traceable (IEEE, 1998, Lee et al, 1998Glinz, 2000;Lee et al, 2001;Cheung et al, 2006;Somé, 2010;Zhao and Duan, 2009).…”