Paper Details

%T Costing by Construction
%A Greg Michaelson
%E Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
%B Communicating Process Architectures 2013
%X Predicting the performance of sequential systems is hard
   and concurrency brings additional complexities of
   coordination and timing. However, current models of
   concurrency tend to be unitary and so conflate computation
   and coordination. In contrast, the Hume language is based
   on concurrent generalised finite state boxes linked by
   wires. Boxes are stateless with transitions driven by
   pattern matching to select actions in a full strength
   functional language. This explicit separation of
   coordination and computation greatly eases concurrent system
   modelling: classical inductive reasoning may be used
   to establish properties within boxes, while box coordination
   may be explored independently through the novel box
   calculus. This seminar gives an introduction to the Hume
   language, cost models for Hume, and the box calculus, and
   considers how they might be integrated in a system to
   support costing by construction, where the
   resource implications of design decisions are made manifest
   as a system evolves.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.