Loading...
Extended Rebeca: A component-based actor language with synchronous message passing
Sirjani, M ; Sharif University of Technology | 2005
220
Viewed
- Type of Document: Article
- DOI: 10.1109/ACSD.2005.12
- Publisher: 2005
- Abstract:
- In this paper, we propose extended Rebeca as a tool-supported 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
- Keywords:
- Abstracting ; Computation theory ; Concurrent engineering ; Distributed computer systems ; Semantics ; Component ; Modular verification ; Reactive systems ; Rebeca ; The actor model ; Computer programming languages
- Source: 5th International Conference on Application of Concurrency to System Design, ACSD 2005, St. Malo, 7 June 2005 through 9 June 2005 ; Volume 2005 , 2005 , Pages 212-220 ; 15504808 (ISSN); 0769523633 (ISBN); 9780769523637 (ISBN)
- URL: https://ieeexplore.ieee.org/document/1508146