Modelling Timed Concurrent Systems Using Activity Diagram Patterns.
Étienne AndréChristine ChoppyThierry NoulamoPublished in: KSE (2014)
Keyphrases
- concurrent systems
- petri net
- activity patterns
- distributed systems
- transition systems
- process algebra
- model checking
- temporal logic
- formal specification
- pattern discovery
- pattern mining
- similar patterns
- neural network
- sequential patterns
- data mining techniques
- data model
- design patterns
- fine grained
- markov chain
- data mining