A petri-net-based synthesis methodology for use-case-driven system design

Analysis of Natural Language Scenarios

“…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.…”

“…Usually, these approaches describe requirements as scenario representations. Some research focused on developing formal syntax and semantics for scenario representations, like Hsia et al (1994) and Cheung et al (2006); others are focusing on developing techniques to transform scenarios into executable representations. Therefore, these researches demonstrate that informal or semi-formal requirements cannot be used for further automated analysis.…”

“…If the executable model is not reversible, the automatic error recovery is not possible (Cheung et al, 2006).…”

“…Languages (Hsia et al, 1994;Cheung et al, 2006), OR (2) Writing Scenarios following concrete syntax rules (Leite et al, 2000;Anda and Sjoberg, 2002;Denger et al, 2005;Phalp et al, 2007;Sinha et al, 2010), OR (3) Analyzing scenarios using NLP techniques.…”

“…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).…”