Login / Signup
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.
Marcel van Amstel
Mark G. J. van den Brand
Zvezdan Protic
Tom Verhoeff
Published in:
ICMT@TOOLS (2008)
Keyphrases
</>
state machines
state machine
semantic gap
process algebra
formal methods
low level
low level features
metamodel
sequence diagrams
high level
formal specification
semantic information
video retrieval
neural network
visual content
model checking
visual features
expert systems
concurrent systems
metadata