2013 13th International Conference on Application of Concurrency to System Design (ACSD) (2013)
July 8, 2013 to July 10, 2013
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2013.21
Many novel programming models for concurrency have been proposed in the wake of the multicore computing paradigm shift. They aim to raise the level of abstraction for expressing concurrency and synchronization in a program, and hence to help developers avoid programming errors. Because of this goal, the semantics of the models themselves becomes ever more complex, increasing the risk of design flaws. We propose a methodology for prototyping concurrency models using executable formal specifications. The prototype can be used to test and correct the model at an early stage. Once the development is completed, the executable formal specification serves as an unambiguous reference. We apply this methodology to SCOOP, an object-oriented concurrency model. Using this approach, we were able to uncover and fix three major flaws in the model.
Object oriented modeling, Concurrent computing, Equations, Runtime, Reactive power, Mathematical model, Programming
B. Morandi, M. Schill, S. Nanz and B. Meyer, "Prototyping a Concurrency Model," 2013 13th International Conference on Application of Concurrency to System Design (ACSD), Barcelona, Spain, 2013, pp. 170-179.