Loading...
Efficient symmetry reduction for an actor-based model
Jaghoori, M. M ; Sharif University of Technology | 2005
185
Viewed
- Type of Document: Article
- DOI: 10.1007/11604655_56
- Publisher: 2005
- Abstract:
- Symmetry reduction is a promising technique for combatting state space explosion in model checking. The problem of finding the equivalence classes, i.e., the so-called orbits, of states under symmetry is a difficult problem known to be as hard as graph isomorphism. In this paper, we show how we can automatically find the orbits in an actor-based model, called Rebeca, without enforcing any restriction on the modeler. The proposed algorithm solves the orbit problem for Rebeca models in polynomial time. As a result, the simple actor-based Rebeca language can be utilized efficiently for modeling and verification of systems, without involving the modeler with the details of the verification technique implemented. © Springer-Verlag Berlin Heidelberg 2005
- Keywords:
- Automation ; Computer programming languages ; Graph theory ; Mathematical instruments ; Polynomials ; Problem solving ; Systems analysis ; Graph isomorphism ; Orbit problems ; Rebeca models ; Symmetry reduction ; Information analysis
- Source: 2nd International Conference on Distributed Computing and Internet Technology, ICDCIT 2005, Bhubaneswar, 22 December 2005 through 24 December 2005 ; Volume 3816 LNCS , 2005 , Pages 494-507 ; 03029743 (ISSN); 3540309993 (ISBN); 9783540309994 (ISBN)
- URL: https://link.springer.com/chapter/10.1007/11604655_56