Discovering Timing Feature Interactions with Timed UML 2 Interactions.

Harald Störrle Alexander Knapp

Published in: MoDeVVa@MoDELS (2016)

Keyphrases

feature interactions
petri net
database design
metamodel
modeling language
conceptual modeling
object oriented
artificial intelligence
software engineering
unified modeling language
discrete event
finite state machines
object oriented modeling
class diagrams
state machine
formal methods
database
data sets