Veröffentlichungen
Konferenzbeiträge
- 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.
- 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.
- 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).
- 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
- 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
- Monakova, Ganna: Ontology Based Partner Service Discovery Using a First-Order Logic Representation for BPEL Process Models, Diplomarbeit Nr. 2741, 2008.