skip to main content
10.1145/2000229.2000242acmconferencesArticle/Chapter ViewAbstractPublication PagescbseConference Proceedingsconference-collections
research-article

Refining extra-functional property values in hierarchical component models

Published: 20 June 2011 Publication History

Abstract

It is nowadays widely accepted that extra-functional properties (EFPs) are as important as functional properties for system correctness, especially when considering systems such as safety-critical embedded systems. The criticality and resource-constrained nature of these systems necessitate to be able to predict tight and accurate extra-functional property values all along the development, from early estimations to measurements. By using a hierarchical component model that allows implementing components as an assembly of subcomponent instances, the same component can be instantiated in several assemblies, i.e. in different usage contexts. Many EFP values are sensitive to the usage context and knowing information about the enclosing assembly enables refining the values of the properties on the subcomponents. Such refinement is usually not supported and the consistency between refined values and the original ones not ensured. This paper presents the concepts and mechanisms to support EFP refinement in hierarchical component models with explicit property inheritance and refinement policies which formally define consistency constraints between refined value and the original one. These policies are interpreted and ensured for all actors and in all workspaces. The paper also describes the related experiments performed on the ProCom component model.

References

[1]
J. Ø. Aagedal. Quality of Service Support in Development of Distributed Systems. PhD thesis, Faculty of Mathematics and Natural Sciences, University of Oslo, 2001.
[2]
M. Åkerholm, J. Carlson, J. Fredriksson, H. Hansson, J. Håkansson, A. Möller, P. Pettersson, and M. Tivoli. The SAVE Approach to Component-Based Development of Vehicular Systems. Journal of Systems and Software, 80(5):655--667, May 2007.
[3]
C. Atkinson, M. Gutheil, and B. Kennel. A Flexible Infrastructure for Multilevel Language Engineering. IEEE Transactions on Software Engineering, 99(RapidPosts):742--755, 2009.
[4]
S. Becker, H. Koziolek, and R. Reussner. Model-Based Performance Prediction with the Palladio Component Model. the 6th international workshop on Software and performance, 2007.
[5]
S. Becker, H. Koziolek, and R. Reussner. The Palladio component model for model-driven performance prediction. J. Syst. Softw., 82:3--22, January 2009.
[6]
E. Borde, J. Carlson, J. Feljan, L. Lednicki, T. Leveque, J. Maras, A. Petricic, and S. Sentilles. PRIDE, an Environment for Component-Based Development of Distributed Real-time Embedded Systems. WICSA, 2011.
[7]
T. Bures, J. Carlson, I. Crnkovic, S. Sentilles, and A. Vulgarakis. ProCom - the Progress Component Model Reference Manual, version 1.0. Technical Report ISSN 1404--3041 ISRN MDH-MRTC-230/2008--1-SE, Mälardalen University, June 2008.
[8]
I. Crnkovic, M. Larsson, and O. Preiss. Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes. In Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 257--278. Springer Berlin, 2005.
[9]
X. Franch. Systematic Formulation of Non-Functional Characteristics of Software}. In Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice, pages 174--181, Washington, DC, USA, 1998.
[10]
Garmin. GPS 18 Technical Specifications (190-00307-00), Rev. D. Technical report, June 2005.
[11]
R. C. Goldstein and V. C. Storey. Materialization. IEEE Trans. on Knowl. and Data Eng., 6:835--842, October 1994.
[12]
L. Grunske. Early quality prediction of component-based systems - a generic framework. J. Syst. Softw., 80:678--686, May 2007.
[13]
K. Jezek, P. Brada, and P. Stepán. Towards context independent extra-functional properties descriptor for components. Electronic Notes in Theoretical Computer Science, 264(1):55--71, 2010.
[14]
M. Kersten and G. C. Murphy. Using task context to improve programmer productivity. In Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, SIGSOFT '06/FSE-14, pages 1--11, New York, NY, USA, 2006.
[15]
J. E. Kim, O. Rogalla, S. Kramer, and A. Haman. Extracting, Specifying and Predicting Software System Properties in Component Based Real-Time Embedded Software Development. In Proceedings of the 31st International Conference on Software Engineering (ICSE), 2009.
[16]
M. Mohammad and V. Alagar. Tadl - an architecture description language for trustworthy component-based systems. In Proceedings of the 2nd European conference on Software Architecture, ECSA '08, pages 290--297, Berlin, Heidelberg, 2008. Springer-Verlag.
[17]
B. Neumayr, K. Grün, and M. Schrefl. Multi-level domain modeling with m-objects and m-relationships. In Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96, APCCM '09, pages 107--116, Darlinghurst, Australia, Australia, 2009.
[18]
Object Management Group. A UML Profile for MARTE, Beta 1, August 2007. Document number: ptc/07-08-04.
[19]
J. Odell. Power Types. JOOP, 7(2):8--12, 1994.
[20]
H. Schmidt. Trustworthy components-composition- and prediction. Journal of Systems and Software, 65(3):215--225, 2003. Component-Based Software Engineering.
[21]
S. Sentilles, P. Stepan, J. Carlson, and I. Crnkovic. Integration of Extra-Functional Properties in Component Models. In I. P. Christine Hofmeister, Grace A. Lewis, editor, 12th International Symposium on Component Based Software Engineering, LNCS 5582. Springer Berlin, LNCS 5582, June 2009.
[22]
S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic. A Component Model for Control-Intensive Distributed Embedded Systems. In M. R. Chaudron and C. Szyperski, editors, Proceedings of the 11th International Symposium on Component Based Software Engineering, pages 310--317. Springer Berlin, October 2008.
[23]
K. C. Wallnau. Volume III: A Technology for Predictable Assembly from Certifiable Components (PACC). Technical Report Carnegie Mellon University/SEI-2003-TR-009, Carnegie Mellon, 2003.
[24]
S. Zschaler. Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof. Software and Systems Modelling (SoSyM), 9:161--201, Apr. 2009.

Cited By

View all
  • (2014)Towards pattern-based reuse in safety-critical systemsProceedings of the 19th European Conference on Pattern Languages of Programs10.1145/2721956.2721977(1-15)Online publication date: 9-Jul-2014

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CBSE '11: Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
June 2011
214 pages
ISBN:9781450307239
DOI:10.1145/2000229
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 June 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. component instance
  2. component type
  3. extra-functional properties
  4. inheritance policy
  5. multiple values
  6. virtual workspace

Qualifiers

  • Research-article

Conference

Comparch '11
Sponsor:

Acceptance Rates

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2014)Towards pattern-based reuse in safety-critical systemsProceedings of the 19th European Conference on Pattern Languages of Programs10.1145/2721956.2721977(1-15)Online publication date: 9-Jul-2014

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media