High-level program description language

High-level program description language

[Nickolay V. Shmyrev]

Hello frysk people

The following question. For debugging and monitoring distributed program
it's important to have high-level program representation, it's not
enough to have source code to understand how program behaves. More
generic view can help in problem identification, program visualization,
testing and tracing user requirements. For example this article is
rather interesting:
http://ase.cs.uni-essen.de/olbib/2001grundy.pdf

For sure there are some efforts in this domain, for example some
programs have UML-like description or architecture description, but they
aren't investigated well.

So my question, are there plans to add support for such high-level view
of the program to frysk framework? What technology can be used here?
Low-level languages like C or Java are rather standard, while high-level
languages aren't, so it would be nice to consider some candidates.

Re: High-level program description language

[Sami Wagiaalla]

Hi,

This is definitely an area of interested for the frysk team. The
ultimate goal of frysk is to provide a tool capable of debugging
and monitoring large complex multi-threaded systems.

Thank for your interest and feed back. The paper looks very
interesting I will be going through it.

Sami Wagiaalla