Keyphrases
- business rules
- web services composition
- process algebra
- rule language
- rule engine
- active rules
- web services
- business process
- web service composition
- business processes
- composition of web services
- service discovery
- information systems
- event condition action
- service composition
- reverse engineering
- highly reliable
- model checking
- formal specification
- production rules
- fine grained
- legacy systems
- formal semantics
- database
- service selection
- real time
- owl ontologies
- data quality
- active databases
- service oriented
- quality of service
- petri net
- software engineering
- data model
- real world
- composite web services