An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

Agha, Gul; Thati, Prasanna

doi:10.1007/978-3-540-39993-3_4

Cited by 22 publications

(21 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In evolutionary terms, we could say that theoretical research tests and promotes language mutations, not necessarily driven by the actual environment or the short-term future. 4 Additionally, when working in a formal framework it is easier to distinguish the different abstraction levels involved in a given issue. Hence it is easier to first pick out just a single level to develop specific solutions, and then to study the integration of separate approaches into a distinct model, explicitly targeted at the combination of the different abstraction levels.…”

Section: The Big Data Eramentioning

confidence: 99%

The role of concurrency in an evolutionary view of programming abstractions

Crafa

2015

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

In this paper we examine how concurrency has been embodied in mainstream programming languages. In particular, we rely on the evolutionary talking borrowed from biology to discuss major historical landmarks and crucial concepts that shaped the development of programming languages. We examine the general development process, occasionally deepening into some language, trying to uncover evolutionary lineages related to specific programming traits. We mainly focus on concurrency, discussing the different abstraction levels involved in present-day concurrent programming and emphasizing the fact that they correspond to different levels of explanation. We then comment on the role of theoretical research on the quest for suitable programming abstractions, recalling the importance of changing the working framework and the way of looking every so often. This paper is not meant to be a survey of modern mainstream programming languages: it would be very incomplete in that sense. It aims instead at pointing out a number of remarks and connect them under an evolutionary perspective, in order to grasp a unifying, but not simplistic, view of the programming languages development process.

show abstract

Section: The Big Data Eramentioning

confidence: 99%

The role of concurrency in an evolutionary view of programming abstractions

Crafa

2015

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…The actor model unifies the notion of objects with concurrency [9]. Each actor operates asynchronously with other actors by sending asynchronous messages.…”

Section: Aop Stepsmentioning

confidence: 99%

“…However, the implemented software still may not meet its performance provisions and needs to be modified to improve the performance. In this paper AOP, a novel Actor-Oriented Program reverse engineering approach, is proposed to reconstruct an objectoriented program architecture based on a high performance model such as Actor Model [9]. According to this model, actors interact asynchronously while all the communications inside an actor are performed synchronously.…”

Section: Introductionmentioning

confidence: 99%

A New Metric for Automatic Program Partitioning

Bushehrian

2009

2009 Ninth IEEE International Conference on Computer and Information Technology

View full text Add to dashboard Cite

Software reverse engineering techniques are most often applied to reconstruct the architecture of a program with respect to quality constraints, or non-functional requirements such as maintainability or reusability. However, there has been no effort to assess the architecture of a program from the performance viewpoint and reconstruct this architecture in order to improve the program performance. In this paper, a novel Actor-Oriented Program reverse engineering approach, is proposed to reconstruct an object-oriented program architecture based on a high performance model such as actor model. Since actors can communicate with each other asynchronously, reconstructing the program architecture based on this model may result in the concurrent execution of the program invocations and consequently increasing the overall performance of the program when enough processors are available.

show abstract

“…There are a fair number of attempts that addressed the connections between actor and process algebra, most notably Aπ calculus [2] which is a typed asynchronous variant of the π-calculus. Our aim here is different from that of [2]; the main concern in [2] is semantics while here our main concern is verification.…”

Section: Introductionmentioning

confidence: 99%

“…Our aim here is different from that of [2]; the main concern in [2] is semantics while here our main concern is verification. For our purpose, incorporated data types of mCRL2, such as integer, boolean and list are very handy and simplify our translation while in [2], all data types have to be defined using basic constructs of the π-calculus. To have a better insight into the translation and its effectiveness we carried out several case studies including the tree identify phase of the IEEE 1394 firewire.…”

Section: Introductionmentioning

confidence: 99%

Sarir: A Rebeca to mCRL2 Translator

Hojjat¹,

Sirjani²,

Mousavi³

et al. 2007

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)

View full text Add to dashboard Cite

We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and theories developed for mCRL2 in Rebeca. The mapping is applied to several case-studies including the tree identify phase of the IEEE 1394 standard. The results of the experiment show that the minimization tools of mCRL2 can be very effective and the outcome of the present translation outperforms that of the translation to the input language of the Spin modelchecker.

show abstract

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

Cited by 22 publications

References 38 publications

The role of concurrency in an evolutionary view of programming abstractions

The role of concurrency in an evolutionary view of programming abstractions

A New Metric for Automatic Program Partitioning

Sarir: A Rebeca to mCRL2 Translator

Contact Info

Product

Resources

About