Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
11-2013
Abstract
We present an automatic approach to detecting symmetry relations for general concurrent models. Despite the success of symmetry reduction in mitigating state explosion problem, one essential step towards its soundness and effectiveness, i.e., how to discover sufficient symmetries with least human efforts, is often either overlooked or oversimplified. In this work, we show how a concurrent model can be viewed as a constraint satisfaction problem (CSP), and present an algorithm capable of detecting symmetries arising from the CSP which induce automorphisms of the model. To the best of our knowledge, our method is the first approach that can automatically detect both process and data symmetries as demonstrated via a number of systems.
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), Silicon Valley, USA, November 11-15
First Page
15
Last Page
25
ISBN
9781479902156
Identifier
10.1109/ASE.2013.6693062
Publisher
IEEE
City or Country
Silicon Valley, USA
Citation
ZHANG, Shao Jie; SUN, Jun; SUN, Chengnian; LIU, Yang; MA, Junwei; and DONG, Jin Song.
Constraint-based automatic symmetry detection. (2013). Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), Silicon Valley, USA, November 11-15. 15-25.
Available at: https://ink.library.smu.edu.sg/sis_research/5005
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1109/ASE.2013.6693062