ATL Based Refinement of WS-CDL Choreography into BPEL Processes.

Khadidja Salah-Mansour Youcef Hammal

Published in: MISC (2018)

Keyphrases

business process management
colored petri nets
web services
service oriented architecture
service oriented
business processes
process model
petri net
business process
formal methods
multi agent systems
service composition
temporal logic
model checking
process algebra
description language
artificial intelligence