Login / Signup
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Frank Alexander Kraemer
Peter Herrmann
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2007)
Keyphrases
</>
state machines
state machine
petri net
recurrent networks
service composition
formal specification
collaborative learning
neural network
web services
knowledge based systems
service oriented
control flow
sequence diagrams
reactive systems
high level