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.0123 seconds