Architecture description for mobile distributed systems

Authors:
Volker Gruhn;Clemens Schäfer
Affiliations:
Faculty of Mathematics and Computer Science, Chair for Applied Telematics / e-Business, University of Leipzig, Leipzig, Germany;Faculty of Mathematics and Computer Science, Chair for Applied Telematics / e-Business, University of Leipzig, Leipzig, Germany
Venue:
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Year:
2005

Citing 9
Cited 2

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Software engineering for mobility: a roadmap

Proceedings of the Conference on The Future of Software Engineering
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
Software Architecture for Mobile Distributed Computing

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Domains of concern in software architectures and architecture description languages

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

Using mobile architecture modeling and simulation for enterprise applications

TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Modeling and analyzing mobile software architectures

EWSA'06 Proceedings of the Third European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.