Derivation of Petri Net Performance Models from UML Specifications of Communications Software.
Peter J. B. KingRob PooleyPublished in: Computer Performance Evaluation / TOOLS (2000)
Keyphrases
- petri net
- embedded real time systems
- reactive systems
- stochastic petri net
- software development
- conceptual models
- software systems
- formal methods
- metamodel
- embedded systems
- software engineering
- commercial software
- software architecture
- specification language
- manufacturing systems
- web service composition
- sequence diagrams
- component based development
- petri net model
- modeling language
- discrete event systems
- process model
- e learning
- ims ld
- requirements specification
- uml models
- fuzzy petri net
- object oriented