Abstract-Distribuerade system innehåller ofta många beteendemässigt liknande processer, som är bekvämt grupperade i klasser. I systemmodellering, är det vanligt att specificera sådana system genom att beskriva klassnivå beteende, i stället för objekt nivå beteende. Även om det har funnits tekniker som min specifikationer av sådana distribuerade system från deras utförande spår, dessa metoder endast min objekt nivå specifikationer som omfattar betong process objekt. Detta leder till specifikationer som är stora, svåra att förstå, och känsliga för enkla förändringar i systemet (såsom antalet objekt). I detta dokument utvecklar vi en klassnivåspecifikation för gruvramverk för distribuerade system. En specifikation som beskriver interaktionen mellan olika processer i ett distribuerat system bildar ett naturligt och intuitivt sätt att dokumentera deras beteende. Vår gruvmetod grupperar samman sådana interaktioner mellan beteendemässigt liknande processer, och presenterar en minerad specifikation som omfattar "symboliska" Message Sequence Charts. Våra experiment visar att våra minerade symboliska specifikationer är betydligt mindre än minerade betongspecifikationer, samtidigt som vi uppnår bättre precision och minns.
En annan potentiellt användbar härledd modell av samtidiga system är klass-nivå specifikationer i form av symboliska meddelandesekvens diagram REF.
Inferring class level specifications for distributed systems
{'venue': "ICSE '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}