ReActor: A notation for the specification of actor systems and its semantics
| dc.contributor.author | Burmeister, Rodger | |
| dc.contributor.editor | Kowalewski, Stefan | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2018-10-31T12:45:22Z | |
| dc.date.available | 2018-10-31T12:45:22Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | With the increasing use of the actor model in concurrent programming there is also an increased demand in precise design notations. Precise notations enable software engineers to rigorously specify and validate the non-deterministic behavior of concurrent systems. Traditional design notations are either imperative, too concrete, or do not support the actor model. In this paper, we present a new, TLA-inspired specification language called ReActor that supports a declarative style of specification and selected programming language features in combination. For ReActor a precise operational semantics is defined in terms of action interleavings. We propose ReActor to be used in abstract design specifications and as a supplement to existing design notations, especially if a sound notion of concurrent objects is required. | en |
| dc.identifier.isbn | 978-3-88579-607-7 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/17700 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2013 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-213 | |
| dc.title | ReActor: A notation for the specification of actor systems and its semantics | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 142 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 127 | |
| gi.conference.date | 26. Februar - 1. März 2013 | |
| gi.conference.location | Aachen | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1