A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing
    Download PDF
Jan Oliver Ringert,Bernhard Rumpe. A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing. International Journal of Software and Informatics, 2011,5(1-2Part1):29~53
Hits: 5192
Download times: 3372
Fund:This work is sponsored by DFG GK/1298 AlgoSyn.
Abstract:Specification of interactive distributed systems has been a challenge for decades. We present an overview of the specification techniques for these systems based on dataflow networks and stream processing. It covers models of streams and specification of stream processing systems that are related to and based on the development method Focus invented by Manfred Broy and his group. We introduce a basic set of manipulator operations for streams, stream bundles, stream processing functions, and give a summary of related state-based specification techniques. Furthermore we sketch an overview of implementations for the Focus framework. These range from formalizations using interactive proof assistants and model checkers to the modeling IDE AutoFocus.
keywords:Focus  stream processing  automata  semantics
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:3139547
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号