WoTUG - The place for concurrent processes

Paper Details


%T Prioritized Service Architecture: Refinement and Visual Design
%A Ian R. East
%E Peter H. Welch, S. Stepney, F.A.C Polack, Frederick R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, Adam T. Sampson
%B Communicating Process Architectures 2008
%X Concurrent/reactive systems can be designed free of
   deadlock using prioritized service architecture (PSA),
   subject to simple, statically verified, design rules. The
   Honeysuckle Design Language (HDL) enables such
   service\-oriented design to be expressed purely in terms of
   communication, while affording a
   process\-oriented implementation, using the Honeysuckle
   Programming Language (HPL). A number of enhancements to the
   service model for system abstraction are described, along
   with their utility. Finally, a new graphical counterpart to
   HDL (HVDL) is introduced that incorporates all
   these enhancements, and which facilitates interactive
   stepwise refinement.


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

Valid HTML 4.01!