Designing Mobile Aspect-Oriented Software Architectures with Ambients

Abstract

Handbook of research on mobile software engineering: design, implementation, and emergent applications / Paulo Alencar and Donald Cowan, editors.p. cm. Includes bibliographical references and index. Summary: "This book highlights state-of-the-art research concerning the key issues surrounding current and future challenges associated with the software engineering of mobile systems and related emergent applications"--Provided by publisher. ISBN 978-1-61520-655-1 (hardcover) --ISBN 978-1-61520-656-8 (ebook) --ISBN 978-1-4666-1612-7 (print & perpetual access) 1. Mobile computing--Handbooks, manuals, etc. 2. Mobile computing--Research--Handbooks, manuals, etc. 3. Software engineering--Handbooks, manuals, etc. I.

Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

“…The auction system allows customers to bid on the products or to use a mobile agent and bid on their behalf. A more detailed specification of this example in Ambient-PRISMA AOADL can be found in [1] and [7].…”

“…RELATED WORK Many software architectural approaches are based on formal and mathematical notations to define their semantics and provide development based support [7]. Different kinds of formalisms have been used focusing on specific aspects and characteristics of the software architecture.…”