Architectural models of Ambient-PRISMA in Channel Ambient Calculus

Nour Ali, Emilio Tuosta

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

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 languageEnglish
Title of host publicationProceedings of the 34th software engineering workshop (SEW)
Place of PublicationUSA
PublisherIEEE
Pages1-10
Number of pages10
ISBN (Print)9781467302456
DOIs
Publication statusPublished - 21 Jun 2011
EventProceedings of the 34th software engineering workshop (SEW) - University of Limerick, Ireland, 20-21 June 2011
Duration: 21 Jun 2011 → …

Workshop

WorkshopProceedings of the 34th software engineering workshop (SEW)
Period21/06/11 → …

Keywords

  • mobile systems
  • process algebras
  • software architecture

Fingerprint Dive into the research topics of 'Architectural models of Ambient-PRISMA in Channel Ambient Calculus'. Together they form a unique fingerprint.

  • Cite this

    Ali, N., & Tuosta, E. (2011). Architectural models of Ambient-PRISMA in Channel Ambient Calculus. In Proceedings of the 34th software engineering workshop (SEW) (pp. 1-10). IEEE. https://doi.org/10.1109/SEW.2011.7