1. © 2008 by Savino Sguera; made available under the EPL v1.0 | March 2008, 18th | http://savino.wordpress.com Semantics-driven Software Provisioning Actually reusing software Savino Sguera University of Rome Tor Vergata s.sguera@ieee.org

2. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 2 Problems with current provisioning systems No systematic approach to the build-vs-buy dilemma No smart search features No thorough formal technology-independent model No functional semantics in current popular models: no hints about what does a piece of software do Little interoperability among mainstream provisioning technologies

3. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 3 Semantics-driven SW Provisioning at a glance Semantic Web framework Technology-independent model (Software Provisioning Ontology) Metadata about what a software does (tasks, specifications compliance) Reasoning to infer relationships among pieces of software (functional equivalence…)

4. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 4 SSP: Architecture Repository  SW Provisioning Ontology (SWPO)  DIG reasoner (Pellet)  REST API (mashup and generic client development) Eclipse SSP Plug-in  Repo Explorer View  New lib / component submission View

5. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 5 Repository Explorer Submit a new component (version, license, license style, dependencies, tasks, tags…) Drag-n-Drop dependencies

6. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 6 Two libraries, two tasks One library, both tasks! SSP: Reducing dependencies

7. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 7 SSP: equivalence between components Equivalence is symmetrical, transitive and reflexive Inferred equivalence among components

8. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 8 SSP: Assessing software reputation Number and reputation of client dependencies are good measures of the quality of a component or a library (i.e. Google Gears uses SQLite…)

9. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 9 SWPO: Software Provisioning Ontology “Usual” project metadata Tasks Specifications Core properties (equivalence, transitive dependencies, specification compliance…) Licenses and License Styles

10. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 10 What’s next? Automatic project XHTML + RDFa/Microformats home page generation Tools (e.g. Web Browser extensions) for discovering software related metadata on the Web and submitting their content to our Semantic Repository Augmenting the software provisioning ontology to include new concepts and related functionalities in the system Specification-driven rethinking of the “equivalence” definition

11. Semantics-driven Software Provisioning | © 2008 by Savino Sguera; made available under the EPL v1.0 | http://savino.wordpress.com 11 Thanks! http://savino.wordpress.com s.sguera@ieee.org