Book Chapter10.1007/11914952_42
Developing mobile ambients using an aspect-oriented software architectural model
Nour Ali,C. Millán,Isidro Ramos +2 more
- 29 Oct 2006
- pp 1633-1649
7
TL;DR: This paper presents how a platform-independent model called Ambient-PRISMA combines both Ambient Calculus and Aspect-Oriented Software Architecture for the specification of distributed and mobile systems.
read more
Abstract: Nowadays, distributed and mobile systems are acquiring greater importance and becoming more widely used to support ubiquitous computing However, developing systems of this kind is a difficult task Instead of concentrating on how problems should be solved developers must worry about implementation details Ambient Calculus is a formalism that provides primitives to describe mobile systems in an abstract way Aspect-oriented software development and software architectures promise to achieve reusability, maintenance and adaptability, which are all essential for the development of distributed systems In this paper, we present how a platform-independent model called Ambient-PRISMA combines both Ambient Calculus and Aspect-Oriented Software Architecture for the specification of distributed and mobile systems A platform-specific model in .Net for supporting Ambient-PRISMA code generation is also presented.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Modeling Service Oriented Architectures of Mobile Applications by Extending SoaML with Ambients
Nour Ali,Muhammad Ali Babar +1 more
- 27 Aug 2009
TL;DR: An approach is presented, which introduces ambients in Service oriented architecture Modeling Language (SoaML) proposed by the OMG in order to allow its models to include mobility primitives, and demonstrates the use of SoaML for modeling SOA of a mobile application.
21
Comparing architecture description languages for mobile software systems
Nour Ali,Carlos Solis,Isidro Ramos +2 more
- 10 May 2008
TL;DR: A comparison among existingADLs that have addressed distributed and mobile software systems is presented to be a starting point for discovering whether ADLs have properly supported mobility or not.
10
Dormancy and Spatial Logic of Mobile Ambients
Rongde Lin,Jianqing Xi,Yubin Guo +2 more
- 18 Oct 2008
TL;DR: An extension of ambient logic, united spatial-state logic, is presented, which can express dormancy of processes, thus spatial properties of processes can be specified in fine-grained and satisfiability of the logic is decidable.
1
A model for capturing the software architecture design process of mobile systems
M. Luciana Roldán,M. Celeste Carignano Carignano,Silvio Gonnet,Horacio Pascual Leone +3 more
- 17 Sep 2010
TL;DR: This model follows an operational approach, where design decisions are represented as architectural operations that are captured when they are applied during a design project and enables the tracing of such a design process and its resulting products.
References
•Book
Component Software: Beyond Object-Oriented Programming
Clemens Szyperski
- 23 Nov 2002
TL;DR: Anyone responsible for developing software strategy, evaluating new technologies, buying or building software will find Clemens Szyperski's objective and market-aware perspective of this new area invaluable.
5.5K
A calculus of mobile processes, II
TL;DR: The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
3.4K
Guest Editor's Introduction: Model-Driven Engineering
TL;DR: Model-driven engineering technologies offer a promising approach to address the inability of third-generation languages to alleviate the complexity of platforms and express domain concepts effectively.
2.6K