Dépôt DSpace/Manakin
Real-time system specifications based on uml scenarios and timed petri nets
- Accueil de DSpace
- →
- Publications scientifiques
- →
- Publications scientifiques
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Mohammed, Elkoutbi | |
| dc.contributor.author | Mohamed, Bennani | |
| dc.contributor.author | Rudolf, K Keller | |
| dc.contributor.author | M, Boulmalf | |
| dc.date.accessioned | 2019-05-29T08:57:41Z | |
| dc.date.available | 2019-05-29T08:57:41Z | |
| dc.date.issued | 2002-11 | |
| dc.identifier.uri | http://e-biblio.univ-mosta.dz/handle/123456789/10329 | |
| dc.description.abstract | In this paper, we suggest a requirement engineering process for real-time systems that yields a formal specification of the system using timed Petri nets. Scenarios are acquired in form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with time constraints information. These diagrams are transformed into partial timed Petri net specifications and then merged to obtain a global timed Petri net specification capturing the behavior of the entire system. | en_US |
| dc.publisher | the 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'02),(Morocco) | en_US |
| dc.title | Real-time system specifications based on uml scenarios and timed petri nets | en_US |
| dc.type | Article | en_US |
