Architecture Description for Mobile Distributed Systems | Zendy

Volker Gruhn | Zendy; Clemens Schäfer | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Architecture Description for Mobile Distributed Systems

Author(s) -

Volker Gruhn,

Clemens Schäfer

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-26275-X

DOI - 10.1007/11494713_17

Subject(s) - computer science , architecture , pi calculus , architecture description language , programming language , distributed computing , theoretical computer science , formal methods , software architecture , reference architecture , art , software , visual arts

In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-functional properties, which are essential when mobile architectures are described, are treated in a flexible manner by inserting logical formulae for expressing and checking non-functional properties into π-calculus processes. A formal example is given to illustrate the approach before the constituents of the ADL are sketched.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research