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 wellsuited
for modelling Ambient-PRISMA.

Variability Management (VM) in Software Product Line (SPL) is a key activity that usually affects the degree to which a SPL is successful. SPL community has spent huge amount of resources on developing various approaches ...

Spatial Hypertext Wiki (ShyWiki) is a wiki which represents knowledge using notes that are spatially distributed in wiki pages and have some visual characteristics such as colour, size, or font type. Spatial and visual ...

Service Oriented Architecture (SOA) is an architectural style that is widely used in distributed and dynamic systems. The Service oriented architecture Modeling Language (SoaML) is an OMG standard for modelling SOA independent ...

Collaboration is a key factor in successful knowledge management. Recently, wikis have become a popular solution for distributed and collaborative knowledge management. However, most wikis do not appropriately support the ...

Spatial Hypertext Wiki (ShyWiki) is a wiki which represents knowledge using notes that are spatially distributed in wiki pages and have visual characteristics such as colour, size, or font type. The use of spatial and ...