Formal specification and validation of refinement from WS-CDL to BPEL.
Khadidja Salah-MansourYoucef HammalLynda MokdadPublished in: ISCC (2019)
Keyphrases
- process algebra
- formal specification
- formal methods
- web services composition
- model checking
- web services
- specification languages
- specification language
- concurrent systems
- data abstraction
- service composition
- reverse engineering
- grid workflow
- web service composition
- object oriented design
- service oriented
- business processes
- colored petri nets
- quality of service
- knowledge based systems
- formal specification language
- asynchronous circuits
- modeling language
- knowledge base
- database