Abstrakt. Koreografi och orkestrering språk behandlar affärsprocesser design och specifikation. Med hänvisning till Web Services teknik är de mest krediterade förslagen WS-CDL om koreografi och WS-BPEL om orkestrering. En närmare titt på ett sådant språk belyser två olika metoder för systemrepresentation och systemförvaltning. Koreografi beskriver systemet i en top vy medan orkestrering fokuserar på enstaka kamrater beskrivning. I detta dokument definierar vi ett begrepp om överensstämmelse mellan koreografi och orkestrering som gör det möjligt att ange när ett iscensatt system överensstämmer med en given koreografi. Koreografi och orkestrering formaliseras med hjälp av två processalgebror och konformationen tar formen av en bisimulation-liknande relation.
I REF, Busi et al. Formaliserad överensstämmelse med ett bisimuleringsliknande förhållande.
Choreography and Orchestration: A Synergic Approach for System Design
{'venue': 'ICSOC', 'journal': None, 'mag_field_of_study': ['Computer Science']}