Paper Info
Title
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus
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.
Year
DOI
Venue
2011
10.1109/SEW.2011.7
SEW
Keywords
Field
DocType
architectural approach,process algebra,precise semantics,architectural models,modelling ambient-prisma,channel ambient calculus,aspect-oriented software architecture,mobile application,formal language,first-class citizen,mobile system,mobile computing,mobile communication,weaving,formal languages,algebra,metamodel,code generation,software architecture,ambient calculus,calculus,aspect oriented programming,computer aided software engineering,distributed systems,semantics
Mobile computing,Formal language,Programming language,Computer science,Code generation,Computer-aided software engineering,Software architecture,Process calculus,Ambient calculus,Metamodeling
Conference
ISSN
Citations 
PageRank 
1550-6215
0
0.34
References 
Authors
7
2
Name
Order
Citations
PageRank
Nour Ali136527.65
Emilio Tuosto249942.62