Zaslat SMS: A Process Algebraic Approach to Software Architecture Design