Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker.

Published in: UCC (2014)

Keyphrases

model checker
model checking
business processes
formal verification
formal methods
business process
temporal logic
description language
formal specification
cloud computing
web services
data mining
test suite
decision making
ai planning
information systems
object oriented
business rules