Anfonwch hwn fel neges destun: A Process Algebraic Approach to Software Architecture Design