Abstract
Component reuse is playing a crucial role in today software design. However, the current approaches used in industry are quite effort-consuming due to the lack of an effectivemechanismto describe and capture semantics in software components. In this paper, we propose a formal approach to overcome this problem, which is based on First-Order Logic (FOL). In one hand, FOL is sufficiently expressive to describe semantics in various software domains, from generic to specific ones. In the other hand, FOL also supports automatic searching, matching and inferring mechanism by computer-based tools and provers. Thus, our approach both effectively supports expert human to describe system components and computer programs to reuse those components, and even to compose new components from existing ones for further usage.We realize our approach as a framework which can be applied in various situations of software designs, as illustrated in some case studies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Basili, V., Rombach, H.D.: Support for comprehensive reuse. IEEE Software Engineering Journal, vol 6(5), 303–316 (1991)
Sametinger, J.: Software engineering with reusable components. Springer, New York (1997)
Sommerville, I.: Software Engineering, 9th edn., ch. 16. Addison-Wesley (2010) ISBN-10: 0137035152
Liu, S., et al.: SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering 24(1), 24–45 (1998)
Zschaler, S.: Formal specification of non-functional properties of component-based software systems. Software & Systems Modeling 9(2), 161–201 (2010)
Barwise, J.: An introduction to first-order logic. Studies in Logic and the Foundations of Mathematics 90, 5–46 (1977)
Srivastava, S.M.: Syntax of First-Order Logic. A Course on Mathematical Logic, pp. 1–13. Springer, New York (2013)
Ayorinde, I.T., Akinkunmi, B.O.: Application of First-Order Logic in Knowledge Based Systems. African Journal of Computing & ICTÂ 6(3) (2013)
Jesse, A., et al.: Premise selection for mathematics by corpus analysis and kernel methods. Journal of Automated Reasoning, 1–23 (2011)
Richard, M.D., Richard, P.L.: Neural network classifiers estimate Bayesian a posteriori probabilities. Neural Computation 3(4), 461–483 (1991)
Irina, R.: An empirical study of the naive Bayes classifier. In: IJCAI 2001 Workshop on Empirical Methods in Artificial Intelligence, vol. 3, pp. 41–46 (2001)
Russell, S.: Artificial intelligence: A modern approach, 2nd edn., vol. ch. 11. Pearson Education India (2003)
Richard, E., Nilsson, J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
de Moura, L., Bjørner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)
Rizwan, A., Saif, R.K., Aamer, N., Tai-hoo, K.: IASRE: An Integrated Software Architecture Reuse and Evaluation Framework. In: ASEA 2010, pp. 174–187 (2010)
Xinyu, Z., Li, Z., Cheng, S.: The Research of the Component-based Software Engineering. In: Sixth International Conference on Information Technology: New Generations, pp. 1590–1591. IEEE (2009)
Jubair, B.N.M., Salman, A.M.: A Framework Studio for Component Reusability. CS & IT-CSCP-2012, 325–335 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Huynh, K.T., Bui, T.H., Quan, T.T. (2015). A Lightweight Formal Approach for Component Reuse. In: Nguyen, VH., Le, AC., Huynh, VN. (eds) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol 326. Springer, Cham. https://doi.org/10.1007/978-3-319-11680-8_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-11680-8_41
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11679-2
Online ISBN: 978-3-319-11680-8
eBook Packages: EngineeringEngineering (R0)