Abstrakt. Webbtjänster är en lovande teknik för utveckling av distribuerade heterogena programvarusystem. I detta sammanhang är en viktig fråga att fastställa om två tjänster kan användas på ett utbytbart sätt i alla sammanhang. Detta dokument visar – genom ett konkret scenario från banksystem – hur en lämplig uppfattning om beteendemässig likvärdighet över Petri-nät effektivt kan användas för att kontrollera att tjänstespecifikationerna är korrekta och att (under)tjänster är utbytbara.
Denna teknik används sedan i en fallstudie för att kontrollera riktigheten av tjänstespecifikationer och utbytbarheten av tjänster i ett bankscenario REF.
Compositional specification of web services via behavioural equivalence of nets: A case study
{'venue': 'In Proc. of Petri Nets ’08', 'journal': None, 'mag_field_of_study': ['Computer Science']}