A K-BPEL Semantics.

Khadhir Bekki Hafida Belbachir Wafaa Kasri

Published in: IPAC (2015)

Keyphrases

web services
service oriented
business processes
formal methods
service composition
business process
formal semantics
web services composition
petri net
conceptual model
business process management
database systems
object oriented
business process modeling
colored petri nets