Visifold
Project Description
The unavailability of proper programming tools to effectively produce correct
applications diminishes the
potential utility of the existing parallel and distributed
architectures of today.
Visual programming software engineering tools can assist programmers
in writing correct code and to tailor their applications to achieve good
performance.
Manifold is a coordination language for the orchestration of
concurrent activities in massively parallel and distributed
computing environments.
Visifold is a visual coordination language designed to produce
Manifold programs. In facts, Manifold and Visifold are tightly coupled:
a Manifold program is the textual representation of the coordination protocol
of a parallel or distributed application, and Visifold
is the graphical representation of a Manifold program.
The work on Visifold is carried out
within the project
Coordination and applications .
Contact person (email): Farhad Arbab
People involved:
People who have previously worked on Visifold:
A first Implementation
A protype of Visifold is currently implemented using TCL/TK.
Extensions of the project
Visifold will be extended in order to allow analysis,
semi-automatic verification, monitoring, and
debugging of concurrent applications.
Links to similar projects
Code 2.0
HeNCE2
PhredVPE
(to the Theme of SEN3: Coordination Languages page)
(to the Cluster of Software Engineering page)