Loading...
Please wait, while we are loading the content...
Similar Documents
Extending rebeca with synchronous messages and reusable components
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sirjani, Marjan Deboer, F. R. Movaghar, Ali Shali, Amin |
| Copyright Year | 2005 |
| Abstract | textabstractIn this paper, we propose extended Rebeca as a tool-supported actor-based language for modeling and verifying of concurrent and distributed systems. We enrich Rebeca with a formal concept of components which integrates the message-driven computational model of actor-based languages with synchronous message passing. Components are used to encapsulate a set of internal active objects which react asynchronously to messages by means of methods and which additionally interact via a synchronous message passing mechanism. Components themselves interact only via asynchronous and anonymous messages. We present our compositional verification approach and abstraction techniques, and the theory corresponding to it, based on formal semantics of Rebeca. These techniques are exploited to overcome state explosion problem in model checking |
| Starting Page | 1 |
| Ending Page | 16 |
| Page Count | 16 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://ftp.cwi.nl/CWIreports/SEN/SEN-R0505.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
