Merging partial system behaviours: composition of use-case automata.

Rabeb Mizouni Aziz Salah Siamak Kolahi Rachida Dssouli

Published in: IET Softw. (2007)

Keyphrases

cellular automata
tree automata
human behaviour
database
database systems
finite state machines
finite automata
merging algorithm
knowledge base