Home // ICONS 2012, The Seventh International Conference on Systems // View article

Orchestration Driven by Formal Specification

Authors:
Charif Mahmoudi
Fabrice Mourlin

Keywords: mobile agent, architecture specification, service composition.

Abstract:
Mobile agent software provides a new programming paradigm. Because code migration is a basic concept, software architecture becomes more important. Classically, the lifecycle of distributed application starts with specification description. Several facets have to be specified: agent behavior, message exchange, service composition but also architecture. This description has also two levels: software and hardware. We use formal specifications because our objective is to define properties about our application. Also process algebra, like pi calculus, is a formal language which allows us to provide a formal description of architecture. We can then combine agent behavior and reason to define minimal constraint set of future runtime context.

Pages: 116 to 122

Copyright: Copyright (c) IARIA, 2012

Publication date: February 29, 2012

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-184-7

Location: Saint Gilles, Reunion

Dates: from February 29, 2012 to March 5, 2012