PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fabbrini F., Fusani M., Marchetti E. Process scenarios in open source software certification. In: OpenCert 2011 - 5th International Workshop on Foundation and Techniques for Open Source Certification (Montevideo, Uruguay, 14-15 November 2011). Proceedings, pp. 3 - 18. European Association of Software Science and Technology, 2011.
 
 
Abstract
(English)
Certification of Open Source Software (OSS) presents inherent trade-offs due to the necessity of precisely identifying both a product and an independent certification agent, and on the other of maintain the peculiar, valuable OSS characteristic of being available to an unlimited multiplicity of actors for trial, use and change. This is an intriguing challenge, usually solved by removing from the picture the certifying agent and providing an intrinsic certification by means of rigorous, reapplicable property demonstrations, adopting Formal Methods (FM) in expressing and verifying the code. As such approach, yet quite valuable and good-promising, has some restrictions (such as the limited set of provable product qualities), we propose to tackle the problem by analysing the various processes executed by different OSS stakeholders, including the process of an independent Certification Body. In the paper some kinds of representative scenarios in which such processes interleave are presented and discussed. The aim is to introduce a process-centered perspective for OSS that can stimulate research to further understand and mitigate the mentioned trade-offs.
URL: http://opencert.iist.unu.edu/Papers/2011-paper-S1-A.pdf
Subject Open Source Software
Certification
Software Process
D.2.9 Management
D.2 SOFTWARE ENGINEERING


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional