Using strong conflicts to detect quality issues in component-based complex systems

Conference item

Di Cosmo, R. and Boender, J. 2010. Using strong conflicts to detect quality issues in component-based complex systems. 3rd India Software Engineering Conference. Mysore, India 25 - 27 Feb 2010 New York Association for Computing Machinery (ACM). pp. 163-172
TitleUsing strong conflicts to detect quality issues in component-based complex systems
AuthorsDi Cosmo, R. and Boender, J.
Abstract

The mainstream adoption of free and open source software (FOSS) has widely popularised notions like software packages or plugins, maintained in a distributed fashion and evolving at a very quick pace. Each of these components is equipped with metadata, such as dependencies, which define the other components it needs to function properly, and the incompatible components it cannot work with. In this paper, we introduce the notion of strong conflicts, defined from the component dependencies, that can be effectively computed. It gives important insights on the quality issues faced when adding or upgrading components in a given component repository, which is one of the facets of the predictable assembly problem.Our work contains concrete examples drawn from the world of GNU/Linux distributions, that validate the proposed approach. It also shows that the measures defined can be easily applied to the Eclipse world, or to any other coarse-grained software component model.

Keywordscomponents, large component repositories, open source software, quality assurance, strong conflicts
Research GroupFoundations of Computing group
Artificial Intelligence group
Conference3rd India Software Engineering Conference
Page range163-172
Proceedings TitleISEC '10: Proceedings of the 3rd India Software Engineering Conference
SeriesISEC '10
ISBN
Hardcover9781605589220
PublisherAssociation for Computing Machinery (ACM)
Place of publicationNew York
Publication dates
Print25 Feb 2010
Publication process dates
Deposited05 Sep 2014
Output statusPublished
Copyright Statement

Publishers policy on author's rights includes right to:
"Post the Accepted Version of the Work on (1) the Author's home page, (2) the Owner's institutional repository, or (3) any repository legally mandated by an agency funding the research on which the Work is based."

Web address (URL)http://doi.acm.org/10.1145/1730874.1730905
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/84x31

Log in to edit

Download files

  • 40
    total views
  • 9
    total downloads
  • 4
    views this month
  • 1
    downloads this month

Export as

Related outputs

Describing and simulating concurrent quantum systems
Bornat, R., Boender, J., Kammueller, F., Poly, G. and Nagarajan, R. 2020. Describing and simulating concurrent quantum systems. Biere, A. and Parker, D. (ed.) International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20). Dublin 27 - 30 Apr 2020 Springer. pp. 271-277 https://doi.org/10.1007/978-3-030-45237-7_16
Negative trust for conflict resolution in software management
Primiero, G. and Boender, J. 2018. Negative trust for conflict resolution in software management. Web Intelligence. 16 (4), pp. 251-271. https://doi.org/10.3233/web-180393
MIRTO: an open-source robotic platform for education
Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106
Managing software uninstall with negative trust
Primiero, G. and Boender, J. 2017. Managing software uninstall with negative trust. 11th IFIP WG 11.11 International Conference, IFIPTM 2017. Gothenburg, Sweden 12 - 16 Jun 2017 Springer. pp. 79-93 https://doi.org/10.1007/978-3-319-59171-1_7
Minimizing transitive trust threats in software management systems
Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 191-198 https://doi.org/10.1109/PST.2015.7232973
Teaching functional patterns through robotic applications
Boender, J., Currie, E., Loomes, M., Primiero, G. and Raimondi, F. 2016. Teaching functional patterns through robotic applications. The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015. Sophia-Antipolis, France 02 Jun 2015 Open Publishing Association. pp. 17-29 https://doi.org/10.4204/EPTCS.230.2
Formalization of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2015. Formalization of quantum protocols using Coq. The 12th International Workshop on Quantum Physics and Logic (QPL 2015). Oxford, United Kingdom 15 - 17 Jul 2015 pp. 71-83
Formal verification of a theory of packages
Boender, J. 2011. Formal verification of a theory of packages. ECEASST. 48.
Certified Complexity (CerCo)
Amadio, R., Ayache, N., Bobot, F., Boender, J., Campbell, B., Garnier, I., Madet, A., McKinna, J., Mulligan, D., Piccolo, M., Pollack, R., Régis-Gianas, Y., Sacerdoti Coen, C., Stark, I. and Tranquilli, P. 2014. Certified Complexity (CerCo). Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013). Bertinoro, Italy 29 - 31 Aug 2013 https://doi.org/10.1007/978-3-319-12466-7_1
Verification of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2014. Verification of quantum protocols using Coq. 17th Conference on Quantum Information Processing (QIP). Barcelona, Spain 03 - 07 Feb 2014
Modeling human behaviour with higher order logic: insider threats
Boender, J., Kammueller, F., Ivanova, M. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust. Vienna Technical University, Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 31-39
Modeling human behaviour with higher order logic: insider threats
Boender, J., Ivanova, M., Kammueller, F. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014). Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers. pp. 31-39 https://doi.org/10.1109/STAST.2014.13
Managing the complexity of large free and open source package-based software distributions
Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, X. and Treinen, R. 2006. Managing the complexity of large free and open source package-based software distributions. Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on. https://doi.org/10.1109/ASE.2006.49
Small world characteristics of FLOSS distributions
Boender, J. and Fernandes, S. 2014. Small world characteristics of FLOSS distributions. in: Counsell, S. and Núñez, M. (ed.) Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers Springer International Publishing. pp. 417-429
On the correctness of a branch displacement algorithm
Boender, J. and Sacerdoti Coen, C. 2014. On the correctness of a branch displacement algorithm. in: Ábrahám, E. and Havelund, K. (ed.) Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Springer.
Sound tools for package dependency management in free and open source software distributions
Boender, J. 2007. Sound tools for package dependency management in free and open source software distributions. Feller, J., Fitzgerald, B., Scacchi, W. and Sillitti, A. (ed.) Berlin and Heidelberg, Germany Springer.
Strong dependencies between software components
Abate, P., Di Cosmo, R., Boender, J. and Zacchiroli, S. 2009. Strong dependencies between software components. in: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE. pp. 89 -99
Efficient computation of dominance in component systems (short paper)
Boender, J. 2011. Efficient computation of dominance in component systems (short paper). in: Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Berlin and Heidelberg, Germany Springer.