Architecture Description for Mobile Distributed Systems Using Typed π-Calculus

Authors:
Volker Gruhn;Clemens Schäfer
Affiliations:
Chair for Applied Telematics / e-Business11The chair for Applied Telematics/e-Business is endowed by Deutsche Telekom AG., Faculty of Mathematics and Computer Science, University of Leipzig, Germa ...;Chair for Applied Telematics / e-Business11The chair for Applied Telematics/e-Business is endowed by Deutsche Telekom AG., Faculty of Mathematics and Computer Science, University of Leipzig, Germa ...
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 9
Cited 1

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

Refining reliability estimation of mobile software systems

Proceedings of the 1st international workshop on Software architectures and mobility

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on typed @p-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 typed @p-calculus processes. A formal example is given to illustrate the approach before the constituents of the ADL are sketched.