Abstrakt. Det finns ett verkligt behov av tydliga och ljudtekniska specifikationer av distribuerade system på arkitektonisk nivå. Detta är den nivå på konstruktionen som handlar om högnivåorganisationen av beräkningselement och samspelet mellan dessa element. I dokumentet presenteras Darwin notation för att specificera denna höga nivå organisation. Darwin är i huvudsak ett deklarativt bindande språk som kan användas för att de ne hierarkiska kompositioner av sammankopplade komponenter. Distributionen hanteras ortogonalt till systemstrukturering. Språket stöder specificeringen av både statiska strukturer och dynamiska strukturer som m a y e v ove under utförandet. De centrala abstraktioner som leds av Darwin är komponenter och tjänster. Tjänster är det sätt på vilket komponenter interagerar. Förutom dess användning för att specificera arkitekturen i ett distribuerat system, Darwin har en operativ semantik för att utarbeta specifikationer så att de kan användas vid körning för att styra byggandet av det önskade systemet. I rapporten beskrivs den operativa semantiken för
Darwin REF är ett deklarativt bindande språk för att bygga distribuerade system, som är baserat på dekalculus.
Specifying Distributed Software Architectures
{'venue': 'ESEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}