Aspect Modeling Case Study.
We have written a paper that discusses the use of Protocol Modeling for representing behavioral aspects. This paper describes a ModelScope solution to a "Crisis Management System" case study. (This case study was invented by Jörg Kienzle of McGill University et al. as a basis for the comparative study of aspect-oriented modeling techniques).
You can download this paper from here (390 K). This paper has been accepted for publication in a special issue of Transactions on Aspect Oriented Software Development (Springer) edited by Jörg Kienzle and devoted to a comparison of different aspectual modeling approaches.
You can also download the ModelScope solution to the Crisis Managment System case study from here (1170 K).