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 |
|
|
|