SDL Ontology for Specifying Systems Based on Finite State Machines.

Marina Bagic Babac Marijan Kunstic

Published in: PAAMS (Special Sessions and Workshops) (2010)

Keyphrases

neural network
finite state machines
domain knowledge
digital circuits
complex systems
regular expressions
semantic web
specific domains
model checking
semantic information
distributed systems
domain specific
expert systems
high level
information systems
computer systems
intelligent systems
semantic annotation