Abstract: Increasing complexity of distributed system, and demands for enabling their configurability and reusability are strong motivations for aspect-oriented, and correctness of distributed systems requires that formal development methods are taken during softw

Key words: Aspect-oriented, Distributed system, Formal method, Ocsid