• DocumentCode
    637445
  • 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
  • fYear
    2012
  • fDate
    19-23 Sept. 2012
  • Firstpage
    36
  • Lastpage
    43
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Data-Flow Execution Models for Extreme Scale Computing (DFM), 2012
  • Conference_Location
    Minneapolis, MN
  • Type

    conf

  • DOI
    10.1109/DFM.2012.14
  • Filename
    6612858