Tool Support for BPEL Verification in ActiveBPEL Engine.
Yi QianYuming XuZheng WangGeguang PuHuibiao ZhuChao CaiPublished in: ASWEC (2007)
Keyphrases
- tool support
- formal methods
- colored petri nets
- web services
- software engineering
- software development
- service oriented
- petri net
- software tools
- business process
- model checking
- business processes
- service composition
- design decisions
- software projects
- formal specification
- web services composition
- artificial intelligence
- process model
- requirements engineering
- test suite
- business process modeling
- data sets
- service oriented architecture
- description language
- user interface
- information systems