Loading...

Efficient symmetry reduction for an actor-based model

Jaghoori, M. M ; Sharif University of Technology | 2005

185 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/11604655_56
  3. Publisher: 2005
  4. Abstract:
  5. 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
  6. Keywords:
  7. Automation ; Computer programming languages ; Graph theory ; Mathematical instruments ; Polynomials ; Problem solving ; Systems analysis ; Graph isomorphism ; Orbit problems ; Rebeca models ; Symmetry reduction ; Information analysis
  8. 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)
  9. URL: https://link.springer.com/chapter/10.1007/11604655_56