Loading...
Architectural models of ambient-PRISMA in channel ambient calculus
Date
2011
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 wellsuited for modelling Ambient-PRISMA.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
34th IEEE Software Engineering Workshop;
Files
Loading...
2011_Ali%20Nour.pdf
Adobe PDF, 505.58 KB
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI)