Formal specification and validation of ISO transport protocol components, using petri nets.
Wolfgang JürgensenSon T. VuongPublished in: Comput. Commun. Rev. (1984)
Keyphrases
- petri net
- formal specification
- process algebra
- concurrent systems
- software components
- model checking
- colored petri nets
- fuzzy petri net
- formal methods
- transport protocol
- reverse engineering
- web service composition
- service composition
- design methodologies
- artificial intelligence
- software systems
- building blocks
- software development
- case study