Opening book details…
Can I read Verifying scenarios with time Petri-nets on EtoBox?
Verifying scenarios with time Petri-nets by Jonathan Lee; Jiann-I Pan; Jong-Yih Kuo is a Computer Science article available to read on EtoBox.
What is Verifying scenarios with time Petri-nets about?
Recently, a substantial amount of research activities has been focused on a user-oriented perspective to the development of software systems. One of the key elements in this perspective is the notion of scenarios: a description of what people do and experience as they try to make usage of computer systems and applications. A variety of applications of scenarios has been proposed, for example, to elicit user requirements, or to validate requirements speci®cations. As scenarios are useful for the lifecycle of requirements engineering, it is important to enable veri®cation of these scenarios, especially, to detect any wrong information and missing information that are hidden in scenarios. However, scenarios are usually stated in an informal way, which impedes the easiness for veri®cation. The focus of this paper is on the use of time Petri-nets (TPNs) to serve as the veri®cation mechanism for the acquired scenarios. Use cases are used to elicit the user needs and to derive the scenarios. Each of the use cases is described from a user's perspective and depicts a speci®c ̄ow of events in the system. After specifying all possible scenarios, each of them can be transformed into its corre
Who reads Verifying scenarios with time Petri-nets?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jonathan Lee; Jiann-I Pan; Jong-Yih Kuo
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0950-5849)
- Published
- 2001
- Language
- EN
- Field
- Computer Science (Physical Sciences)