Actor-eUML for concurrent programming

  • Authors:
  • Kevin Marth;Shangping Ren

  • Affiliations:
  • Illinois Institute of Technology, Department of Computer Science, Chicago, IL;Illinois Institute of Technology, Department of Computer Science, Chicago, IL

  • Venue:
  • ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The advent of multi-core processors offers an opportunity to increase the usage of Executable UML. Researchers are advocating the division of software systems into a productivity layer and an efficiency layer to shield mainstream programmers from the complexities of parallelism. Such separation of application and platform concerns is the foundation of Executable UML. To leverage this opportunity, an approach to Executable UML must address the complexity of the UML standard and provide a formal model of concurrency. In this paper, we introduce the Actor-eUML model and formalize the mapping between actors in the Actor model and Executable UML agents (active objects) by unifying the semantics of actor behavior and the hierarchical state machine (HSM) semantics of Executable UML agents. The UML treatment of concurrency is simplified, and the Actor model is extended to enable a set of actor behaviors to specify the HSM for an Executable UML active class.