CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
Implementation of Feature Selection Using Correlation Matrix in Python

Ahmad Farhan AlShammari
Random Articles
Reseach Article

Formal Conceptual Framework for Structure of Context of Component-based System for Designing Robust Software Systems and Metrics

by Meenakshi Sridhar, Nasib Singh Gill
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 112 - Number 7
Year of Publication: 2015
Authors: Meenakshi Sridhar, Nasib Singh Gill
10.5120/19681-1412

Meenakshi Sridhar, Nasib Singh Gill . Formal Conceptual Framework for Structure of Context of Component-based System for Designing Robust Software Systems and Metrics. International Journal of Computer Applications. 112, 7 ( February 2015), 30-37. DOI=10.5120/19681-1412

@article{ 10.5120/19681-1412,
author = { Meenakshi Sridhar, Nasib Singh Gill },
title = { Formal Conceptual Framework for Structure of Context of Component-based System for Designing Robust Software Systems and Metrics },
journal = { International Journal of Computer Applications },
issue_date = { February 2015 },
volume = { 112 },
number = { 7 },
month = { February },
year = { 2015 },
issn = { 0975-8887 },
pages = { 30-37 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume112/number7/19681-1412/ },
doi = { 10.5120/19681-1412 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T22:48:52.250981+05:30
%A Meenakshi Sridhar
%A Nasib Singh Gill
%T Formal Conceptual Framework for Structure of Context of Component-based System for Designing Robust Software Systems and Metrics
%J International Journal of Computer Applications
%@ 0975-8887
%V 112
%N 7
%P 30-37
%D 2015
%I Foundation of Computer Science (FCS), NY, USA
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
  1. C. Serban, A. Vescan and H. Pop, A Conceptual Framework for Component-based System Metric Definition, "9th RoEduNet IEEE International Conference 2010. "
  2. N. Gill, and P. Grover, Component-Based Measurement: Few Useful Guidelines, ACM SIGSOFT Software engineering Notes, Vol. 28 Issue 6. November 2003.
  3. N. Gill, Importance of Software Component Characterization For Better Software Reusability, ACM SIGSOFT Software Engineering Notes Vol. 31 No. 1, January 2006.
  4. L. Briand, S. Morasca and V. Basili, Property-based Software Engineering Measurement, IEEE Transactions On Software Engineering, Vol. 22, No. 1, January 1996.
  5. 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.
  6. R. Rei?ing, Towards a model for object-oriented design measurement. Proceedings of ECOOP Workshop on Quantitative Approaches in Object Oriented Software Engineering, 2001.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. G. D. Jenson, J. Dietrich, H. Guesgen, A Formal Framework to Optimise Component Dependency Resolution, 2010 Asia Pacific Software Engineering Conference, 2010.
  18. K. Lau and Z. Wang, Software Component Models, IEEE Transactions on Software Engineering, Vol. 33, No. 10, October 2007.
  19. Z. Liu, and H. Jifeng, Mathematical Frameworks for Component Software, World Scientific, 2006.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
Index Terms

Computer Science
Information Sciences

Keywords

Component Assembly Formal Conceptual Framework.

Powered by PhDFocusTM