Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Author

Ali, Nour ; Tuosto, Emilio

Author_Institution

Lero-The Irish Software Eng. Res. Centre, Univ. of Limerick, Limerick, Ireland

fYear

2011

fDate

20-21 June 2011

Firstpage

1

Lastpage

10

Abstract

Ambient-PRISMA is an architectural approach for specifying aspect-oriented software architecture and generating code of distributed and mobile systems. Ambient-PRISMA lacks a precise semantics due to the fact that it is based only on a metamodel. In this paper, Ambient-PRISMA is mapped into a formal language called Channel Ambient Calculus, a process algebra for specifying mobile applications that provides channels and ambients as first-class citizens. We argue that the formalization in Channel Ambient Calculus is particularly well-suited for modelling Ambient-PRISMA.

Keywords

aspect-oriented programming; formal languages; mobile computing; process algebra; program compilers; software architecture; ambient-PRISMA; architectural models; aspect-oriented software architecture; channel ambient calculus; code generation; distributed systems; first-class citizens; formal language; formalization; metamodel; mobile systems; process algebra; Algebra; Calculus; Computer aided software engineering; Connectors; Mobile communication; Semantics; Weaving; mobile systems; process algebras; software architecture;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Workshop (SEW), 2011 34th IEEE

Conference_Location

Limerick

ISSN

1550-6215

Print_ISBN

978-1-4673-0245-6

Type

conf

DOI

10.1109/SEW.2011.7

Filename

6146901