[Back]

R. Moser, S. Dustdar, J. Gutleber, L. Orsini:
"A Fresh Look At Modeling Distributed Reactive Systems";
Talk: 5th International Workshop on Workflow Management in Service and Cloud Computing (WMSC 2013) in conjunction with CGC 2013, Karlsruhe, Germany; 09-30-2013 - 10-02-2013; in: "Proceedings of the IEEE Third International Conference on Cloud and Green Computing, CGC 2013 and Proceedings of SCA 2013", IEEE Computer Society, (2013), ISBN: 978-0-7695-5114-2; 494 - 501.

Scalable, distributed reactive systems require a scalable control infrastructure. Being able to model such an infrastructure is a prerequisite for putting it into place. In current systems, finite state machine based approaches are prevailing. They are, however, limited by their nature and hamper further improvements. Extensions like statecharts have emerged to alleviate those shortcomings. Despite all this work, the proposed improvements do not live up to the requirements of continuously operating distributed systems. Therefore we look for alternatives that break with the underlying state-based model. Workflow systems recently became mature enough to be considered for use cases going beyond small-scale business
applications. The concept on which they build is promising to
scale to large systems. This paper compares various modeling
technologies using the real-world scenario of distributed data
acquisition systems as we find them in currently operating highenergy
physics installations at the Large Hadron Collider at CERN. The outcome of our qualitative evaluation will show that current finite state machine compared to workflow based approaches have a bigger gap between specification and executed processes. Consequently workflow based approaches are better suited for the use case at hand and require less custom software extensions to reduce the remaining gap.

distributed systems; reactive systems; state machines; state charts; ECA rules; workflows; web services

http://dx.doi.org/10.1109/CGC.2013.83