Architectural models of Ambient-PRISMA in Channel Ambient Calculus

Nour Ali; Emilio Tuosta

doi:10.1109/SEW.2011.7

Architectural models of Ambient-PRISMA in Channel Ambient Calculus

Nour Ali, Emilio Tuosta

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 34th software engineering workshop (SEW)
Place of Publication	USA
Publisher	IEEE
Pages	1-10
Number of pages	10
ISBN (Print)	9781467302456
DOIs	https://doi.org/10.1109/SEW.2011.7
Publication status	Published - 21 Jun 2011
Event	Proceedings of the 34th software engineering workshop (SEW) - University of Limerick, Ireland, 20-21 June 2011 Duration: 21 Jun 2011 → …

Workshop

Workshop	Proceedings of the 34th software engineering workshop (SEW)
Period	21/06/11 → …

Keywords

mobile systems
process algebras
software architecture

Access to Document

10.1109/SEW.2011.7Licence: Unspecified

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6146901&tag=1Licence: Unspecified

Cite this

@inproceedings{4c90fb84dd9140f497575cb508b5447d,

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.",

keywords = "mobile systems, process algebras, software architecture",

author = "Nour Ali and Emilio Tuosta",

year = "2011",

month = jun,

day = "21",

doi = "10.1109/SEW.2011.7",

language = "English",

isbn = "9781467302456",

pages = "1--10",

booktitle = "Proceedings of the 34th software engineering workshop (SEW)",

publisher = "IEEE",

note = "Proceedings of the 34th software engineering workshop (SEW) ; Conference date: 21-06-2011",

}

TY - GEN

T1 - Architectural models of Ambient-PRISMA in Channel Ambient Calculus

AU - Ali, Nour

AU - Tuosta, Emilio

PY - 2011/6/21

Y1 - 2011/6/21

N2 - 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.

AB - 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.

KW - mobile systems

KW - process algebras

KW - software architecture

U2 - 10.1109/SEW.2011.7

DO - 10.1109/SEW.2011.7

M3 - Conference contribution with ISSN or ISBN

SN - 9781467302456

SP - 1

EP - 10

BT - Proceedings of the 34th software engineering workshop (SEW)

PB - IEEE

CY - USA

T2 - Proceedings of the 34th software engineering workshop (SEW)

Y2 - 21 June 2011

ER -

Architectural models of Ambient-PRISMA in Channel Ambient Calculus

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this