Vyacheslav Zholudev

Publications (16) View all

• Source

  Available from: Vyacheslav Zholudev

  Article: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

  Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
  [show abstract] [hide abstract]
  ABSTRACT: Mathematical Knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and - in contrast to published research mathematics - subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.
  05/2011;
• Source

  Available from: Vyacheslav Zholudev

  Conference Proceeding: Hecate, Managing Authorization with RESTful XML

  Sebastian Graf, Vyacheslav Zholudev, Lukas Lewandowski, Marcel Waldvogel
  [show abstract] [hide abstract]
  ABSTRACT: The potentials of REST offers new ways for communications between louse coupled entities featured through the Web of Things [12]. The binding of the disjunct components of this architecture creates security issues, such as the centralized authorization techniques respecting the independence of the underlying entities. This results in the question how authorization is performed respecting the flexibility of REST without any knowledge about the underly-ing resources. Nevertheless, possible knowledge about these resources should enable the authorization workflow to offer finer-granular permissions on substructures of the resources. With our new approach -we named Hecate-we offer a framework to assure simplified handling while keeping the potentials and flexibility of REST . We have designed an architecture based on XML with a flexible authorization mechanism on the one hand and optional resource-awareness on the other hand. The flexibility within the authorization work-flow bases on permission sets respecting the HTTP -verbs. Additional in-depth knowledge of the entity option-ally extends these permissions with resource-aware filters. Hecate offers not only great benefits because of its flexibility, but also because of the optional extensibility proved within the two reference implementations. With Hecate, we show that a centralized authorization mechanism combining independence and optional resource-based filtering extends the flexibility of REST rather than restricting it.
  WS-REST 2011; 04/2011
• Source

  Available from: Christoph Lange

  Article: The Planetary System: Executable Science, Technology, Engineering and Math Papers

  Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
  [show abstract] [hide abstract]
  ABSTRACT: Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments they describe. Client-side players can thus enable readers to "check, manipulate and explore the result space". We have realized executable papers in the STEM domain with the Planetary system. Semantic annotations associate the papers with a content commons holding the background ontology, the annotations are exposed as Linked Data, and a frontend player application hooks modular interactive services into the semantic annotations.
  03/2011;
• Source

  Available from: Christoph Lange

  Article: The Planetary System: Web 3.0 & Active Documents for STEM.

  Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
  Procedia CS. 01/2011; 4:598-607.
• Conference Proceeding: Virtual Documents in TNTBase

  Vyacheslav Zholudev, Michael Kohlhase
  [show abstract] [hide abstract]
  ABSTRACT: This paper introduces the concept of Virtual Documents and its prototypical realization in our TNTBase system, a versioned XML database. Virtual Documents integrate XQuery-based computational facilities into documents like JSP/PHP do for relational queries. We view the integration of computation in documents as an enabling technology and evaluate it on a handful of real-world use cases.
  Balisage 2010; 08/2010