Serviceorienterad arkitektur (SOA) är en relativt ny metod för utveckling av programvarusystem. Den delar upp systemets funktionalitet till oberoende, löst kopplade, driftskompatibla tjänster. I detta dokument föreslår vi en ny heterogen specifikationsmetod för SOA-system där en heterogen strukturerad specifikation består av ett antal specifikationer av enskilda tjänster skrivna i en "lokal" logik och där specifikationen av deras interaktioner beskrivs separat i en "global" logik. Ett huvuddrag i vår globala logik är möjligheten att beskriva den dynamiska förändringen av tjänstekommunikation över tid. Vår strategi bygger på institutionernas teori: vi visar att både logiken bildar institutioner och att dessa institutioner är sammankopplade med en institutions sammorfism. Vi illustrerar vår strategi genom ett enkelt scenario med ett system för hantering av e-universitet och visar kraften i den heterogena specifikationsmetoden genom en kompositionsförfining av scenariot.
Arbetet i REF är en bra kandidat i denna kategori där författarna definierade ett heterogent ramverk av tjänsteorienterat system, med hjälp av institutionsteori.
A heterogeneous approach to service-oriented systems specification
{'venue': "SAC '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}