Preserving coordination properties when transforming concurrent system components

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. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features--Concurrent programming structures, Control structures; D.2.4 [Software]: Program Verification--Correctness proofs; D.2.7 [Software]: Distribution, Maintenance, and Enhancement--Restructuring Keywords Transformations, Verification, Scheduling,Concurrency

• Type: Journal
• Year: 2008
• Where: SAC
• Authors: Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
• Keywords: Applied Computing, Distributed Systems, Hierarchical Hume Extension, Hume Programming Language, SAC 2008