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

• B. Zimmerov´a 2008. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. PhD thesis, Masaryk University, Brno, Czech Republic.
• 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.
• Atelier B, ClearSy System Engineering, Aix-en-Provence, France, available for download [online] http://www. atelierb. eu/en/download-atelier-b/
• 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.
• 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.
• 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).
• 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.
• Zaremski, A. M. , Wing, J. M. 1997. Specification Matching of Software Components. ACM TOSEM 6(4):333-369, (1997)
• 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.
• Liu, Xiaoli 2009. B Method Based Framework for Correct Software Development, International Conference on Computational Intelligence and Software Engineering,CiSE, 1 - 4 , 2009
• 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.
• Sajid Riaz 2012. Moving Towards Component Based Software Engineering in Train Control Applications, Final thesis, Linköpings universitet, Sweden, 2012.
• Critical software practices, Pro-Concepts LLC,Online Available: http://www. spmn. com/www2/16CSP. html#system
• 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
• Penix, J. 1998. Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, University of Cincinnati.
• Morris, John, et al. 2001 Software component certification. Computer 34. 9 (2001): 30-36.
• 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.
• 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.