|
Published Articles >> Table of Contents >> Abstract
Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
pp. 212-221
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing
Marjan Sirjani, University of Tehran
Frank de Boer, Centrum voor Wiskunde en Informatica
Ali Movaghar, Institute for Studies in Theoretical Physics and Mathematics and Sharif University of Technology
Amin Shali, University of Tehran
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.12
Send link to a friend
| Abstract |
|
In this paper, we propose extended Rebeca as a toolsupported
actor-based language for modeling and verifying
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 the formal semantics of Rebeca. These techniques
are exploited to overcome the state explosion problem in
model checking.
|
 Additional Information
|
Citation:
Marjan Sirjani, Frank de Boer, Ali Movaghar, Amin Shali,
"Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing,"
acsd,
pp. 212-221,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05),
2005
|
|
