Actor-eUML for Concurrent Programming
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.
KeywordsState Machine Actor Model Composite State Concurrent Programming Actor Primitive
Unable to display preview. Download preview PDF.
- 1.Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)Google Scholar
- 2.Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A Foundation for Actor Computation. Journal of Functional Programming, 1–72 (1997)Google Scholar
- 4.Mellor, S.J., Balcer, S.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)Google Scholar
- 5.Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDA Distilled. Addison-Wesley, Reading (2004)Google Scholar
- 6.Milicev, D.: Model-Driven Development with Executable UML. Wiley, Chichester (2009)Google Scholar
- 9.Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004)Google Scholar
- 11.Object Management Group: UML Superstructure Specification, Version 2.1.2, http://www.omg.org/docs/formal/07-11-02.pdf
- 12.Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML), Version 1.0, http://www.omg.org/spec/FUML