Αποστολή με SMS: A Process Algebraic Approach to Software Architecture Design