Sökning: WFRF:(Mousavi Mohammad Reza) >
Symmetry and partia...
-
Jaghoori, Mohammad MahdiCWI, Amsterdam, Netherlands
(författare)
Symmetry and partial order reduction techniques in model checking Rebeca
- Artikel/kapitelEngelska2010
Förlag, utgivningsår, omfång ...
-
2009-12-18
-
New York :Springer,2010
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:hh-20518
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20518URI
-
https://doi.org/10.1007/s00236-009-0111-xDOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:art swepub-publicationtype
Anmärkningar
-
Rebeca is an actor-based language with formal semantics which is suitable for modeling concurrent and distributed systems and protocols. Due to its object model, partial order and symmetry detection and reduction techniques can be efficiently applied to dynamic Rebecamodels. We present two approaches for detecting symmetry in Rebeca models: One that detects symmetry in the topology of inter-connections among objects and another one which exploits specific data structures to reflect internal symmetry in the internal structure of an object. The former approach is novel in that it does not require any input from the modeler and can deal with the dynamic changes of topology. This approach is potentially applicable to a wide range of modeling languages for distributed and reactive systems. We have also developed a model checking tool that implements all of the above-mentioned techniques. The evaluation results show significant improvements in model size and model-checkingtime.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Sirjani, MarjanReykjavik Univ, Reykjavik, Iceland
(författare)
-
Mousavi, Mohammad RezaEindhoven Univ Technol, NL-5600 MB Eindhoven, Netherlands(Swepub:hh)mohmou
(författare)
-
Khamespanah, EhsanUniv Tehran, Tehran, Iran
(författare)
-
Movaghar, AliSharif Univ Technol, Tehran, Iran
(författare)
-
CWI, Amsterdam, NetherlandsReykjavik Univ, Reykjavik, Iceland
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Acta InformaticaNew York : Springer47:1, s. 33-660001-59031432-0525
Internetlänk
Hitta via bibliotek
Till lärosätets databas