Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Decoder Open Research Webinar

Virgile Prevosto (CEA List) showcasing the DECODER H2020 project and its platform during the joint OW2-Eclipse Foundation webinar, 4 March 2021.

  • Be the first to comment

  • Be the first to like this

Decoder Open Research Webinar

  1. 1. Open Research Webinars DECODER: a new DevOps toolbox for software code exploration and analysis Virgile Prevosto CEA, List Eclipse-OW2 Webinar 2021-03-04
  2. 2. Project at a glance I I Started in January 2019, for 36 months I Provide a unified platform for managing all kinds of information on a given codebase. I Target all stakeholders in software development life cycle: I developers I reviewers I maintainers Use-cases Methodology UX Natural Language Processing Software Engineering Tools Coordination: DEveloper COmpanion for Documented and annotatEd code Reference Open Research Webinars - page 2
  3. 3. I Database storing all relevant documents for a software project I documentation (manuals, comments, bug tracker, ...) I formal specifications I source code I analysis and testing results I and evolutions (e.g. commits) I Tools for feeding the database I Tools for querying the database I Common Json schema to ease interactions PKM Augmented IDE Documentation Generator UML Modeler NLP Knowledge Formalizer NLP Knowledge Extractor Specification Synthesis Frama-C OpenJML Testar Tool Persistent Knowledge Monitor - PKM Open Research Webinars - page 3
  4. 4. Node.js PKM cli PKM over TCP MongoDB driver PKM util PKM core PKM RESTful HTTP server Bash scripts User’s console JS SDK UI and tools over https PKM API I Use docker containers I REST server uses OpenAPI I AGPL and Apache licenses I https://gitlab.ow2. org/decoder/pkm-api PKM Architecture Open Research Webinars - page 4
  5. 5. Natural Language Processing I Knowledge extraction from informal documents and correspondance with relevant code pieces I Knowledge extraction from code and semi-automated documentation generation Informal documents and Formal Specification Open Research Webinars - page 5
  6. 6. At a glance I Graphical language to describe effects of a function on the data structures involved I Semi-automated generation of ASFM diagrams I Animation of the diagrams (graphical debugging) Current status I Common part understood by all tools I Extensible with tool-specific content I Provide an abstraction layer on top of PKM’s lower-level documents I Conversion tools to ASFM (doc-to-asfm) available as prototypes Abstract Semi-Formal Models Open Research Webinars - page 6
  7. 7. I browser-based I under heavy development I basic support for the main tools feeding the PKM Decoder Front-end Open Research Webinars - page 7
  8. 8. Beta-testing PKM Server I Internally I Add functionalities to the API I Integrate more tools (NLP) I Continue client development I Externally I Interface with existing tools (e.g. ) I Export standard queries (e.g. LSP) where possible I Use I first beta campaign on doc-to-asfm for the end of the year I beta-campaign for the whole PKM stack in 2021 Next steps Open Research Webinars - page 8
  9. 9. Contacts GLOBE @ TWITTER decoderproject LINKEDIN Decoder H2020 Slideshare DecoderProject Acknowledgments The DECODER project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 824231. Icons designed by ultimatearm, eucalyp and pixel-perfect from Flaticon Open Research Webinars - page 9