Formal Specification-based Online Monitoring

Hui Liang,Jin Song Dong,Jing Sun,Roger Duke,Rudolph E. Seviora
2006-01-01
Abstract:The J2EE platform allows the rapid development of a large class of complex and robust server-side applications. However, some J2EE constraints pose serious challenges to the development of J2EE applications that interact with legacy systems outside the ...
What problem does this paper attempt to address?