Title :
A Data-Flow Based Coordination Approach to Concurrent Software Engineering
Author :
Penczek, Frank ; Wei Cheng ; Grelck, Clemens ; Kirner, Raimund ; Scheuermann, Bjorn ; Shafarenko, Alex
Author_Institution :
Sch. of Comput. Sci., Univ. of Hertfordshire, Hatfield, UK
Abstract :
In this paper we present S-Net, a coordination language based on dataflow principles, intended for design of concurrent software. The language is introduced and then used for programming a concurrent solver for a combinatorial optimisation problem. We present the analysis and tracing facilities of our S-Netruntime system and show how these aid programmers in optimising the performance of their applications.
Keywords :
combinatorial mathematics; data flow analysis; optimisation; software architecture; S-Netruntime system; aid programmers; combinatorial optimisation problem; concurrent software design; concurrent software engineering; concurrent solver programming; coordination language; data-flow based coordination approach; tracing facilities; Concurrent computing; Educational institutions; Electronic mail; Programming; Software; Synchronization; Topology;
Conference_Titel :
Data-Flow Execution Models for Extreme Scale Computing (DFM), 2012
Conference_Location :
Minneapolis, MN
DOI :
10.1109/DFM.2012.14
