Abstrakt. Kravteknik är ett viktigt steg i programvaruutvecklingsprocessen som har liten motsvarighet i utvecklingen av affärsprocesser för webbtjänster. Dessutom tar de befintliga designmetoderna för webbtjänster inte upp frågan om att utveckla säkra webbtjänster, säkra affärsprocesser och säkra arbetsflöden. I detta dokument presenteras en metod som gör det möjligt för en affärsprocessdesigner att härleda skelettet i de konkreta säkra affärsprocesserna från den tidiga behovsanalysen. Den föreslagna förfiningsmetoden syftar till att uppnå en lämplig grovkornig säker affärsprocess som kan förfinas ytterligare till arbetsflöden. Vi introducerar en specifikation språk för säkra affärsprocesser, som är en dialekt av WS-BPEL för funktionella delar och abstracts bort låg nivå genomförande detaljer från WS-Säkerhet och WS-Federation specifikationer. För att göra diskussionen mer konkret illustrerar vi förslaget med en fallstudie av e-affärer.
Frankova m.fl. I Ref föreslogs en ram för att härleda skelettet hos säkra affärsprocesser från tidig behovsanalys.
From Early Requirements Analysis towards Secure Workflows
{'venue': 'IFIPTM', 'journal': None, 'mag_field_of_study': ['Computer Science']}