Formal Specification of Correlation in WS Orchestrations Using BP-calculus.
Faisal AbouzaidJohn MullinsPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- formal specification
- process algebra
- model checking
- specification language
- specification languages
- object oriented design
- concurrent systems
- formal methods
- data abstraction
- reverse engineering
- back propagation
- software components
- business process
- belief propagation
- asynchronous circuits
- grid workflow
- business rules
- service oriented
- database
- temporal logic
- high level
- real world
- neural network
- databases