Verifying SysML activity diagrams using formal transformation to Petri nets.
Edward HuangLeon F. McGinnisSteven W. MitchellPublished in: Syst. Eng. (2020)
Keyphrases
- petri net
- sequence diagrams
- activity diagrams
- formal methods
- conceptual database design
- operational semantics
- model checking
- petri net model
- requirements specification
- manufacturing systems
- class diagrams
- discrete event systems
- colored petri nets
- requirements engineering
- formal specification
- service composition
- process model
- knowledge based systems
- artificial intelligence
- class diagram
- fuzzy petri net
- temporal logic
- software engineering
- object oriented