Preserving Coordination Properties when Transforming Concurrent System Components
Gudmund Grov, Robert Pointon, Greg Michaelson, Andrew Ireland
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour between components, which may change the behaviour of a whole system. We explore this problem through the Hume
programming language and explore the Hierarchical Hume extension which enables the localisation of component transformation.