Loading...
Send to Friend
 Bookmark
 Review List
  1. Mapping state diagram to petri net : An approach to use markov theory for analyzing non-functional parameters
Mapping state diagram to petri net : An approach to use markov theory for analyzing non-functional parameters
618 viewed

Mapping state diagram to petri net : An approach to use markov theory for analyzing non-functional parameters

Motameni, H

Mapping state diagram to petri net : An approach to use markov theory for analyzing non-functional parameters

Motameni, H ; Sharif University of Technology | 2007

618 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-1-4020-6264-3_33
  3. Publisher: 2007
  4. Abstract:
  5. The quality of an architectural design of a software system has a great influence on achieving nonfunctional requirements to the system. Unified Modeling Language (UML), which is the industry standard as a common object oriented modeling language needs a well-defined semantic base for its notation. Integrating formal methods Petri nets (PNs) with object oriented design concepts UML is useful to benefit from the strengths of both approaches. Formalization of the graphical notation enables automated processing and analysis tasks. In this paper we use a method to converting State Diagram to Generalized Stochastic Petri Net (GSPN) and then we derive the embedded Continues Time Markov Chain from the GSPN and finally we use Markov Chain theory to obtain performance parameters. © 2007 Springer
  6. Keywords:
  7. Continues time markov chain (CTMC) ; Generalized Stochastic Petri nets ; Non-functional ; Non-functional requirements ; Object oriented design ; Object-oriented modeling languages ; Performance parameters ; State diagram ; Architectural design ; Markov processes ; Petri nets ; Semantics ; Software engineering ; Unified Modeling Language
  8. Source: 2006 International Conference on Systems, Computing Sciences and Software Engineering, SCSS 2006, Part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2006, 4 December 2006 through 14 December 2006 ; 2007 , Pages 185-190 ; 9781402062636 (ISBN)
  9. URL: https://link.springer.com/chapter/10.1007%2F978-1-4020-6264-3_33