Dipl.-Inf. Ganna Monakova

Ehemalige Wissenschaftliche Mitarbeiterin

Forschungsschwerpunkte

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

    • MASTER – Managing Assurance, Security and Trust for sERvices

    Veröffentlichungen

    Konferenzbeiträge

    1. 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).
    2. 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).

    Workshopbeiträge

    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.