Generative aspect-oriented component adaptation
Journal Article
Feng, Y., Liu, X., Liu, X., Feng, Y., & Kerridge, J. (2008)
Generative aspect-oriented component adaptation. IET Software, 2(2), 149. https://doi.org/10.1049/iet-sen%3A20070049
As a solution to eliminating component mismatches, a generative aspect- oriented approach to component adaptation is presented. The approach enjoys high level of automation an...
Automated responsive web services evolution through generative aspect-oriented component adaptation
Journal Article
Liu, X., Feng, Y., & Kerridge, J. (2008)
Automated responsive web services evolution through generative aspect-oriented component adaptation. International Journal of Computer Applications in Technology, 31(1/2), 83-93. https://doi.org/10.1504/IJCAT.2008.017721
When building service oriented systems, it is often the case that existing web services do not perfectly match user requirements in target systems. To achieve smooth integrati...
Achieving smooth component integration with generative aspects and component adaptation.
Conference Proceeding
Feng, Y., Liu, X., & Kerridge, J. (2006)
Achieving smooth component integration with generative aspects and component adaptation. In M. Morisio (Ed.), Re-Use of Off-the-shelf Components: 9th International Conference on Software Reuse, 260-272. https://doi.org/10.1007/11763864_19
Due to the availability of components and the diversity of target applications, mismatches between pre-qualified existing components and the particular reuse context in applic...
Achieving seamless component composition through scenario-based deep adaptation and generation.
Journal Article
Liu, X., Wang, B. H. (. & Kerridge, J. (2005)
Achieving seamless component composition through scenario-based deep adaptation and generation. Science of Computer Programming. 56, 157-170. doi:10.1016/j.scico.2004.11.010. ISSN 0167-6423
Mismatches between pre-qualified existing components and the particular reuse context in applications have been a major factor hindering component reusability and successful c...
Reverse engineering.
Book
Chu, W., Lu, C., Chang, C., Liu, X., & Yang, H. (2001)
Reverse engineering. In S. K. Chang (Ed.), Handbook of Software Engineering & Knowledge Engineering, 447-466. World Scientific
Software systems have become business-critical for many companies. These systems are usually large and complex. Some have evolved over decades and therefore are known as legac...
Support software evolution with abstraction rules and program knowledge patterns.
Journal Article
Teng, G. & Liu, X. (2002)
Support software evolution with abstraction rules and program knowledge patterns. Asian-information-science-life. 1, 177-189. ISSN 1541-8219
This paper advocates that reengineering is an effective means of legacy system evolution. Extracting formal specification semantically consistent to the original legacy system...
Reverse engineering through formal abstraction.
Presentation / Conference
Liu, X. (1998, January)
Reverse engineering through formal abstraction. Paper presented at Post-graduate Conference, De Montfort University, Leicester, UK
No abstract available.
A design framework for system re-engineering.
Conference Proceeding
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997)
A design framework for system re-engineering. In APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference, 342-352. https://doi.org/10.1109/APSEC.1997.640191
We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solu...
Formal methods for the re-engineering of computing systems.
Conference Proceeding
Liu, X., Yang, H., & Zedan, H. (1997)
Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference, 409-414. https://doi.org/10.1109/CMPSAC.1997.625024
This paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/mode...