%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.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org