Please use this identifier to cite or link to this item:
|Title:||Evolution and runtime monitoring of software systems|
|Citation:||Liang, H.,Dong, J.S.,Sun, J. (2007). Evolution and runtime monitoring of software systems. 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 : 343-348. ScholarBank@NUS Repository.|
|Abstract:||Software evolution is a critical and inevitable stage in the life cycle of all software systems. We propose an evolution technique based on aspect-oriented programming. In our technique, join points guide where the modification should be made, and inter-type declaration and advice describe the expected modification. To check whether the software system resulting from the evolution based on AOP technique behaves as expected by system requirements, we propose a runtime monitoring technique for verifying aspect-oriented programs dynamically. In our technique, the valuable information about desired dynamic behaviors of the system is extracted through animating the formal specification of the system. Meanwhile, the information about dynamic behaviors of concrete implementations of the target system is obtained through program debugging. Base on the attained information from both sides, the judgement on the consistency of the concrete implementation with the formal specification is timely made while the system is running. Copyright © (2007) by Knowledge Systems Institute (KSI).|
|Source Title:||19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Nov 2, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.