Corpus ID: 11219467

From business modeling to verified applications

@inproceedings{Ammann2011FromBM,
  title={From business modeling to verified applications},
  author={Christian Ammann and Stephan Kleuker and E. Pulverm{\"u}ller},
  booktitle={GI-Jahrestagung},
  year={2011}
}
  • Christian Ammann, Stephan Kleuker, E. Pulvermüller
  • Published in GI-Jahrestagung 2011
  • Computer Science
  • UML activity diagrams can be used to model business processes which are implemented in a software project. It is a worthwhile goal to automatically transform at least parts of UML diagrams into software. Automated code generation reduces the total amount of errors in a software project but the model itself can still violate specified requirements. A quality improvement is the usage of a model checker which searches through the whole state space of model and checks whether all requirements are… CONTINUE READING
    VERIFICATION OF WEB APPLICATIONS WITH A MODEL CHECKER

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 30 REFERENCES