Using timed CSP for specification verification and simulation of multimedia synchronization

A.F. Ates, M. Bilgic, S. Saito, B. Sarikaya
1996 IEEE Journal on Selected Areas in Communications  
This position paper considers how the principles of aspect-oriented programming can be applied to formal methods. By specifying different aspects of a system in different formal languages, the diversity and power of existing specification languages can be exploited. We describe our experiences of applying such an approach in the field of distributed multimedia systems. The significance of an aspect-oriented approach to the specification of adaptive QoS management functions is also considered.
doi:10.1109/49.481699 fatcat:w7gqoqfr2balpfrdk66ebo3xmy