Abstrakt. Detta dokument handlar om tillämpningen av webbtjänster på distribuerade, tvärorganisatoriska affärsprocesser. I detta scenario är det viktigt att svara på följande frågor: Passar två webbtjänster ihop på ett sådant sätt att det sammansatta systemet är dödlägesfritt? - frågan om förenlighet. Kan en webbtjänst ersättas av en annan medan de återstående komponenterna förblir orörda? - frågan om likvärdighet. Kan vi resonera om sundheten i en viss webbtjänst utan att ta hänsyn till den verkliga miljö den kommer att använda i? I detta dokument definieras begreppet användbarhet – ett intuitivt och lokalt påvisbart sundhetskriterium för en viss webbtjänst. På grundval av denna uppfattning visar detta dokument hur de andra frågorna skulle kunna besvaras. Den metod som presenteras är baserad på Petri nät, eftersom denna formalism används i stor utsträckning för modellering och analys av affärsprocesser. På grund av den befintliga Petri net semantics för BPEL4WS - ett språk som är i själva handlingen att bli den industriella standarden för Web service baserade affärsprocesser - resultaten är direkt tillämpliga på verkliga världen exempel.
I REF föreslås begreppet svag sundhet.
Analyzing Web Service Based Business Processes
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}