skip to main content
10.1145/1295014.1295048acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
Article

Composition and tradeoff of non-functional attributes in software systems: research directions

Published:03 September 2007Publication History

ABSTRACT

The domain of our work is focused on the study of the quality attributes of component-based systems and service-based systems. The qualities of a component-based system depend on those ones of the single components. The objective of our work is to support the selection of (COTS and in-house) components under the satisfaction of the quality attributes. First, we have introduced an optimization model, that supports the component selection activity. The selection criterion is based on cost minimization of the whole system subject to constraints on reliability and delivery time of the whole system. In addition, for each in-house developed component it suggests the amount of testing to perform in order to achieve the required level of reliability. In order to automatize the selection activity we have introduced CODER (Cost Optimization under DElivery and Reliability constraints), a framework that allows to annotate UML diagrams with cost, reliability and delivery time information and that automatically generates and solves the optimization model. In order to improve the formulation of our model we are working on the reliability expression. We express the reliability of the whole system as function of the reliability of the single components by assuming independence among components. We have relaxed this assumption and we have introduced a path-based reliability model for a Service-Oriented Architecture (SOA) that embeds the "error propagation" property. Currently, we are working to introduce a framework that automatizes the process of selection of (COTS and in-house) components in all the phases of a component-based development process. In particular, we have introduced a framework that supports the selection of COTS components in the requirements phase. The framework lays on a tool that builds and solves an optimization model, whose solution provides the optimal COTS component selection. The selection criterion is based on cost minimization of the whole system while assuring a certain degree of satisfaction of the system requirements.

References

  1. Alves, C., Franch, X., Carvallo, J. P., Finkelstein, A. "Using Goals and Quality Models to Support the Matching Analysis During COTS Selection", Proc. of ICCBSS 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. W. Abdelmoez et al. "Error Propagation in Software Architectures", Proc. of METRICS, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Bertolino, A., Strigini, L. "On the use of testability measures for dependability assessment", IEEE Trans. on Software Engineering, 22(2):97--108, February 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Cortellessa, V., Crnkovic I., Marinelli, F., Potena, P. "Driving the selection of COTS components on the basis of system requirements", Submitted to ASE 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Cortellessa, V., Marinelli, F., Potena, P. "Automated Selection of Software Components Based on Cost/Reliability Tradeoff", Proc. of EWSA 2006, LNCS 4344, 66--81, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Cortellessa, V., Marinelli, F., Potena, P. "An optimization framework for "build-or-buy" decisions in software architecture", Computers and Operations Research, Elsevier Science, to appear. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Cortellessa, V., Potena, P. "Error propagation analysis in composition of software services", Proc. of Software Composition workshop (ETAPS 2007), 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Gokhale, S. S., Wong, W. E, Horgan, J. R., Trivedi, K. S. "An analytical approach to architecture-based software performance and reliability prediction", Performance Evaluation, vol. 58 (2004), 391--412. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Goseva-Popstojanova, K., Trivedi, K. S, "Architecture based-approach to reliability assessment of software systems", Performance Evaluation, vol. 45 (2001), 179--204. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. ITU. ITU-T Recommendation Z.120 Message Sequence Charts (MSC99), Technical report, ITU Telecommunication Standardization Sector, 1996.Google ScholarGoogle Scholar
  11. Kokash, N., "A Service Selection Model to Improve Composition Reliability", Proc. of of International Workshop on AI for Service Composition, in conjunction with ECAIŠ06, August 2006, to appear.Google ScholarGoogle Scholar
  12. Mahmood, S., Lai, R. "Analyzing Component Based System Specification" Proc. of AWRE 2006, Adelaide, Australia, 2006.Google ScholarGoogle Scholar
  13. Trivedi, K. "Probability and Statistics with Reliability, Queuing, and Computer Science Applications", J. Wiley and S., 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Voas, J. M., Miller, K. W. "Software testability: The new verification", IEEE Software, pages 17--28, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Composition and tradeoff of non-functional attributes in software systems: research directions

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
          September 2007
          189 pages
          ISBN:9781595938121
          DOI:10.1145/1295014

          Copyright © 2007 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 3 September 2007

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate112of543submissions,21%

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader