SOA monitoring based on a formal workflow model with constraints.
Andreas TextorMarkus SchmidJan SchaeferReinhold KrögerPublished in: QUASOSS@ESEC/FSE (2009)
Keyphrases
- workflow model
- business process
- business processes
- workflow systems
- web services
- service oriented architecture
- information systems
- information technology
- workflow management
- workflow process
- databases
- formal specification
- data flow
- service oriented
- multiagent systems
- database management systems
- np hard
- search space
- neural network