Tech Reports Home Contact
Technical Report Series
Actions
Submit Report
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0054


TitlePreserving Coordination Properties when Transforming Concurrent System Components
AuthorsGudmund Grov, Robert Pointon, Greg Michaelson, Andrew Ireland
Date2007-10-26
AbstractComplexity 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.
GroupDependable Systems Group
Notes
Download

 

Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer