Login / Signup

Behavior Alignment and Control Flow Verification of Process and Service Choreographies.

Jorge RoaPablo David VillarrealOmar Chiotti
Published in: J. Univers. Comput. Sci. (2012)
Keyphrases
  • control flow
  • data flow
  • process model
  • machine learning
  • software testing
  • databases
  • web services
  • software engineering
  • open source
  • life cycle
  • development process