Skip to main content


Detecting cloud provisioning errors using an annotated process model


Sherry Xu, Ingo Weber, Hiroshi Wada, Len Bass, Liming Zhu and Steve Teng




In this paper, we demonstrate the feasibility of annotating a process model with assertions to detect errors in cloud provisioning in near real time. Our envisioned workflow is: a) construct a process model of the desired provisioning activities using log data, b) use the process model to determine appropriate annotation triggers and annotate the process model with assertions, c) use the process model to monitor the deployment logs as they are generated, d) trigger the assertion checking based on process activities and log entries, and e) check the assertions to determine errors.

For a production deployment tool, Asgard, we have implemented the steps involving constructing a process model, using the model to determine appropriate annotation triggers, triggering the annotation checking based on Asgard log files, and detecting errors. Our prototype has detected errors that cross deployment tool boundaries and go undetected by Asgard and has detected some other errors substantially more quickly than Asgard would have

BibTeX Entry

    author           = {Xu, Xiwei (Sherry) and Weber, Ingo and Wada, Hiroshi and Bass, Len and Zhu, Liming and Teng, Steve},
    month            = dec,
    year             = {2013},
    keywords         = {system administration, deployment, cloud provisioning, error detection},
    title            = {Detecting Cloud Provisioning Errors Using an Annotated Process Model},
    booktitle        = {The 8th Workshop on Middleware for Next Generation Internet Computing (MW4NextGen'13)},
    pages            = {5:1-5:6},
    address          = {Beijing, China}


Served by Apache on Linux on seL4.