Dipl.-Inf. Ganna Monakova

Ehemalige Wissenschaftliche Mitarbeiterin


  • Modelling and verifying constraints in a Business Process
  • Ontology modelling
  • Constraint based scheduling
  • Projekte

    • MASTER – Managing Assurance, Security and Trust for sERvices



    1. Gheorghe, Gabriela; Crispo, Bruno; Schleicher, Daniel; Anstett, Tobias; Leymann, Frank; Mietzner, Ralph; Monakova, Ganna: Combining Enforcement Strategies in Service Oriented Architectures. In: accepted for publication in ICSOC 2010 proceedings.
    2. Monakova, Ganna; Miseldine, Philip; Leymann, Frank: An Evidence Model to Enable Constraint-Based Runtime Monitoring in SOA. In: IAENG (Hrsg): Proceedings of the The 2010 International Conference of Computer Science and Engineering: ICCSE 2010; London, UK, June 30- July 2, 2010.
    3. Anstett, Tobias; Karastoyanova, Dimka; Leymann, Frank; Mietzner, Ralph; Monakova, Ganna; Schleicher, Daniel; Strauch, Steve: MC-Cube: Mastering Customizable Compliance in the Cloud. In: Springer (Hrsg): Proceedings of the 7th International Joint Conference on Service Oriented Computing, Stockholm, Sweden, November 23-27, 2009 ( pdf).
    4. Monakova, Ganna; Kopp, Oliver; Leymann, Frank; Moser, Simon; Schäfers, Klaus: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: Proceedings of the Business Process and Services Computing Conference: BPSC'09, 2009 ( pdf).


    1. Monakova, Ganna; Kopp, Oliver; Leymann, Frank: Improving Control Flow Verification in a Business Process using an Extended Petri Net. In: Kopp, Oliver (Hrsg); Lohmann, Niels (Hrsg): Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009) (pdf).

    Sonstige Veröffentlichungen

    1. Monakova, Ganna: Ontology Based Partner Service Discovery Using a First-Order Logic Representation for BPEL Process Models, Diplomarbeit Nr. 2741, 2008.