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.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:32886 |
Date | 31 January 2019 |
Creators | Gruhn, Volker, Schäfer, Clemens |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, doc-type:conferenceObject, info:eu-repo/semantics/conferenceObject, doc-type:Text |
Rights | info:eu-repo/semantics/openAccess |
Relation | 978-3-540-26275-6 |
Page generated in 0.0019 seconds