Formalising Message Exchange Patterns using BPEL Light.
Tammo van LessenJörg NitzscheFrank LeymannPublished in: IEEE SCC (1) (2008)
Keyphrases
- web services
- service oriented
- message exchange
- business process
- formal methods
- business processes
- service composition
- neural network
- similar patterns
- description language
- pattern analysis
- social networks
- pattern mining
- sequential patterns
- petri net
- orders of magnitude
- knowledge based systems
- web services composition
- database