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

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

Validation of Component based Software Development Model using Formal B-Method

by Asif Irshad Khan, Md. Mottahir Alam, Noor-ul-qayyum, Usman Ali Khan
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 67 - Number 9
Year of Publication: 2013
Authors: Asif Irshad Khan, Md. Mottahir Alam, Noor-ul-qayyum, Usman Ali Khan
10.5120/11423-6768

Asif Irshad Khan, Md. Mottahir Alam, Noor-ul-qayyum, Usman Ali Khan . Validation of Component based Software Development Model using Formal B-Method. International Journal of Computer Applications. 67, 9 ( April 2013), 24-35. DOI=10.5120/11423-6768

@article{ 10.5120/11423-6768,
author = { Asif Irshad Khan, Md. Mottahir Alam, Noor-ul-qayyum, Usman Ali Khan },
title = { Validation of Component based Software Development Model using Formal B-Method },
journal = { International Journal of Computer Applications },
issue_date = { April 2013 },
volume = { 67 },
number = { 9 },
month = { April },
year = { 2013 },
issn = { 0975-8887 },
pages = { 24-35 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume67/number9/11423-6768/ },
doi = { 10.5120/11423-6768 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T21:24:13.673130+05:30
%A Asif Irshad Khan
%A Md. Mottahir Alam
%A Noor-ul-qayyum
%A Usman Ali Khan
%T Validation of Component based Software Development Model using Formal B-Method
%J International Journal of Computer Applications
%@ 0975-8887
%V 67
%N 9
%P 24-35
%D 2013
%I Foundation of Computer Science (FCS), NY, USA
Abstract

IT industry in the present market situation faces high demand for performance and burgeoning user expectations; with the pressure manifesting itself in three forms – Development Cost, Time-to-market and Product Quality. One of the relevant techniques in this context is Component Based Software Development (CBSD) with a targeted and discriminative approach influencing all phases of development. Although this approach offers great benefits of reusing ready-made components such as reducing time-to-market products and development costs, it also poses serious questions on the correctness of created systems. In this paper a methodology is proposed using a formal B-method approach, which supports formal stepwise development with refinement to model component-based systems in view of interaction among components. The proposed methodology is illustrated by a case study; Atelier B. is used to generate proof obligations and executable code automatically.

References
  1. B. Zimmerov´a 2008. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. PhD thesis, Masaryk University, Brno, Czech Republic.
  2. Mubarak Mohammad & Vangalur Alagar (2011): A formal approach for the specification and verification of trustworthy component-based systems. J. Syst. Softw. 84, pp. 77–104, doi:10. 1016/j. jss. 2010. 08. 048.
  3. Atelier B, ClearSy System Engineering, Aix-en-Provence, France, available for download [online] http://www. atelierb. eu/en/download-atelier-b/
  4. Petit, Dorian, Vincent Poirriez, and Georges Mariano 2004. "The B method and the component-based approach. " Journal of Design & Process Science: Transactions of the SDPS 8. 1 (2004): 65-76.
  5. Xiaoli, Liu, et al. 2007. Code Generation from B Specification based on Component Oriented Approach in Information Technologies and Applications in Education, 2007. ISITAE'07. First IEEE International Symposium on. IEEE, 2007.
  6. Hatebur, D. , Heisel, M. , Souquières, J. 2006. A method for component-based software and system development. In: Proceedings of the 32tnd Euromicro Conference on Software Engineering And Advanced Applications, pp. 72–80. IEEE Computer Society Press, Los Alamitos (2006).
  7. Colin, Samuel, et al. 2005. "BRILLANT: An open source and XML-based platform for rigourous software development. " Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. IEEE, 2005.
  8. Zaremski, A. M. , Wing, J. M. 1997. Specification Matching of Software Components. ACM TOSEM 6(4):333-369, (1997)
  9. Ledang H. 2001. Formal techniques in the object-oriented software development? an approach based on the B method[J]. LORIA?2001?13?12??1-5.
  10. Liu, Xiaoli 2009. B Method Based Framework for Correct Software Development, International Conference on Computational Intelligence and Software Engineering,CiSE, 1 - 4 , 2009
  11. Asif Irshad Khan , Noor -ul-Qayyum , Usman Ali Khan 2012. An Improved Model for Component Based Software Development in Software Engineering, Vol. 2 No. 4, 2012, pp. 138-146. doi: 10. 5923/j. se. 20120204. 07.
  12. Sajid Riaz 2012. Moving Towards Component Based Software Engineering in Train Control Applications, Final thesis, Linköpings universitet, Sweden, 2012.
  13. Critical software practices, Pro-Concepts LLC,Online Available: http://www. spmn. com/www2/16CSP. html#system
  14. Frank Strobl and Alexander Wisspeintner, Speciation of an Elevator Control System, TECHNISCHE UNIVERSITAT ,MUNCHEN , 1999 , available [Online] http://www4. informatik. tu-muenchen. de/publ/papers/elevator. pdf
  15. Penix, J. 1998. Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, University of Cincinnati.
  16. Morris, John, et al. 2001 Software component certification. Computer 34. 9 (2001): 30-36.
  17. K. -K. Lau and M. Ornaghi 2001. A Formal Approach to Software Component Specification, Proceedings of Specification and Verification of Component- based Systems Workshop at OOPSLA2001, pages 88-96, Tampa, USA, Oc- tober 2001.
  18. L. Laibinis and E. Troubitsyna 2004. Refinement of Fault Tolerant Control Systems in B. In M. Heisel, P. Liggesmeyer, and S. Wittmann, editors, Computer Safety, Reliability, and Security - Proceedings of SAFECOMP , number 3219 in Lecture Notes in Computer Science, pages 254-268. Springer-Verlag, Sep 2004.
Index Terms

Computer Science
Information Sciences

Keywords

Component Based Software Development CBD Formal B Method Formal analysis Software reuse and Model checking interoperability compatibility adaptation assembly

Powered by PhDFocusTM