selected publications academic article Modeling and validation of service-oriented architectures. ACM Sigsoft Software Engineering Notes. 28:68-77. 2003