Abstract
Software reuse includes low-level components reuse, high-level components reuse and system architecture reuse. High-level components reuse and software architecture reuse are still limited to some domain specific models, while low-level components reuse is constrained by machine’s retrieve ability. This paper proposes a mechanism that builds software in three levels, namely software system, high-level components and low-level components. Each level has a unique structure and organization manner. The focus of the paper is on the construction of high-level components and their matching and composition approaches. Design pattern is proposed for building generic high-level components with large number of alternatives. Once a pattern model of high-level component is constructed, it can be directly used or generalized. Design space incorporated with formal specification technology is introduced to not only precisely describe the relationship between high-level components but also easily analyze components matching and composing. The method is illustrated with a debugger example.
This work is supported by National Natural Science Foundation of China (No. 60173030)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mili, H., Mili, F., and Mili, A. 1995. Reusing software: Issues and research directions. IEEE Transaction on Software Engineering, 21(6):528–562
Penix, J. and Alexander, P. 1999. Efficient Specification-Based Component Retrieval. Automated Software Engineering, 6, 139–170, Kluwer Academic Publishers
Shaw, M. and Garlan, D. 1996. Software architecture: perspectives on an emerging discipline. Prentice Hall.
Rollins, E.J. and Wing, J. 1991. Specifications as search keys for software libraries. In Proceedings of the Eight International Conference in Logic Programming.
Moormann Zaremski, A. and Wing, J.M. 1995. Signature matching, a tool for using software libraries. ACM Transactions on Software Engineering and Methodology (TOSEM).
Moormann Zaremski, A. and Wing, J.M. 1995. Specification matching of software components. In 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering.
Penix, J. and Alexander, P. 1997. Toward automated component adaptation. In Proceedings of the Ninth International Conference on Software Engineering and KE, page 535–542.
Rakotonirainy, A., Bond, A., Indulska, J. and Leonard, D., 2000, SCAF: A simple component architecture framework. IEEE 0-7695-0731-X/00
Zaremski, A.M., and Wing, J.M., 1995, Specification matching of software components. SIGSOFT’95 Pro of 3rd ACM SIGSOFT Symposium on the foundation of software Engineering-ACM Press
Jacky, J., 1997, The way of Z: Practical Programming with Formal Methods. Cambridge University Press
Matthews, C., and Swatman, P.A., 2000, Fuzzy Concept and Formal Methods: Some Illustrative Examples, IEEE 1530-1362/00
Zaremski, A.M. and Wing, J.M. 1993, Signature Matching: A key to Reuse, Proc. ACM SIGSOFT Symp. On the Foundations on Software Engineering
Miao, H., Li, G. and Zhu, G., 1999, Software Engineering Language — Z, (in Chinese), Shanghai Science and Technology Literature Press
Miao, H., Yu, C. and Li, L., 2000, A formalized abstract component object model— Z-COM+, 36th International Conference in Technology of Object • Oriented Languages and Systems Tools-Asia, IEEE Computer Society Press
Zaremski, A.M. and Wing, J.M., 1997, Specification matching of software components, ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 6, No. 4, pages 333–369.
Matthews, C., and Swatman, P.A., 2000, Fuzzy concept and formal methods: a fuzzy logic toolkit for Z, in J.P. Bowen, S.E. Dunne, A. Springer-Verlag, Berlin, ISBN 3-540-67944-8, 491–510.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, J., Miao, H., Gao, X. (2002). A Specification-Based Software Construction Framework for Reuse. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive