WoTUG - The place for concurrent processes

Paper Details

@InProceedings{East08,
  title = "{P}rioritized {S}ervice {A}rchitecture: {R}efinement and {V}isual {D}esign",
  author= "East, Ian R.",
  editor= "Welch, Peter H. and Stepney, S. and Polack, F.A.C and Barnes, Frederick R. M. and McEwan, Alistair A. and Stiles, G. S. and Broenink, Jan F. and Sampson, Adam T.",
  pages = "99--113",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn= "978-1-58603-907-3",
  year= "2008",
  month= "sep",
  abstract= "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!