Decoder Open Research Webinar
•
0 likes•49 views
Virgile Prevosto (CEA List) showcasing the DECODER H2020 project and its platform during the joint OW2-Eclipse Foundation webinar, 4 March 2021.
More Related Content
Similar to Decoder Open Research Webinar
Similar to Decoder Open Research Webinar (20)
More from Decoder Project
More from Decoder Project (9)
Recently uploaded
Recently uploaded (20)
Decoder Open Research Webinar
- 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. Project at a glance I https://www.decoder-project.eu/ 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. 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. 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. 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. 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. 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. 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 https://www.reachout-project.eu/ 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. Contacts GLOBE https://www.decoder-project.eu/ @ https://www.decoder-project.eu/view/Main/Contacts 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