Login / Signup
WSCDL to WSBPEL: a Case Study of ATL-based Transformation.
Ravi Khadka
Brahmananda Sapkota
Luís Ferreira Pires
Marten van Sinderen
Slinger Jansen
Published in:
MtATL@TOOLS (2011)
Keyphrases
</>
multi agent systems
case study
model checking
temporal logic
linear transformation
databases
genetic algorithm
image processing
clustering algorithm
test bed
alternating time temporal logic