From Orchestration to Choreography through Contract Automata.
Davide BasilePierpaolo DeganoGian Luigi FerrariEmilio TuostoPublished in: ICE (2014)
Keyphrases
- service oriented architecture
- web services
- cellular automata
- service oriented
- tree automata
- supply chain
- regular expressions
- finite automata
- probabilistic automata
- finite state machines
- revenue sharing
- business process
- service composition
- finite state
- lattice gas
- service oriented computing
- technology enhanced learning
- real world
- formal language theory
- finite state automaton
- venture capital
- genetic algorithm
- timed automata
- turing machine
- service level agreements
- artificial intelligence
- website
- neural network
- service discovery
- lightweight