- Static structures are important for design, and once you reach good ones they tend to persist, with incremental refinement, over software's life.
- And that is practically the only aspect which can be manipulated in an abstract model without over-specification.
So one of the main remaining questions is how we can consistently integrate modelling of dynamic, behavioural aspects into the existing framework: after all one of the unique aspects of software architecture, in comparison with physical one, is that it has a dynamic part. Another question, pertaining to our present context proper, is how we can translate this wisdom into concurrency and distribution.
In a subsequent post we elaborate this point in the context of our language design.
