From BPEL to SRML: A Formal Transformational Approach.
Laura BocchiYi HongAntónia LopesJosé Luiz FiadeiroPublished in: WS-FM (2007)
Keyphrases
- formal methods
- web services
- service oriented
- knowledge based systems
- business processes
- service composition
- business process
- model checking
- web services composition
- formal model
- formal specification
- petri net
- formal analysis
- business process management
- description language
- artificial intelligence
- business process modeling
- colored petri nets
- real time
- web service composition
- website
- information retrieval
- real world