Abstract

For defining a set of unambiguous and language-independent metrics and other relevant concepts, the need for definition of a formal conceptual framework of the context/environment, particularly for safety-critical environments, has earlier been recognized and emphasized. In this paper, a formal conceptual framework is proposed for defining metrics and other relevant concepts for a component-based system, in which, instead of component, assembly—a slightly modified and more general concept—is taken as a basic building block for design and development of software. The paper discusses a formal conceptual framework for the structure of context for a component-based system. In another paper, a formal conceptual framework for the dynamics/ behaviour within the context of a component-based system is discussed.

References

• C. Serban, A. Vescan and H. Pop, A Conceptual Framework for Component-based System Metric Definition, "9th RoEduNet IEEE International Conference 2010. "
• N. Gill, and P. Grover, Component-Based Measurement: Few Useful Guidelines, ACM SIGSOFT Software engineering Notes, Vol. 28 Issue 6. November 2003.
• N. Gill, Importance of Software Component Characterization For Better Software Reusability, ACM SIGSOFT Software Engineering Notes Vol. 31 No. 1, January 2006.
• L. Briand, S. Morasca and V. Basili, Property-based Software Engineering Measurement, IEEE Transactions On Software Engineering, Vol. 22, No. 1, January 1996.
• L. Briand, J. Daly and J. Wust, A Unified Framework for Coupling Measurement in Object-Oriented Systems. IEEE Transactions on Software Engineering, 25(1), 91-121, 1999.
• R. Rei?ing, Towards a model for object-oriented design measurement. Proceedings of ECOOP Workshop on Quantitative Approaches in Object Oriented Software Engineering, 2001.
• A. Baroni, S. Braz and F. Abreu, Using OCL to formalize object-oriented design metrics definitions. Proceedings of ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, 2003.
• M. Goulão, F. Abreu, Formalizing metrics for COTS, Department of Informatics, Faculty of Sciences and Technology, New University of Lisbon,2825-114 Monte de Caparica, Portugal, 2005a.
• M. Goulão, and F. Abreu, Formal Definition of Metrics upon the CORBA Component Model. First International Conference on the Quality of Software Architectures (QoSA) 2005b.
• M. Goulão, and F. Abreu, Composition Assessment Metrics for CBSE. In Proceedings of the 31st Euromicro Conference - Component-Based Software Engineering Track. Porto, Portugal: IEEE Computer Society, 2005c.
• Crnkovic, S. Sentilles, A. Vulgarakis, and M. Chaudron, A Classification Framework for Software Component Models, IEEE Transactions On Software Engineering, Vol. 37, No. 5, September/October 2011.
• W. McUmber and B. Cheng, A General Framework for Formalizing UML with Formal Languages, Proc. of IEEE International Conference on Software Engineering (ICSE01), May 2001, Toronto.
• M. Perepletchikov, C. Ryan, K. Frampton, and H. W. Schmidt, A Formal Model of Service-Oriented Design Structure, Proceedings of the Australian Software Engineering Conference (ASWEC'07), 2007.
• Y. Tu, D. Li, F. Li and S. Zheng, A Formal Framework for Component-Based Embedded System, 2010 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, Montréal, Canada, July 6-9, 2010.
• J. Woodcock, P. Larsen, J. Bicarregui and J. Fitzgerald, Formal Methods: Practice and Experience, ACM Computing Surveys, Vol. 41, No. 4, Article 19, Publication date: October 2009.
• J. Zhixiong, L. Qian, and X. Pen, A Formal framework for description of semantic web services , Seventh International Conference on Computer and Information Technology 2007 IEEE, DOI 10. 1109 10. 1109/CIT. 2007. 24.
• G. D. Jenson, J. Dietrich, H. Guesgen, A Formal Framework to Optimise Component Dependency Resolution, 2010 Asia Pacific Software Engineering Conference, 2010.
• K. Lau and Z. Wang, Software Component Models, IEEE Transactions on Software Engineering, Vol. 33, No. 10, October 2007.
• Z. Liu, and H. Jifeng, Mathematical Frameworks for Component Software, World Scientific, 2006.
• C. Mair, and M. Shepperd, Human Judgement and Software Metrics: Vision for the Future, ICSE '11, May 21–28, 2011, Waikiki, Honolulu, HI, USA, 2011.
• K. Wallnau, and J. A. Stafford, Dispelling the Myth of Component Evaluation, in Building Reliable Component-Based Software Systems, Edited by I. Crnkovic and Larsson pp. 157-177, 2002. Boston, London: Artech House, pp. 157-177, 2002.
• J. Wust, L. Briand, and J. Daly, A Unified Framework for Cohesion Measurement in Object-Oriented Systems. Empirical Software Engineering: An International Journal, 3(2), 65-117, 1998.
• J. Zhixiong, L. Qian, and X. Pen, A Formal framework for description of semantic web services, Seventh International Conference on Computer and Information Technology 2007 IEEE, DOI 10. 1109 10. 1109/CIT. 2007. 24.